Lines Matching refs:isl_basic_map
60 static __isl_keep const isl_basic_map *const_bset_to_bmap( in const_bset_to_bmap()
63 return (const isl_basic_map *) bset; in const_bset_to_bmap()
67 #define TYPE isl_basic_map
80 isl_size isl_basic_map_dim(__isl_keep isl_basic_map *bmap, in isl_basic_map_dim()
144 isl_size isl_basic_map_var_offset(__isl_keep isl_basic_map *bmap, in isl_basic_map_var_offset()
177 unsigned isl_basic_map_offset(__isl_keep isl_basic_map *bmap, in isl_basic_map_offset()
232 isl_size isl_basic_map_total_dim(__isl_keep const isl_basic_map *bmap) in isl_basic_map_total_dim()
247 isl_size isl_basic_map_n_equality(__isl_keep isl_basic_map *bmap) in isl_basic_map_n_equality()
265 isl_size isl_basic_map_n_inequality(__isl_keep isl_basic_map *bmap) in isl_basic_map_n_inequality()
282 static isl_bool isl_basic_map_has_equal_params(__isl_keep isl_basic_map *bmap1, in isl_basic_map_has_equal_params()
283 __isl_keep isl_basic_map *bmap2) in isl_basic_map_has_equal_params()
314 static isl_bool isl_basic_map_set_tuple_is_equal(__isl_keep isl_basic_map *bmap, in isl_basic_map_set_tuple_is_equal()
345 isl_bool isl_basic_map_compatible_domain(__isl_keep isl_basic_map *bmap, in isl_basic_map_compatible_domain()
369 isl_bool isl_basic_map_compatible_range(__isl_keep isl_basic_map *bmap, in isl_basic_map_compatible_range()
381 isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap) in isl_basic_map_get_ctx()
404 __isl_keep const isl_basic_map *bmap) in isl_basic_map_peek_space()
416 __isl_give isl_space *isl_basic_map_get_space(__isl_keep isl_basic_map *bmap) in isl_basic_map_get_space()
436 __isl_keep isl_basic_map *bmap) in isl_basic_map_take_space()
454 static __isl_give isl_basic_map *isl_basic_map_restore_space( in isl_basic_map_restore_space()
455 __isl_take isl_basic_map *bmap, __isl_take isl_space *space) in isl_basic_map_restore_space()
480 __isl_give isl_mat *isl_basic_map_get_divs(__isl_keep isl_basic_map *bmap) in isl_basic_map_get_divs()
512 __isl_keep isl_basic_map *bmap) in isl_basic_map_get_local_space()
536 static __isl_give isl_basic_map *add_known_div_constraints( in add_known_div_constraints()
537 __isl_take isl_basic_map *bmap) in add_known_div_constraints()
560 __isl_give isl_basic_map *isl_basic_map_from_local_space( in isl_basic_map_from_local_space()
565 isl_basic_map *bmap; in isl_basic_map_from_local_space()
661 __isl_give isl_basic_map *isl_basic_map_set_tuple_name( in isl_basic_map_set_tuple_name()
662 __isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s) in isl_basic_map_set_tuple_name()
679 const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap, in isl_basic_map_get_tuple_name()
713 __isl_give isl_basic_map *isl_basic_map_set_tuple_id( in isl_basic_map_set_tuple_id()
714 __isl_take isl_basic_map *bmap, in isl_basic_map_set_tuple_id()
874 const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap, in isl_basic_map_get_dim_name()
918 __isl_give isl_basic_map *isl_basic_map_set_dim_name( in isl_basic_map_set_dim_name()
919 __isl_take isl_basic_map *bmap, in isl_basic_map_set_dim_name()
971 isl_bool isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap, in isl_basic_map_has_dim_id()
1045 int isl_basic_map_find_dim_by_name(__isl_keep isl_basic_map *bmap, in isl_basic_map_find_dim_by_name()
1135 isl_bool isl_basic_map_is_rational(__isl_keep isl_basic_map *bmap) in isl_basic_map_is_rational()
1197 isl_bool isl_basic_map_has_rational(__isl_keep isl_basic_map *bmap) in isl_basic_map_has_rational()
1288 static __isl_give isl_basic_map *basic_map_init(isl_ctx *ctx, in basic_map_init()
1289 __isl_take isl_basic_map *bmap, unsigned extra, in basic_map_init()
1350 struct isl_basic_map *bmap; in isl_basic_set_alloc()
1364 struct isl_basic_map *bmap; in isl_basic_set_alloc_space()
1375 __isl_give isl_basic_map *isl_basic_map_alloc_space(__isl_take isl_space *space, in isl_basic_map_alloc_space()
1378 struct isl_basic_map *bmap; in isl_basic_map_alloc_space()
1382 bmap = isl_calloc_type(space->ctx, struct isl_basic_map); in isl_basic_map_alloc_space()
1393 __isl_give isl_basic_map *isl_basic_map_alloc(isl_ctx *ctx, in isl_basic_map_alloc()
1397 struct isl_basic_map *bmap; in isl_basic_map_alloc()
1408 static __isl_give isl_basic_map *dup_constraints(__isl_take isl_basic_map *dst, in dup_constraints()
1409 __isl_keep isl_basic_map *src) in dup_constraints()
1441 __isl_give isl_basic_map *isl_basic_map_dup(__isl_keep isl_basic_map *bmap) in isl_basic_map_dup()
1443 struct isl_basic_map *dup; in isl_basic_map_dup()
1459 struct isl_basic_map *dup; in isl_basic_set_dup()
1486 __isl_give isl_basic_map *isl_basic_map_copy(__isl_keep isl_basic_map *bmap) in isl_basic_map_copy()
1510 __isl_null isl_basic_map *isl_basic_map_free(__isl_take isl_basic_map *bmap) in isl_basic_map_free()
1535 static int room_for_con(__isl_keep isl_basic_map *bmap, unsigned n) in room_for_con()
1578 #define TYPE isl_basic_map
1587 __isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2) in isl_basic_map_check_equal_params()
1638 int isl_basic_map_alloc_equality(__isl_keep isl_basic_map *bmap) in isl_basic_map_alloc_equality()
1678 __isl_give isl_basic_map *isl_basic_map_free_equality( in isl_basic_map_free_equality()
1679 __isl_take isl_basic_map *bmap, unsigned n) in isl_basic_map_free_equality()
1701 int isl_basic_map_drop_equality(__isl_keep isl_basic_map *bmap, unsigned pos) in isl_basic_map_drop_equality()
1727 __isl_keep isl_basic_map *bmap, unsigned pos) in isl_basic_map_inequality_to_equality()
1744 static int room_for_ineq(__isl_keep isl_basic_map *bmap, unsigned n) in room_for_ineq()
1749 int isl_basic_map_alloc_inequality(__isl_keep isl_basic_map *bmap) in isl_basic_map_alloc_inequality()
1773 __isl_give isl_basic_map *isl_basic_map_free_inequality( in isl_basic_map_free_inequality()
1774 __isl_take isl_basic_map *bmap, unsigned n) in isl_basic_map_free_inequality()
1793 int isl_basic_map_drop_inequality(__isl_keep isl_basic_map *bmap, unsigned pos) in isl_basic_map_drop_inequality()
1815 __isl_give isl_basic_map *isl_basic_map_add_eq(__isl_take isl_basic_map *bmap, in isl_basic_map_add_eq()
1849 __isl_give isl_basic_map *isl_basic_map_add_ineq(__isl_take isl_basic_map *bmap, in isl_basic_map_add_ineq()
1876 int isl_basic_map_alloc_div(__isl_keep isl_basic_map *bmap) in isl_basic_map_alloc_div()
1896 #define TYPE isl_basic_map
1915 __isl_give isl_basic_map *isl_basic_map_insert_div( in isl_basic_map_insert_div()
1916 __isl_take isl_basic_map *bmap, int pos, __isl_keep isl_vec *div) in isl_basic_map_insert_div()
1945 isl_stat isl_basic_map_free_div(__isl_keep isl_basic_map *bmap, unsigned n) in isl_basic_map_free_div()
1954 static __isl_give isl_basic_map *add_constraints( in add_constraints()
1955 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2, in add_constraints()
1991 __isl_give isl_basic_map *isl_basic_map_extend(__isl_take isl_basic_map *base, in isl_basic_map_extend()
1995 struct isl_basic_map *ext; in isl_basic_map_extend()
2040 __isl_give isl_basic_map *isl_basic_map_extend_constraints( in isl_basic_map_extend_constraints()
2041 __isl_take isl_basic_map *base, unsigned n_eq, unsigned n_ineq) in isl_basic_map_extend_constraints()
2049 isl_basic_map *bmap = bset_to_bmap(base); in isl_basic_set_extend_constraints()
2059 __isl_give isl_basic_map *isl_basic_map_cow(__isl_take isl_basic_map *bmap) in isl_basic_map_cow()
2123 static __isl_give isl_basic_map *isl_basic_map_swap_vars( in isl_basic_map_swap_vars()
2124 __isl_take isl_basic_map *bmap, unsigned pos, unsigned n1, unsigned n2) in isl_basic_map_swap_vars()
2174 __isl_give isl_basic_map *isl_basic_map_set_to_empty( in isl_basic_map_set_to_empty()
2175 __isl_take isl_basic_map *bmap) in isl_basic_map_set_to_empty()
2222 __isl_give isl_basic_map *isl_basic_map_set_rational( in isl_basic_map_set_rational()
2223 __isl_take isl_basic_map *bmap) in isl_basic_map_set_rational()
2290 static void swap_div(__isl_keep isl_basic_map *bmap, int a, int b) in swap_div()
2300 __isl_give isl_basic_map *isl_basic_map_swap_div(__isl_take isl_basic_map *bmap, in isl_basic_map_swap_div()
2346 static __isl_give isl_basic_map *move_divs_last(__isl_take isl_basic_map *bmap, in move_divs_last()
2394 __isl_give isl_basic_map *isl_basic_map_drop_core( in isl_basic_map_drop_core()
2395 __isl_take isl_basic_map *bmap, enum isl_dim_type type, in isl_basic_map_drop_core()
2444 __isl_give isl_basic_map *isl_basic_map_drop(__isl_take isl_basic_map *bmap, in isl_basic_map_drop()
2523 __isl_give isl_basic_map *isl_basic_map_drop_div( in isl_basic_map_drop_div()
2524 __isl_take isl_basic_map *bmap, unsigned div) in isl_basic_map_drop_div()
2579 __isl_give isl_basic_map *isl_basic_map_remove_divs( in isl_basic_map_remove_divs()
2580 __isl_take isl_basic_map *bmap) in isl_basic_map_remove_divs()
2629 __isl_give isl_basic_map *isl_basic_map_remove_dims( in isl_basic_map_remove_dims()
2630 __isl_take isl_basic_map *bmap, enum isl_dim_type type, in isl_basic_map_remove_dims()
2650 static isl_bool div_involves_vars(__isl_keep isl_basic_map *bmap, int div, in div_involves_vars()
2722 static __isl_give isl_basic_map *insert_bounds_on_div_from_ineq( in insert_bounds_on_div_from_ineq()
2723 __isl_take isl_basic_map *bmap, int div, int i, in insert_bounds_on_div_from_ineq()
2821 static __isl_give isl_basic_map *insert_bounds_on_div( in insert_bounds_on_div()
2822 __isl_take isl_basic_map *bmap, int div) in insert_bounds_on_div()
2870 __isl_give isl_basic_map *isl_basic_map_remove_divs_involving_dims( in isl_basic_map_remove_divs_involving_dims()
2871 __isl_take isl_basic_map *bmap, in isl_basic_map_remove_divs_involving_dims()
2944 isl_bool isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap, in isl_basic_map_involves_dims()
3036 __isl_give isl_basic_map *isl_basic_map_drop_constraints_involving( in isl_basic_map_drop_constraints_involving()
3037 __isl_take isl_basic_map *bmap, unsigned first, unsigned n) in isl_basic_map_drop_constraints_involving()
3079 __isl_give isl_basic_map *isl_basic_map_drop_constraints_not_involving_dims( in isl_basic_map_drop_constraints_not_involving_dims()
3080 __isl_take isl_basic_map *bmap, in isl_basic_map_drop_constraints_not_involving_dims()
3131 __isl_give isl_basic_map *isl_basic_map_drop_constraints_involving_dims( in isl_basic_map_drop_constraints_involving_dims()
3132 __isl_take isl_basic_map *bmap, in isl_basic_map_drop_constraints_involving_dims()
3165 __isl_give isl_basic_map *(*drop)(__isl_take isl_basic_map *bmap, in drop_constraints()
3244 isl_bool isl_basic_map_div_is_known(__isl_keep isl_basic_map *bmap, int div) in isl_basic_map_div_is_known()
3269 __isl_give isl_basic_map *isl_basic_map_remove_unknown_divs( in isl_basic_map_remove_unknown_divs()
3270 __isl_take isl_basic_map *bmap) in isl_basic_map_remove_unknown_divs()
3330 isl_basic_map *bmap = bset_to_bmap(bset); in isl_basic_set_remove_dims()
3398 void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap, in isl_basic_map_print_internal()
3424 __isl_give isl_basic_map *isl_inequality_negate(__isl_take isl_basic_map *bmap, in isl_inequality_negate()
3502 __isl_give isl_map *isl_map_from_basic_map(__isl_take isl_basic_map *bmap) in isl_map_from_basic_map()
3569 __isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset) in isl_basic_map_check_compatible_domain()
3583 __isl_give isl_basic_map *isl_basic_map_intersect_domain( in isl_basic_map_intersect_domain()
3584 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset) in isl_basic_map_intersect_domain()
3586 struct isl_basic_map *bmap_domain; in isl_basic_map_intersect_domain()
3618 __isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset) in isl_basic_map_check_compatible_range()
3632 __isl_give isl_basic_map *isl_basic_map_intersect_range( in isl_basic_map_intersect_range()
3633 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset) in isl_basic_map_intersect_range()
3635 struct isl_basic_map *bmap_range; in isl_basic_map_intersect_range()
3668 isl_bool isl_basic_map_contains(__isl_keep isl_basic_map *bmap, in isl_basic_map_contains()
3711 __isl_give isl_basic_map *isl_basic_map_intersect( in isl_basic_map_intersect()
3712 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_intersect()
3934 struct isl_basic_map *part; in map_intersect_internal()
3995 __isl_give isl_basic_map *isl_basic_map_reverse(__isl_take isl_basic_map *bmap) in isl_basic_map_reverse()
4019 static __isl_give isl_basic_map *isl_basic_map_range_reverse( in isl_basic_map_range_reverse()
4020 __isl_take isl_basic_map *bmap) in isl_basic_map_range_reverse()
4043 static __isl_give isl_basic_map *basic_map_space_reset( in basic_map_space_reset()
4044 __isl_take isl_basic_map *bmap, enum isl_dim_type type) in basic_map_space_reset()
4059 __isl_give isl_basic_map *isl_basic_map_insert_dims( in isl_basic_map_insert_dims()
4060 __isl_take isl_basic_map *bmap, enum isl_dim_type type, in isl_basic_map_insert_dims()
4065 struct isl_basic_map *res; in isl_basic_map_insert_dims()
4128 __isl_give isl_basic_map *isl_basic_map_add_dims(__isl_take isl_basic_map *bmap, in isl_basic_map_add_dims()
4223 __isl_give isl_basic_map *isl_basic_map_move_dims( in isl_basic_map_move_dims()
4224 __isl_take isl_basic_map *bmap, in isl_basic_map_move_dims()
4230 struct isl_basic_map *res; in isl_basic_map_move_dims()
4322 isl_basic_map *bmap = bset_to_bmap(bset); in isl_basic_set_move_dims()
4390 static __isl_give isl_basic_map *move_last(__isl_take isl_basic_map *bmap, in move_last()
4395 struct isl_basic_map *res; in move_last()
4447 static __isl_give isl_basic_map *insert_div_rows(__isl_take isl_basic_map *bmap, in insert_div_rows()
4490 static __isl_give isl_basic_map *drop_irrelevant_constraints( in drop_irrelevant_constraints()
4491 __isl_take isl_basic_map *bmap, enum isl_dim_type type, in drop_irrelevant_constraints()
4530 __isl_give isl_basic_map *isl_basic_map_project_out( in isl_basic_map_project_out()
4531 __isl_take isl_basic_map *bmap, in isl_basic_map_project_out()
4735 static __isl_give isl_basic_map *add_divs(__isl_take isl_basic_map *bmap, in add_divs()
4758 isl_bool isl_basic_map_applies_range(__isl_keep isl_basic_map *bmap1, in isl_basic_map_applies_range()
4759 __isl_keep isl_basic_map *bmap2) in isl_basic_map_applies_range()
4772 __isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2) in isl_basic_map_check_applies_range()
4785 __isl_give isl_basic_map *isl_basic_map_apply_range( in isl_basic_map_apply_range()
4786 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_apply_range()
4789 struct isl_basic_map *bmap; in isl_basic_map_apply_range()
4838 __isl_take isl_basic_map *bmap) in isl_basic_set_apply()
4851 __isl_give isl_basic_map *isl_basic_map_apply_domain( in isl_basic_map_apply_domain()
4852 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_apply_domain()
4873 __isl_give isl_basic_map *isl_basic_map_sum(__isl_take isl_basic_map *bmap1, in isl_basic_map_sum()
4874 __isl_take isl_basic_map *bmap2) in isl_basic_map_sum()
4878 struct isl_basic_map *bmap = NULL; in isl_basic_map_sum()
4947 struct isl_basic_map *part; in isl_map_sum()
4975 __isl_give isl_basic_map *isl_basic_map_neg(__isl_take isl_basic_map *bmap) in isl_basic_map_neg()
5035 __isl_give isl_basic_map *isl_basic_map_floordiv(__isl_take isl_basic_map *bmap, in isl_basic_map_floordiv()
5040 struct isl_basic_map *result = NULL; in isl_basic_map_floordiv()
5131 static __isl_give isl_basic_map *var_equal(__isl_take isl_basic_map *bmap, in var_equal()
5158 static __isl_give isl_basic_map *var_less(__isl_take isl_basic_map *bmap, in var_less()
5186 static __isl_give isl_basic_map *var_less_or_equal( in var_less_or_equal()
5187 __isl_take isl_basic_map *bmap, unsigned pos) in var_less_or_equal()
5213 static __isl_give isl_basic_map *var_more(__isl_take isl_basic_map *bmap, in var_more()
5241 static __isl_give isl_basic_map *var_more_or_equal( in var_more_or_equal()
5242 __isl_take isl_basic_map *bmap, unsigned pos) in var_more_or_equal()
5266 __isl_give isl_basic_map *isl_basic_map_equal( in isl_basic_map_equal()
5270 struct isl_basic_map *bmap; in isl_basic_map_equal()
5281 __isl_give isl_basic_map *isl_basic_map_less_at(__isl_take isl_space *space, in isl_basic_map_less_at()
5285 struct isl_basic_map *bmap; in isl_basic_map_less_at()
5298 __isl_give isl_basic_map *isl_basic_map_less_or_equal_at( in isl_basic_map_less_or_equal_at()
5302 isl_basic_map *bmap; in isl_basic_map_less_or_equal_at()
5313 __isl_give isl_basic_map *isl_basic_map_more_at(__isl_take isl_space *space, in isl_basic_map_more_at()
5317 struct isl_basic_map *bmap; in isl_basic_map_more_at()
5330 __isl_give isl_basic_map *isl_basic_map_more_or_equal_at( in isl_basic_map_more_or_equal_at()
5334 isl_basic_map *bmap; in isl_basic_map_more_or_equal_at()
5539 static __isl_give isl_basic_map *add_upper_div_constraint( in add_upper_div_constraint()
5540 __isl_take isl_basic_map *bmap, unsigned div) in add_upper_div_constraint()
5564 static __isl_give isl_basic_map *add_lower_div_constraint( in add_lower_div_constraint()
5565 __isl_take isl_basic_map *bmap, unsigned div) in add_lower_div_constraint()
5596 __isl_give isl_basic_map *isl_basic_map_add_div_constraints( in isl_basic_map_add_div_constraints()
5597 __isl_take isl_basic_map *bmap, unsigned pos) in isl_basic_map_add_div_constraints()
5612 __isl_give isl_basic_map *isl_basic_map_add_known_div_constraints( in isl_basic_map_add_known_div_constraints()
5613 __isl_take isl_basic_map *bmap) in isl_basic_map_add_known_div_constraints()
5642 __isl_give isl_basic_map *isl_basic_map_add_div_constraint( in isl_basic_map_add_div_constraint()
5643 __isl_take isl_basic_map *bmap, unsigned div, int sign) in isl_basic_map_add_div_constraint()
5652 __isl_take isl_basic_map *bmap) in isl_basic_map_underlying_set()
5700 isl_basic_map *bmap; in isl_basic_map_list_underlying_set()
5714 __isl_give isl_basic_map *isl_basic_map_overlying_set( in isl_basic_map_overlying_set()
5715 __isl_take isl_basic_set *bset, __isl_take isl_basic_map *like) in isl_basic_map_overlying_set()
5717 struct isl_basic_map *bmap; in isl_basic_map_overlying_set()
5828 __isl_give isl_basic_map *isl_basic_map_reset_space( in isl_basic_map_reset_space()
5829 __isl_take isl_basic_map *bmap, __isl_take isl_space *space) in isl_basic_map_reset_space()
6015 __isl_give isl_basic_set *isl_basic_map_domain(__isl_take isl_basic_map *bmap) in isl_basic_map_domain()
6030 isl_bool isl_basic_map_may_be_set(__isl_keep isl_basic_map *bmap) in isl_basic_map_may_be_set()
6041 isl_bool isl_basic_map_is_set(__isl_keep isl_basic_map *bmap) in isl_basic_map_is_set()
6048 __isl_give isl_basic_set *isl_basic_map_range(__isl_take isl_basic_map *bmap) in isl_basic_map_range()
6063 __isl_give isl_basic_map *isl_basic_map_domain_map( in isl_basic_map_domain_map()
6064 __isl_take isl_basic_map *bmap) in isl_basic_map_domain_map()
6068 isl_basic_map *domain; in isl_basic_map_domain_map()
6093 __isl_give isl_basic_map *isl_basic_map_range_map( in isl_basic_map_range_map()
6094 __isl_take isl_basic_map *bmap) in isl_basic_map_range_map()
6098 isl_basic_map *range; in isl_basic_map_range_map()
6161 __isl_give isl_basic_map *(*fn_bmap)(__isl_take isl_basic_map *bmap)) in isl_map_transform()
6216 __isl_give isl_basic_map *isl_basic_map_from_domain( in isl_basic_map_from_domain()
6222 __isl_give isl_basic_map *isl_basic_map_from_range( in isl_basic_map_from_range()
6254 __isl_give isl_basic_map *isl_basic_map_from_domain_and_range( in isl_basic_map_from_domain_and_range()
6282 (n - 1) * sizeof(struct isl_basic_map *)); in isl_map_alloc_space()
6299 __isl_give isl_basic_map *isl_basic_map_empty(__isl_take isl_space *space) in isl_basic_map_empty()
6301 struct isl_basic_map *bmap; in isl_basic_map_empty()
6315 __isl_give isl_basic_map *isl_basic_map_universe(__isl_take isl_space *space) in isl_basic_map_universe()
6317 struct isl_basic_map *bmap; in isl_basic_map_universe()
6331 __isl_give isl_basic_map *isl_basic_map_nat_universe( in isl_basic_map_nat_universe()
6336 isl_basic_map *bmap; in isl_basic_map_nat_universe()
6430 __isl_take isl_basic_map *bmap) in isl_map_add_basic_map()
6473 static __isl_give isl_basic_map *isl_basic_map_fix_pos_si( in isl_basic_map_fix_pos_si()
6474 __isl_take isl_basic_map *bmap, unsigned pos, int value) in isl_basic_map_fix_pos_si()
6498 static __isl_give isl_basic_map *isl_basic_map_fix_pos( in isl_basic_map_fix_pos()
6499 __isl_take isl_basic_map *bmap, unsigned pos, isl_int value) in isl_basic_map_fix_pos()
6523 __isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bmap, in isl_basic_map_fix_si()
6532 __isl_give isl_basic_map *isl_basic_map_fix(__isl_take isl_basic_map *bmap, in isl_basic_map_fix()
6544 __isl_give isl_basic_map *isl_basic_map_fix_val(__isl_take isl_basic_map *bmap, in isl_basic_map_fix_val()
6622 __isl_give isl_basic_map *(*fn)(__isl_take isl_basic_map *bmap)) in isl_map_inline_foreach_basic_map()
6624 struct isl_basic_map *bmap; in isl_map_inline_foreach_basic_map()
6753 static __isl_give isl_basic_map *basic_map_bound_si( in basic_map_bound_si()
6754 __isl_take isl_basic_map *bmap, in basic_map_bound_si()
6786 __isl_give isl_basic_map *isl_basic_map_lower_bound_si( in isl_basic_map_lower_bound_si()
6787 __isl_take isl_basic_map *bmap, in isl_basic_map_lower_bound_si()
6795 __isl_give isl_basic_map *isl_basic_map_upper_bound_si( in isl_basic_map_upper_bound_si()
6796 __isl_take isl_basic_map *bmap, in isl_basic_map_upper_bound_si()
6851 static __isl_give isl_basic_map *basic_map_bound( in basic_map_bound()
6852 __isl_take isl_basic_map *bmap, in basic_map_bound()
7423 __isl_give isl_map *isl_basic_map_lexmax(__isl_take isl_basic_map *bmap) in isl_basic_map_lexmax()
7456 static __isl_give isl_pw_aff *basic_map_dim_opt(__isl_keep isl_basic_map *bmap, in basic_map_dim_opt()
7831 static __isl_give isl_basic_map *insert_divs_from_local_space( in insert_divs_from_local_space()
7832 __isl_take isl_basic_map *bmap, __isl_keep isl_local_space *ls) in insert_divs_from_local_space()
7863 static __isl_give isl_basic_map *basic_replace_space_by_local_space( in basic_replace_space_by_local_space()
7864 __isl_take isl_basic_map *bmap, __isl_take isl_local_space *ls) in basic_replace_space_by_local_space()
7935 static __isl_give isl_map *compute_divs(__isl_take isl_basic_map *bmap) in compute_divs()
7990 __isl_give isl_basic_map *isl_basic_map_mark_div_unknown( in isl_basic_map_mark_div_unknown()
7991 __isl_take isl_basic_map *bmap, int div) in isl_basic_map_mark_div_unknown()
8015 isl_bool isl_basic_map_div_is_marked_unknown(__isl_keep isl_basic_map *bmap, in isl_basic_map_div_is_marked_unknown()
8029 int isl_basic_map_first_unknown_div(__isl_keep isl_basic_map *bmap) in isl_basic_map_first_unknown_div()
8056 isl_bool isl_basic_map_divs_known(__isl_keep isl_basic_map *bmap) in isl_basic_map_divs_known()
8092 __isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bmap) in isl_basic_map_compute_divs()
8326 __isl_give isl_basic_map *fn(__isl_take isl_basic_map *bmap, in map_intersect_set()
8643 isl_bool isl_basic_map_is_transformation(__isl_keep isl_basic_map *bmap) in isl_basic_map_is_transformation()
8655 __isl_keep isl_basic_map *bmap) in isl_basic_map_check_transformation()
8671 __isl_give isl_basic_set *isl_basic_map_deltas(__isl_take isl_basic_map *bmap) in isl_basic_map_deltas()
8795 __isl_give isl_basic_map *isl_basic_map_deltas_map( in isl_basic_map_deltas_map()
8796 __isl_take isl_basic_map *bmap) in isl_basic_map_deltas_map()
8800 isl_basic_map *domain; in isl_basic_map_deltas_map()
8867 __isl_give isl_basic_map *isl_basic_map_identity(__isl_take isl_space *space) in isl_basic_map_identity()
9080 isl_bool isl_basic_map_is_subset(__isl_keep isl_basic_map *bmap1, in isl_basic_map_is_subset()
9081 __isl_keep isl_basic_map *bmap2) in isl_basic_map_is_subset()
9107 isl_bool isl_basic_map_is_equal(__isl_keep isl_basic_map *bmap1, in isl_basic_map_is_equal()
9108 __isl_keep isl_basic_map *bmap2) in isl_basic_map_is_equal()
9161 #define TYPE isl_basic_map
9193 #define TYPE2 isl_basic_map
9239 isl_bool isl_basic_map_is_strict_subset(__isl_keep isl_basic_map *bmap1, in isl_basic_map_is_strict_subset()
9240 __isl_keep isl_basic_map *bmap2) in isl_basic_map_is_strict_subset()
9277 isl_bool isl_basic_map_plain_is_universe(__isl_keep isl_basic_map *bmap) in isl_basic_map_plain_is_universe()
9317 isl_bool isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap) in isl_basic_map_is_universe()
9321 isl_basic_map *test; in isl_basic_map_is_universe()
9371 isl_bool isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap) in isl_basic_map_is_empty()
9387 struct isl_basic_map *copy = isl_basic_map_copy(bmap); in isl_basic_map_is_empty()
9416 isl_bool isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap) in isl_basic_map_plain_is_empty()
9434 isl_bool isl_basic_map_plain_is_non_empty(__isl_keep isl_basic_map *bmap) in isl_basic_map_plain_is_non_empty()
9455 __isl_give isl_map *isl_basic_map_union(__isl_take isl_basic_map *bmap1, in isl_basic_map_union()
9456 __isl_take isl_basic_map *bmap2) in isl_basic_map_union()
9483 __isl_give isl_basic_map *isl_basic_map_order_divs( in isl_basic_map_order_divs()
9484 __isl_take isl_basic_map *bmap) in isl_basic_map_order_divs()
9550 __isl_give isl_basic_map *isl_basic_map_expand_divs( in isl_basic_map_expand_divs()
9551 __isl_take isl_basic_map *bmap, __isl_take isl_mat *div, int *exp) in isl_basic_map_expand_divs()
9618 static int find_div(__isl_keep isl_basic_map *dst, in find_div()
9619 __isl_keep isl_basic_map *src, unsigned div) in find_div()
9655 __isl_give isl_basic_map *isl_basic_map_align_divs( in isl_basic_map_align_divs()
9656 __isl_take isl_basic_map *dst, __isl_keep isl_basic_map *src) in isl_basic_map_align_divs()
9773 isl_basic_map *bmap; in isl_map_align_divs_to_basic_map_list()
9790 __isl_take isl_basic_map_list *list, __isl_keep isl_basic_map *bmap) in isl_basic_map_list_align_divs_to_basic_map()
9800 isl_basic_map *bmap_i; in isl_basic_map_list_align_divs_to_basic_map()
9855 static __isl_give isl_basic_map *join_initial(__isl_keep isl_basic_set *bset1, in join_initial()
9858 isl_basic_map *bmap1; in join_initial()
9859 isl_basic_map *bmap2; in join_initial()
9878 isl_basic_map *bmap1; in basic_set_maximal_difference_at()
9964 isl_basic_map *bmap; in isl_basic_set_follows_at()
10028 __isl_keep isl_basic_map *bmap, unsigned pos, isl_int *val) in isl_basic_map_plain_has_fixed_var()
10092 isl_bool isl_basic_map_plain_is_fixed(__isl_keep isl_basic_map *bmap, in isl_basic_map_plain_is_fixed()
10106 __isl_keep isl_basic_map *bmap, in isl_basic_map_plain_get_val_if_fixed()
10267 int isl_basic_map_constraint_cmp(__isl_keep isl_basic_map *bmap, in isl_basic_map_constraint_cmp()
10280 __isl_give isl_basic_map *isl_basic_map_sort_constraints( in isl_basic_map_sort_constraints()
10281 __isl_take isl_basic_map *bmap) in isl_basic_map_sort_constraints()
10306 isl_basic_map *bmap = bset_to_bmap(bset); in isl_basic_set_sort_constraints()
10310 __isl_give isl_basic_map *isl_basic_map_normalize( in isl_basic_map_normalize()
10311 __isl_take isl_basic_map *bmap) in isl_basic_map_normalize()
10317 int isl_basic_map_plain_cmp(__isl_keep isl_basic_map *bmap1, in isl_basic_map_plain_cmp()
10318 __isl_keep isl_basic_map *bmap2) in isl_basic_map_plain_cmp()
10395 isl_bool isl_basic_map_plain_is_equal(__isl_keep isl_basic_map *bmap1, in isl_basic_map_plain_is_equal()
10396 __isl_keep isl_basic_map *bmap2) in isl_basic_map_plain_is_equal()
10412 isl_basic_map *bmap1 = *(isl_basic_map **) p1; in qsort_bmap_cmp()
10413 isl_basic_map *bmap2 = *(isl_basic_map **) p2; in qsort_bmap_cmp()
10431 qsort(map->p, map->n, sizeof(struct isl_basic_map *), qsort_bmap_cmp); in sort_and_remove_duplicates()
10457 isl_basic_map *bmap; in isl_map_remove_obvious_duplicates()
10485 struct isl_basic_map *bmap; in isl_map_normalize()
10570 isl_basic_map *bmap; in isl_map_get_basic_map_list()
10582 __isl_give isl_basic_map *isl_basic_map_list_intersect( in isl_basic_map_list_intersect()
10587 isl_basic_map *bmap; in isl_basic_map_list_intersect()
10598 isl_basic_map *bmap_i; in isl_basic_map_list_intersect()
10687 __isl_give isl_basic_map *isl_basic_map_product( in isl_basic_map_product()
10688 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_product()
10691 struct isl_basic_map *bmap; in isl_basic_map_product()
10732 __isl_give isl_basic_map *isl_basic_map_flat_product( in isl_basic_map_flat_product()
10733 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_flat_product()
10735 isl_basic_map *prod; in isl_basic_map_flat_product()
10748 __isl_give isl_basic_map *isl_basic_map_domain_product( in isl_basic_map_domain_product()
10749 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_domain_product()
10753 isl_basic_map *bmap; in isl_basic_map_domain_product()
10795 __isl_give isl_basic_map *isl_basic_map_range_product( in isl_basic_map_range_product()
10796 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_range_product()
10800 isl_basic_map *bmap; in isl_basic_map_range_product()
10849 __isl_give isl_basic_map *isl_basic_map_flat_range_product( in isl_basic_map_flat_range_product()
10850 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_flat_range_product()
10852 isl_basic_map *prod; in isl_basic_map_flat_range_product()
10871 __isl_give isl_basic_map *(*basic_map_product)( in map_product()
10872 __isl_take isl_basic_map *left, in map_product()
10873 __isl_take isl_basic_map *right), in map_product()
10899 struct isl_basic_map *part; in map_product()
11158 uint32_t isl_basic_map_get_hash(__isl_keep isl_basic_map *bmap) in isl_basic_map_get_hash()
11243 isl_stat (*fn)(__isl_take isl_basic_map *bmap, void *user), void *user) in isl_map_foreach_basic_map()
11411 static isl_bool basic_map_dim_is_bounded(__isl_keep isl_basic_map *bmap, in basic_map_dim_is_bounded()
11443 isl_bool isl_basic_map_dim_is_bounded(__isl_keep isl_basic_map *bmap, in isl_basic_map_dim_is_bounded()
11449 isl_bool isl_basic_map_dim_has_lower_bound(__isl_keep isl_basic_map *bmap, in isl_basic_map_dim_has_lower_bound()
11455 isl_bool isl_basic_map_dim_has_upper_bound(__isl_keep isl_basic_map *bmap, in isl_basic_map_dim_has_upper_bound()
11492 isl_bool (*fn)(__isl_keep isl_basic_map *bmap, in has_any_bound()
11532 isl_bool (*fn)(__isl_keep isl_basic_map *bmap, in has_bound()
11652 static isl_bool div_may_involve_output(__isl_keep isl_basic_map *bmap, int div) in div_may_involve_output()
11692 static int first_div_may_involve_output(__isl_keep isl_basic_map *bmap, in first_div_may_involve_output()
11730 static int find_modulo_constraint_pair(__isl_keep isl_basic_map *bmap, in find_modulo_constraint_pair()
11808 int isl_basic_map_output_defining_equality(__isl_keep isl_basic_map *bmap, in isl_basic_map_output_defining_equality()
11864 isl_bool isl_basic_map_plain_is_single_valued(__isl_keep isl_basic_map *bmap) in isl_basic_map_plain_is_single_valued()
11894 isl_bool isl_basic_map_is_single_valued(__isl_keep isl_basic_map *bmap) in isl_basic_map_is_single_valued()
11897 isl_basic_map *test; in isl_basic_map_is_single_valued()
11898 isl_basic_map *id; in isl_basic_map_is_single_valued()
12178 __isl_give isl_basic_set *isl_basic_map_wrap(__isl_take isl_basic_map *bmap) in isl_basic_map_wrap()
12198 __isl_give isl_basic_map *isl_basic_set_unwrap(__isl_take isl_basic_set *bset) in isl_basic_set_unwrap()
12225 __isl_give isl_basic_map *isl_basic_map_reset(__isl_take isl_basic_map *bmap, in isl_basic_map_reset()
12271 __isl_give isl_basic_map *isl_basic_map_flatten(__isl_take isl_basic_map *bmap) in isl_basic_map_flatten()
12289 __isl_give isl_basic_map *isl_basic_map_flatten_domain( in isl_basic_map_flatten_domain()
12290 __isl_take isl_basic_map *bmap) in isl_basic_map_flatten_domain()
12303 __isl_give isl_basic_map *isl_basic_map_flatten_range( in isl_basic_map_flatten_range()
12304 __isl_take isl_basic_map *bmap) in isl_basic_map_flatten_range()
12379 __isl_give isl_basic_map *isl_basic_map_realign(__isl_take isl_basic_map *bmap, in isl_basic_map_realign()
12382 isl_basic_map *res; in isl_basic_map_realign()
12496 __isl_give isl_basic_map *isl_basic_map_align_params( in isl_basic_map_align_params()
12497 __isl_take isl_basic_map *bmap, __isl_take isl_space *model) in isl_basic_map_align_params()
12610 __isl_give isl_basic_map *isl_basic_map_drop_unused_params( in isl_basic_map_drop_unused_params()
12611 __isl_take isl_basic_map *bmap) in isl_basic_map_drop_unused_params()
12866 __isl_keep isl_basic_map *bmap, enum isl_dim_type c1, in isl_basic_map_equalities_matrix()
12899 __isl_keep isl_basic_map *bmap, enum isl_dim_type c1, in isl_basic_map_inequalities_matrix()
12931 __isl_give isl_basic_map *isl_basic_map_from_constraint_matrices( in isl_basic_map_from_constraint_matrices()
12938 isl_basic_map *bmap = NULL; in isl_basic_map_from_constraint_matrices()
13040 isl_basic_map *bmap; in isl_basic_set_from_constraint_matrices()
13046 isl_bool isl_basic_map_can_zip(__isl_keep isl_basic_map *bmap) in isl_basic_map_can_zip()
13065 __isl_give isl_basic_map *isl_basic_map_zip(__isl_take isl_basic_map *bmap) in isl_basic_map_zip()
13119 isl_bool isl_basic_map_can_curry(__isl_keep isl_basic_map *bmap) in isl_basic_map_can_curry()
13141 __isl_give isl_basic_map *isl_basic_map_curry(__isl_take isl_basic_map *bmap) in isl_basic_map_curry()
13197 isl_bool isl_basic_map_can_uncurry(__isl_keep isl_basic_map *bmap) in isl_basic_map_can_uncurry()
13219 __isl_give isl_basic_map *isl_basic_map_uncurry(__isl_take isl_basic_map *bmap) in isl_basic_map_uncurry()
13256 static __isl_give isl_basic_map *equator(__isl_take isl_space *space, in equator()
13259 isl_basic_map *bmap = NULL; in equator()
13292 __isl_give isl_basic_map *isl_basic_map_equate(__isl_take isl_basic_map *bmap, in isl_basic_map_equate()
13295 isl_basic_map *eq; in isl_basic_map_equate()
13309 isl_basic_map *bmap; in isl_map_equate()
13323 isl_basic_map *bmap = NULL; in isl_map_oppose()
13384 __isl_give isl_basic_map *isl_basic_map_order_ge(__isl_take isl_basic_map *bmap, in isl_basic_map_order_ge()
13429 static __isl_give isl_basic_map *greator(__isl_take isl_space *space, in greator()
13432 isl_basic_map *bmap = NULL; in greator()
13466 __isl_give isl_basic_map *isl_basic_map_order_gt(__isl_take isl_basic_map *bmap, in isl_basic_map_order_gt()
13469 isl_basic_map *gt; in isl_basic_map_order_gt()
13484 isl_basic_map *bmap; in isl_map_order_gt()
13502 __isl_give isl_aff *isl_basic_map_get_div(__isl_keep isl_basic_map *bmap, in isl_basic_map_get_div()
13547 __isl_keep isl_basic_map *bmap, enum isl_dim_type type, in check_basic_map_compatible_range_multi_aff()
13580 static __isl_give isl_basic_map *set_ma_divs(__isl_take isl_basic_map *bmap, in set_ma_divs()
13662 static __isl_give isl_basic_map *add_ma_strides( in add_ma_strides()
13663 __isl_take isl_basic_map *bmap, __isl_keep isl_multi_aff *ma, in add_ma_strides()
13776 __isl_give isl_basic_map *isl_basic_map_preimage_multi_aff( in isl_basic_map_preimage_multi_aff()
13777 __isl_take isl_basic_map *bmap, enum isl_dim_type type, in isl_basic_map_preimage_multi_aff()
13782 isl_basic_map *res = NULL; in isl_basic_map_preimage_multi_aff()
13897 __isl_give isl_basic_map *isl_basic_map_preimage_domain_multi_aff( in isl_basic_map_preimage_domain_multi_aff()
13898 __isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma) in isl_basic_map_preimage_domain_multi_aff()
13909 __isl_give isl_basic_map *isl_basic_map_preimage_range_multi_aff( in isl_basic_map_preimage_range_multi_aff()
13910 __isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma) in isl_basic_map_preimage_range_multi_aff()
14269 isl_bool isl_basic_map_equal_div_expr_part(__isl_keep isl_basic_map *bmap1, in isl_basic_map_equal_div_expr_part()
14270 int pos1, __isl_keep isl_basic_map *bmap2, int pos2, in isl_basic_map_equal_div_expr_part()
14286 __isl_keep isl_basic_map *bmap1, int pos1, in isl_basic_map_equal_div_expr_except_constant()
14287 __isl_keep isl_basic_map *bmap2, int pos2) in isl_basic_map_equal_div_expr_except_constant()
14316 __isl_give isl_basic_map *isl_basic_map_set_div_expr_constant_num_si_inplace( in isl_basic_map_set_div_expr_constant_num_si_inplace()
14317 __isl_take isl_basic_map *bmap, int div, int value) in isl_basic_map_set_div_expr_constant_num_si_inplace()
14401 __isl_give isl_basic_map *isl_basic_map_transform_dims( in isl_basic_map_transform_dims()
14402 __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, in isl_basic_map_transform_dims()