X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=include%2Fisl%2Fmap.h;h=1667a343b40d225e7b7aec495b17e77c06a8be15;hb=c53ceda9cc1f9556507c9956647975a1d661a380;hp=5aee7b2fbcddeb0441233d3180ac511fb2c9bee1;hpb=4ca3cd79efb7697b0274202ec68c501ab4cdc306;p=platform%2Fupstream%2Fisl.git diff --git a/include/isl/map.h b/include/isl/map.h index 5aee7b2..1667a34 100644 --- a/include/isl/map.h +++ b/include/isl/map.h @@ -140,6 +140,8 @@ __isl_give isl_basic_map *isl_basic_map_remove_redundancies( __isl_take isl_basic_map *bmap); __isl_give isl_map *isl_map_remove_redundancies(__isl_take isl_map *map); __isl_give isl_basic_map *isl_map_simple_hull(__isl_take isl_map *map); +__isl_give isl_basic_map *isl_map_unshifted_simple_hull( + __isl_take isl_map *map); __isl_export __isl_give isl_basic_map *isl_basic_map_intersect_domain( @@ -339,6 +341,8 @@ __isl_export __isl_give isl_map *isl_map_apply_range( __isl_take isl_map *map1, __isl_take isl_map *map2); +__isl_give isl_map *isl_map_preimage_domain_multi_aff(__isl_take isl_map *map, + __isl_take isl_multi_aff *ma); __isl_give isl_basic_map *isl_basic_map_product( __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2); __isl_give isl_map *isl_map_product(__isl_take isl_map *map1, @@ -448,6 +452,8 @@ __isl_give isl_map *isl_map_oppose(__isl_take isl_map *map, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2); __isl_give isl_map *isl_map_order_lt(__isl_take isl_map *map, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2); +__isl_give isl_basic_map *isl_basic_map_order_gt(__isl_take isl_basic_map *bmap, + enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2); __isl_give isl_map *isl_map_order_gt(__isl_take isl_map *map, enum isl_dim_type type1, int pos1, enum isl_dim_type type2, int pos2); @@ -515,6 +521,8 @@ __isl_export int isl_map_is_strict_subset(__isl_keep isl_map *map1, __isl_keep isl_map *map2); __isl_export int isl_map_is_equal(__isl_keep isl_map *map1, __isl_keep isl_map *map2); +__isl_export +int isl_map_is_disjoint(__isl_keep isl_map *map1, __isl_keep isl_map *map2); int isl_basic_map_is_single_valued(__isl_keep isl_basic_map *bmap); int isl_map_plain_is_single_valued(__isl_keep isl_map *map); __isl_export @@ -547,6 +555,13 @@ __isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bmap); __isl_give isl_map *isl_map_compute_divs(__isl_take isl_map *map); __isl_give isl_map *isl_map_align_divs(__isl_take isl_map *map); +__isl_give isl_basic_map *isl_basic_map_drop_constraints_involving_dims( + __isl_take isl_basic_map *bmap, + enum isl_dim_type type, unsigned first, unsigned n); +__isl_give isl_map *isl_map_drop_constraints_involving_dims( + __isl_take isl_map *map, + enum isl_dim_type type, unsigned first, unsigned n); + int isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned first, unsigned n); int isl_map_involves_dims(__isl_keep isl_map *map,