diff options
Diffstat (limited to 'polly/lib/External/isl/doc/user.pod')
| -rw-r--r-- | polly/lib/External/isl/doc/user.pod | 30 |
1 files changed, 28 insertions, 2 deletions
diff --git a/polly/lib/External/isl/doc/user.pod b/polly/lib/External/isl/doc/user.pod index b012ddf54ea..163438d8e7d 100644 --- a/polly/lib/External/isl/doc/user.pod +++ b/polly/lib/External/isl/doc/user.pod @@ -2116,15 +2116,26 @@ has a unique value when the values of the other variables are known. Alternatively, the existentially quantified variables can be removed using the following functions, which compute an overapproximation. + #include <isl/set.h> __isl_give isl_basic_set *isl_basic_set_remove_divs( __isl_take isl_basic_set *bset); - __isl_give isl_basic_map *isl_basic_map_remove_divs( - __isl_take isl_basic_map *bmap); __isl_give isl_set *isl_set_remove_divs( __isl_take isl_set *set); + + #include <isl/map.h> + __isl_give isl_basic_map *isl_basic_map_remove_divs( + __isl_take isl_basic_map *bmap); __isl_give isl_map *isl_map_remove_divs( __isl_take isl_map *map); + #include <isl/union_set.h> + __isl_give isl_union_set *isl_union_set_remove_divs( + __isl_take isl_union_set *bset); + + #include <isl/union_map.h> + __isl_give isl_union_map *isl_union_map_remove_divs( + __isl_take isl_union_map *bmap); + It is also possible to only remove those divs that are defined in terms of a given range of dimensions or only those for which no explicit representation is known. @@ -2221,11 +2232,17 @@ from int isl_map_n_basic_map(__isl_keep isl_map *map); It is also possible to obtain a list of basic sets from a set +or union set #include <isl/set.h> __isl_give isl_basic_set_list *isl_set_get_basic_set_list( __isl_keep isl_set *set); + #include <isl/union_set.h> + __isl_give isl_basic_set_list * + isl_union_set_get_basic_set_list( + __isl_keep isl_union_set *uset); + The returned list can be manipulated using the functions in L<"Lists">. To iterate over the constraints of a basic set or map, use @@ -5148,8 +5165,12 @@ Fourier-Motzkin elimination, but this may change or be made optional in future. In particular, future implementations may use different dualization algorithms or skip the elimination step. + #include <isl/set.h> __isl_give isl_basic_set *isl_basic_set_coefficients( __isl_take isl_basic_set *bset); + __isl_give isl_basic_set_list * + isl_basic_set_list_coefficients( + __isl_take isl_basic_set_list *list); __isl_give isl_basic_set *isl_set_coefficients( __isl_take isl_set *set); __isl_give isl_union_set *isl_union_set_coefficients( @@ -7460,6 +7481,11 @@ Lists can be created, copied, modified and freed using the following functions. __isl_give isl_set_list *isl_set_list_concat( __isl_take isl_set_list *list1, __isl_take isl_set_list *list2); + __isl_give isl_set_list *isl_set_list_map( + __isl_take isl_set_list *list, + __isl_give isl_set *(*fn)(__isl_take isl_set *el, + void *user), + void *user); __isl_give isl_set_list *isl_set_list_sort( __isl_take isl_set_list *list, int (*cmp)(__isl_keep isl_set *a, |
