X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=isl_local_space_private.h;h=d54c3e3ebf1b1e0308ed6e3f8633f7e119845b19;hb=63fb8a7f484648c3caa25351c8c94ac2395ec563;hp=95503b1c25315ca97311ccbf44daa4c0b9a71f3e;hpb=b7d848b49611b6bed2bfb1c7ab329beb54eca31d;p=platform%2Fupstream%2Fisl.git diff --git a/isl_local_space_private.h b/isl_local_space_private.h index 95503b1..d54c3e3 100644 --- a/isl_local_space_private.h +++ b/isl_local_space_private.h @@ -1,7 +1,6 @@ #ifndef ISL_LOCAL_SPACE_PRIVATE_H #define ISL_LOCAL_SPACE_PRIVATE_H -#include #include #include #include @@ -9,16 +8,21 @@ struct isl_local_space { int ref; - isl_dim *dim; + isl_space *dim; isl_mat *div; }; -__isl_give isl_local_space *isl_local_space_alloc(__isl_take isl_dim *dim, +__isl_give isl_local_space *isl_local_space_alloc(__isl_take isl_space *dim, unsigned n_div); +__isl_give isl_local_space *isl_local_space_alloc_div(__isl_take isl_space *dim, + __isl_take isl_mat *div); +__isl_give isl_local_space *isl_local_space_swap_div( + __isl_take isl_local_space *ls, int a, int b); __isl_give isl_local_space *isl_local_space_add_div( __isl_take isl_local_space *ls, __isl_take isl_vec *div); +int isl_mat_cmp_div(__isl_keep isl_mat *div, int i, int j); __isl_give isl_mat *isl_merge_divs(__isl_keep isl_mat *div1, __isl_keep isl_mat *div2, int *exp1, int *exp2); @@ -32,4 +36,31 @@ int isl_local_space_divs_known(__isl_keep isl_local_space *ls); __isl_give isl_local_space *isl_local_space_substitute_equalities( __isl_take isl_local_space *ls, __isl_take isl_basic_set *eq); +int isl_local_space_is_named_or_nested(__isl_keep isl_local_space *ls, + enum isl_dim_type type); + +__isl_give isl_local_space *isl_local_space_reset_space( + __isl_take isl_local_space *ls, __isl_take isl_space *dim); +__isl_give isl_local_space *isl_local_space_realign( + __isl_take isl_local_space *ls, __isl_take isl_reordering *r); + +int isl_local_space_is_div_constraint(__isl_keep isl_local_space *ls, + isl_int *constraint, unsigned div); + +int *isl_local_space_get_active(__isl_keep isl_local_space *ls, isl_int *l); + +__isl_give isl_local_space *isl_local_space_substitute_seq( + __isl_take isl_local_space *ls, + enum isl_dim_type type, unsigned pos, isl_int *subs, int subs_len, + int first, int n); +__isl_give isl_local_space *isl_local_space_substitute( + __isl_take isl_local_space *ls, + enum isl_dim_type type, unsigned pos, __isl_keep isl_aff *subs); + +__isl_give isl_local_space *isl_local_space_lift( + __isl_take isl_local_space *ls); + +__isl_give isl_local_space *isl_local_space_preimage_multi_aff( + __isl_take isl_local_space *ls, __isl_take isl_multi_aff *ma); + #endif