X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=isl_map_private.h;h=47d62cab922d52d6a2bb78130e0e4ee3aa293f5f;hb=f2035c14733f7badfe5c5164a1d7c05b5b3037f5;hp=e90c83dfce10ad346cf4e10ce6e59edfbcb815ac;hpb=3bc29b5777902ecdcefac73e0f6358dca8dcdcbf;p=platform%2Fupstream%2Fisl.git diff --git a/isl_map_private.h b/isl_map_private.h index e90c83d..47d62ca 100644 --- a/isl_map_private.h +++ b/isl_map_private.h @@ -1,21 +1,75 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the GNU LGPLv2.1 license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #include "isl_set.h" #include "isl_map.h" +#include "isl_vec.h" + +unsigned isl_basic_map_offset(struct isl_basic_map *bmap, + enum isl_dim_type type); + +int isl_map_compatible_domain(struct isl_map *map, struct isl_set *set); +int isl_basic_map_compatible_domain(struct isl_basic_map *bmap, + struct isl_basic_set *bset); +int isl_basic_map_compatible_range(struct isl_basic_map *bmap, + struct isl_basic_set *bset); + +struct isl_basic_map *isl_basic_map_extend_dim(struct isl_basic_map *base, + struct isl_dim *dim, unsigned extra, + unsigned n_eq, unsigned n_ineq); +struct isl_basic_set *isl_basic_set_extend_dim(struct isl_basic_set *base, + struct isl_dim *dim, unsigned extra, + unsigned n_eq, unsigned n_ineq); +struct isl_basic_set *isl_basic_set_add_constraints(struct isl_basic_set *bset1, + struct isl_basic_set *bset2, unsigned pos); + +struct isl_map *isl_map_grow(struct isl_map *map, int n); +struct isl_set *isl_set_grow(struct isl_set *set, int n); + +int isl_basic_set_contains(struct isl_basic_set *bset, struct isl_vec *vec); +int isl_basic_map_contains(struct isl_basic_map *bmap, struct isl_vec *vec); + +struct isl_basic_set *isl_basic_set_alloc_dim(struct isl_dim *dim, + unsigned extra, unsigned n_eq, unsigned n_ineq); +struct isl_set *isl_set_alloc_dim(struct isl_dim *dim, int n, unsigned flags); +struct isl_basic_map *isl_basic_map_alloc_dim(struct isl_dim *dim, + unsigned extra, unsigned n_eq, unsigned n_ineq); +struct isl_map *isl_map_alloc_dim(struct isl_dim *dim, int n, unsigned flags); + +unsigned isl_basic_map_total_dim(const struct isl_basic_map *bmap); int isl_basic_map_alloc_equality(struct isl_basic_map *bmap); int isl_basic_set_alloc_equality(struct isl_basic_set *bset); int isl_basic_set_free_inequality(struct isl_basic_set *bset, unsigned n); int isl_basic_map_free_equality(struct isl_basic_map *bmap, unsigned n); +int isl_basic_set_free_equality(struct isl_basic_set *bset, unsigned n); int isl_basic_set_alloc_inequality(struct isl_basic_set *bset); int isl_basic_map_alloc_inequality(struct isl_basic_map *bmap); int isl_basic_map_free_inequality(struct isl_basic_map *bmap, unsigned n); int isl_basic_map_alloc_div(struct isl_basic_map *bmap); +int isl_basic_set_alloc_div(struct isl_basic_set *bset); int isl_basic_map_free_div(struct isl_basic_map *bmap, unsigned n); +int isl_basic_set_free_div(struct isl_basic_set *bset, unsigned n); void isl_basic_map_inequality_to_equality( struct isl_basic_map *bmap, unsigned pos); int isl_basic_map_drop_equality(struct isl_basic_map *bmap, unsigned pos); int isl_basic_set_drop_equality(struct isl_basic_set *bset, unsigned pos); int isl_basic_set_drop_inequality(struct isl_basic_set *bset, unsigned pos); int isl_basic_map_drop_inequality(struct isl_basic_map *bmap, unsigned pos); +__isl_give isl_basic_set *isl_basic_set_add_eq(__isl_take isl_basic_set *bset, + isl_int *eq); +__isl_give isl_basic_map *isl_basic_map_add_eq(__isl_take isl_basic_map *bmap, + isl_int *eq); +__isl_give isl_basic_set *isl_basic_set_add_ineq(__isl_take isl_basic_set *bset, + isl_int *ineq); +__isl_give isl_basic_map *isl_basic_map_add_ineq(__isl_take isl_basic_map *bmap, + isl_int *ineq); int isl_inequality_negate(struct isl_basic_map *bmap, unsigned pos); @@ -26,34 +80,75 @@ struct isl_map *isl_map_cow(struct isl_map *map); struct isl_basic_map *isl_basic_map_set_to_empty(struct isl_basic_map *bmap); struct isl_basic_set *isl_basic_set_set_to_empty(struct isl_basic_set *bset); -struct isl_map *isl_basic_map_compute_divs(struct isl_basic_map *bmap); -struct isl_map *isl_map_compute_divs(struct isl_map *map); +struct isl_basic_set *isl_basic_set_order_divs(struct isl_basic_set *bset); +void isl_basic_map_swap_div(struct isl_basic_map *bmap, int a, int b); +struct isl_basic_map *isl_basic_map_order_divs(struct isl_basic_map *bmap); struct isl_basic_map *isl_basic_map_align_divs( struct isl_basic_map *dst, struct isl_basic_map *src); struct isl_basic_set *isl_basic_set_align_divs( struct isl_basic_set *dst, struct isl_basic_set *src); -struct isl_map *isl_map_align_divs(struct isl_map *map); struct isl_basic_map *isl_basic_map_gauss( struct isl_basic_map *bmap, int *progress); struct isl_basic_set *isl_basic_set_gauss( struct isl_basic_set *bset, int *progress); +struct isl_basic_map *isl_basic_map_normalize_constraints( + struct isl_basic_map *bmap); +struct isl_basic_set *isl_basic_set_normalize_constraints( + struct isl_basic_set *bset); struct isl_basic_map *isl_basic_map_implicit_equalities( struct isl_basic_map *bmap); struct isl_basic_set *isl_basic_map_underlying_set(struct isl_basic_map *bmap); +__isl_give isl_basic_set *isl_basic_set_underlying_set( + __isl_take isl_basic_set *bset); struct isl_set *isl_map_underlying_set(struct isl_map *map); struct isl_basic_map *isl_basic_map_overlying_set(struct isl_basic_set *bset, struct isl_basic_map *like); +struct isl_basic_map *isl_basic_map_drop(struct isl_basic_map *bmap, + enum isl_dim_type type, unsigned first, unsigned n); struct isl_basic_set *isl_basic_set_drop_dims( struct isl_basic_set *bset, unsigned first, unsigned n); +struct isl_set *isl_set_drop_dims( + struct isl_set *set, unsigned first, unsigned n); +struct isl_map *isl_map_drop_inputs( + struct isl_map *map, unsigned first, unsigned n); +struct isl_map *isl_map_drop(struct isl_map *map, + enum isl_dim_type type, unsigned first, unsigned n); struct isl_map *isl_map_remove_empty_parts(struct isl_map *map); struct isl_set *isl_set_remove_empty_parts(struct isl_set *set); +struct isl_set *isl_set_normalize(struct isl_set *set); + struct isl_set *isl_set_drop_vars( struct isl_set *set, unsigned first, unsigned n); +struct isl_basic_map *isl_basic_map_eliminate_vars( + struct isl_basic_map *bmap, unsigned pos, unsigned n); struct isl_basic_set *isl_basic_set_eliminate_vars( struct isl_basic_set *bset, unsigned pos, unsigned n); int isl_basic_set_constraint_is_redundant(struct isl_basic_set **bset, isl_int *c, isl_int *opt_n, isl_int *opt_d); + +int isl_basic_map_add_div_constraints(struct isl_basic_map *bmap, unsigned div); +struct isl_basic_map *isl_basic_map_drop_redundant_divs( + struct isl_basic_map *bmap); +struct isl_basic_set *isl_basic_set_drop_redundant_divs( + struct isl_basic_set *bset); + +struct isl_basic_set *isl_basic_set_recession_cone(struct isl_basic_set *bset); +struct isl_basic_set *isl_basic_set_lineality_space(struct isl_basic_set *bset); + +struct isl_basic_set *isl_basic_set_set_rational(struct isl_basic_set *bset); + +struct isl_mat; + +struct isl_basic_set *isl_basic_set_preimage(struct isl_basic_set *bset, + struct isl_mat *mat); +struct isl_set *isl_set_preimage(struct isl_set *set, struct isl_mat *mat); + +__isl_give isl_set *isl_set_make_disjoint(__isl_take isl_set *set); +__isl_give isl_map *isl_map_make_disjoint(__isl_take isl_map *map); + +isl_int *isl_set_wrap_facet(__isl_keep isl_set *set, + isl_int *facet, isl_int *ridge);