Lines Matching refs:isl_basic_map
61 static __isl_keep const isl_basic_map *const_bset_to_bmap( in const_bset_to_bmap()
64 return (const isl_basic_map *) bset; in const_bset_to_bmap()
68 #define TYPE isl_basic_map
81 isl_size isl_basic_map_dim(__isl_keep isl_basic_map *bmap, in isl_basic_map_dim()
145 isl_size isl_basic_map_var_offset(__isl_keep isl_basic_map *bmap, in isl_basic_map_var_offset()
176 unsigned isl_basic_map_offset(__isl_keep isl_basic_map *bmap, in isl_basic_map_offset()
231 isl_size isl_basic_map_total_dim(__isl_keep const isl_basic_map *bmap) in isl_basic_map_total_dim()
246 isl_size isl_basic_map_n_equality(__isl_keep isl_basic_map *bmap) in isl_basic_map_n_equality()
264 isl_size isl_basic_map_n_inequality(__isl_keep isl_basic_map *bmap) in isl_basic_map_n_inequality()
281 static isl_bool isl_basic_map_has_equal_params(__isl_keep isl_basic_map *bmap1, in isl_basic_map_has_equal_params()
282 __isl_keep isl_basic_map *bmap2) in isl_basic_map_has_equal_params()
313 static isl_bool isl_basic_map_set_tuple_is_equal(__isl_keep isl_basic_map *bmap, in isl_basic_map_set_tuple_is_equal()
344 isl_bool isl_basic_map_compatible_domain(__isl_keep isl_basic_map *bmap, in isl_basic_map_compatible_domain()
368 isl_bool isl_basic_map_compatible_range(__isl_keep isl_basic_map *bmap, in isl_basic_map_compatible_range()
380 isl_ctx *isl_basic_map_get_ctx(__isl_keep isl_basic_map *bmap) in isl_basic_map_get_ctx()
403 __isl_keep const isl_basic_map *bmap) in isl_basic_map_peek_space()
415 __isl_give isl_space *isl_basic_map_get_space(__isl_keep isl_basic_map *bmap) in isl_basic_map_get_space()
435 __isl_keep isl_basic_map *bmap) in isl_basic_map_take_space()
453 static __isl_give isl_basic_map *isl_basic_map_restore_space( in isl_basic_map_restore_space()
454 __isl_take isl_basic_map *bmap, __isl_take isl_space *space) in isl_basic_map_restore_space()
479 __isl_give isl_mat *isl_basic_map_get_divs(__isl_keep isl_basic_map *bmap) in isl_basic_map_get_divs()
511 __isl_keep isl_basic_map *bmap) in isl_basic_map_get_local_space()
535 static __isl_give isl_basic_map *add_known_div_constraints( in add_known_div_constraints()
536 __isl_take isl_basic_map *bmap) in add_known_div_constraints()
559 __isl_give isl_basic_map *isl_basic_map_from_local_space( in isl_basic_map_from_local_space()
564 isl_basic_map *bmap; in isl_basic_map_from_local_space()
660 __isl_give isl_basic_map *isl_basic_map_set_tuple_name( in isl_basic_map_set_tuple_name()
661 __isl_take isl_basic_map *bmap, enum isl_dim_type type, const char *s) in isl_basic_map_set_tuple_name()
678 const char *isl_basic_map_get_tuple_name(__isl_keep isl_basic_map *bmap, in isl_basic_map_get_tuple_name()
712 __isl_give isl_basic_map *isl_basic_map_set_tuple_id( in isl_basic_map_set_tuple_id()
713 __isl_take isl_basic_map *bmap, in isl_basic_map_set_tuple_id()
873 const char *isl_basic_map_get_dim_name(__isl_keep isl_basic_map *bmap, in isl_basic_map_get_dim_name()
917 __isl_give isl_basic_map *isl_basic_map_set_dim_name( in isl_basic_map_set_dim_name()
918 __isl_take isl_basic_map *bmap, in isl_basic_map_set_dim_name()
970 isl_bool isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap, in isl_basic_map_has_dim_id()
1044 int isl_basic_map_find_dim_by_name(__isl_keep isl_basic_map *bmap, in isl_basic_map_find_dim_by_name()
1134 isl_bool isl_basic_map_is_rational(__isl_keep isl_basic_map *bmap) in isl_basic_map_is_rational()
1196 isl_bool isl_basic_map_has_rational(__isl_keep isl_basic_map *bmap) in isl_basic_map_has_rational()
1287 static __isl_give isl_basic_map *basic_map_init(isl_ctx *ctx, in basic_map_init()
1288 __isl_take isl_basic_map *bmap, unsigned extra, in basic_map_init()
1349 struct isl_basic_map *bmap; in isl_basic_set_alloc()
1363 struct isl_basic_map *bmap; in isl_basic_set_alloc_space()
1374 __isl_give isl_basic_map *isl_basic_map_alloc_space(__isl_take isl_space *space, in isl_basic_map_alloc_space()
1377 struct isl_basic_map *bmap; in isl_basic_map_alloc_space()
1381 bmap = isl_calloc_type(space->ctx, struct isl_basic_map); in isl_basic_map_alloc_space()
1392 __isl_give isl_basic_map *isl_basic_map_alloc(isl_ctx *ctx, in isl_basic_map_alloc()
1396 struct isl_basic_map *bmap; in isl_basic_map_alloc()
1407 static __isl_give isl_basic_map *dup_constraints(__isl_take isl_basic_map *dst, in dup_constraints()
1408 __isl_keep isl_basic_map *src) in dup_constraints()
1440 __isl_give isl_basic_map *isl_basic_map_dup(__isl_keep isl_basic_map *bmap) in isl_basic_map_dup()
1442 struct isl_basic_map *dup; in isl_basic_map_dup()
1458 struct isl_basic_map *dup; in isl_basic_set_dup()
1478 __isl_give isl_basic_map *isl_basic_map_copy(__isl_keep isl_basic_map *bmap) in isl_basic_map_copy()
1502 __isl_null isl_basic_map *isl_basic_map_free(__isl_take isl_basic_map *bmap) in isl_basic_map_free()
1527 static int room_for_con(__isl_keep isl_basic_map *bmap, unsigned n) in room_for_con()
1570 #define TYPE isl_basic_map
1579 __isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2) in isl_basic_map_check_equal_params()
1630 int isl_basic_map_alloc_equality(__isl_keep isl_basic_map *bmap) in isl_basic_map_alloc_equality()
1670 __isl_give isl_basic_map *isl_basic_map_free_equality( in isl_basic_map_free_equality()
1671 __isl_take isl_basic_map *bmap, unsigned n) in isl_basic_map_free_equality()
1693 int isl_basic_map_drop_equality(__isl_keep isl_basic_map *bmap, unsigned pos) in isl_basic_map_drop_equality()
1719 __isl_keep isl_basic_map *bmap, unsigned pos) in isl_basic_map_inequality_to_equality()
1736 static int room_for_ineq(__isl_keep isl_basic_map *bmap, unsigned n) in room_for_ineq()
1741 int isl_basic_map_alloc_inequality(__isl_keep isl_basic_map *bmap) in isl_basic_map_alloc_inequality()
1765 __isl_give isl_basic_map *isl_basic_map_free_inequality( in isl_basic_map_free_inequality()
1766 __isl_take isl_basic_map *bmap, unsigned n) in isl_basic_map_free_inequality()
1785 int isl_basic_map_drop_inequality(__isl_keep isl_basic_map *bmap, unsigned pos) in isl_basic_map_drop_inequality()
1807 __isl_give isl_basic_map *isl_basic_map_add_eq(__isl_take isl_basic_map *bmap, in isl_basic_map_add_eq()
1841 __isl_give isl_basic_map *isl_basic_map_add_ineq(__isl_take isl_basic_map *bmap, in isl_basic_map_add_ineq()
1868 int isl_basic_map_alloc_div(__isl_keep isl_basic_map *bmap) in isl_basic_map_alloc_div()
1888 #define TYPE isl_basic_map
1907 __isl_give isl_basic_map *isl_basic_map_insert_div( in isl_basic_map_insert_div()
1908 __isl_take isl_basic_map *bmap, int pos, __isl_keep isl_vec *div) in isl_basic_map_insert_div()
1937 isl_stat isl_basic_map_free_div(__isl_keep isl_basic_map *bmap, unsigned n) in isl_basic_map_free_div()
1946 static __isl_give isl_basic_map *add_constraints( in add_constraints()
1947 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2, in add_constraints()
1983 __isl_give isl_basic_map *isl_basic_map_extend(__isl_take isl_basic_map *base, in isl_basic_map_extend()
1987 struct isl_basic_map *ext; in isl_basic_map_extend()
2032 __isl_give isl_basic_map *isl_basic_map_extend_constraints( in isl_basic_map_extend_constraints()
2033 __isl_take isl_basic_map *base, unsigned n_eq, unsigned n_ineq) in isl_basic_map_extend_constraints()
2041 isl_basic_map *bmap = bset_to_bmap(base); in isl_basic_set_extend_constraints()
2051 __isl_give isl_basic_map *isl_basic_map_cow(__isl_take isl_basic_map *bmap) in isl_basic_map_cow()
2115 static __isl_give isl_basic_map *isl_basic_map_swap_vars( in isl_basic_map_swap_vars()
2116 __isl_take isl_basic_map *bmap, unsigned pos, unsigned n1, unsigned n2) in isl_basic_map_swap_vars()
2166 __isl_give isl_basic_map *isl_basic_map_set_to_empty( in isl_basic_map_set_to_empty()
2167 __isl_take isl_basic_map *bmap) in isl_basic_map_set_to_empty()
2214 __isl_give isl_basic_map *isl_basic_map_set_rational( in isl_basic_map_set_rational()
2215 __isl_take isl_basic_map *bmap) in isl_basic_map_set_rational()
2282 static void swap_div(__isl_keep isl_basic_map *bmap, int a, int b) in swap_div()
2292 __isl_give isl_basic_map *isl_basic_map_swap_div(__isl_take isl_basic_map *bmap, in isl_basic_map_swap_div()
2338 static __isl_give isl_basic_map *move_divs_last(__isl_take isl_basic_map *bmap, in move_divs_last()
2386 __isl_give isl_basic_map *isl_basic_map_drop_core( in isl_basic_map_drop_core()
2387 __isl_take isl_basic_map *bmap, enum isl_dim_type type, in isl_basic_map_drop_core()
2436 __isl_give isl_basic_map *isl_basic_map_drop(__isl_take isl_basic_map *bmap, in isl_basic_map_drop()
2515 __isl_give isl_basic_map *isl_basic_map_drop_div( in isl_basic_map_drop_div()
2516 __isl_take isl_basic_map *bmap, unsigned div) in isl_basic_map_drop_div()
2571 __isl_give isl_basic_map *isl_basic_map_remove_divs( in isl_basic_map_remove_divs()
2572 __isl_take isl_basic_map *bmap) in isl_basic_map_remove_divs()
2621 __isl_give isl_basic_map *isl_basic_map_remove_dims( in isl_basic_map_remove_dims()
2622 __isl_take isl_basic_map *bmap, enum isl_dim_type type, in isl_basic_map_remove_dims()
2642 static isl_bool div_involves_vars(__isl_keep isl_basic_map *bmap, int div, in div_involves_vars()
2714 static __isl_give isl_basic_map *insert_bounds_on_div_from_ineq( in insert_bounds_on_div_from_ineq()
2715 __isl_take isl_basic_map *bmap, int div, int i, in insert_bounds_on_div_from_ineq()
2813 static __isl_give isl_basic_map *insert_bounds_on_div( in insert_bounds_on_div()
2814 __isl_take isl_basic_map *bmap, int div) in insert_bounds_on_div()
2862 __isl_give isl_basic_map *isl_basic_map_remove_divs_involving_dims( in isl_basic_map_remove_divs_involving_dims()
2863 __isl_take isl_basic_map *bmap, in isl_basic_map_remove_divs_involving_dims()
2940 isl_bool isl_basic_map_involves_dims(__isl_keep isl_basic_map *bmap, in isl_basic_map_involves_dims()
3032 __isl_give isl_basic_map *isl_basic_map_drop_constraints_involving( in isl_basic_map_drop_constraints_involving()
3033 __isl_take isl_basic_map *bmap, unsigned first, unsigned n) in isl_basic_map_drop_constraints_involving()
3075 __isl_give isl_basic_map *isl_basic_map_drop_constraints_not_involving_dims( in isl_basic_map_drop_constraints_not_involving_dims()
3076 __isl_take isl_basic_map *bmap, in isl_basic_map_drop_constraints_not_involving_dims()
3127 __isl_give isl_basic_map *isl_basic_map_drop_constraints_involving_dims( in isl_basic_map_drop_constraints_involving_dims()
3128 __isl_take isl_basic_map *bmap, in isl_basic_map_drop_constraints_involving_dims()
3161 __isl_give isl_basic_map *(*drop)(__isl_take isl_basic_map *bmap, in drop_constraints()
3240 isl_bool isl_basic_map_div_is_known(__isl_keep isl_basic_map *bmap, int div) in isl_basic_map_div_is_known()
3265 __isl_give isl_basic_map *isl_basic_map_remove_unknown_divs( in isl_basic_map_remove_unknown_divs()
3266 __isl_take isl_basic_map *bmap) in isl_basic_map_remove_unknown_divs()
3326 isl_basic_map *bmap = bset_to_bmap(bset); in isl_basic_set_remove_dims()
3394 void isl_basic_map_print_internal(__isl_keep isl_basic_map *bmap, in isl_basic_map_print_internal()
3420 __isl_give isl_basic_map *isl_inequality_negate(__isl_take isl_basic_map *bmap, in isl_inequality_negate()
3498 __isl_give isl_map *isl_map_from_basic_map(__isl_take isl_basic_map *bmap) in isl_map_from_basic_map()
3565 __isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset) in isl_basic_map_check_compatible_domain()
3579 __isl_give isl_basic_map *isl_basic_map_intersect_domain( in isl_basic_map_intersect_domain()
3580 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset) in isl_basic_map_intersect_domain()
3582 struct isl_basic_map *bmap_domain; in isl_basic_map_intersect_domain()
3614 __isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset) in isl_basic_map_check_compatible_range()
3628 __isl_give isl_basic_map *isl_basic_map_intersect_range( in isl_basic_map_intersect_range()
3629 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset) in isl_basic_map_intersect_range()
3631 struct isl_basic_map *bmap_range; in isl_basic_map_intersect_range()
3664 isl_bool isl_basic_map_contains(__isl_keep isl_basic_map *bmap, in isl_basic_map_contains()
3707 __isl_give isl_basic_map *isl_basic_map_intersect( in isl_basic_map_intersect()
3708 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_intersect()
3930 struct isl_basic_map *part; in map_intersect_internal()
3991 __isl_give isl_basic_map *isl_basic_map_reverse(__isl_take isl_basic_map *bmap) in isl_basic_map_reverse()
4015 static __isl_give isl_basic_map *isl_basic_map_reverse_wrapped( in isl_basic_map_reverse_wrapped()
4016 __isl_take isl_basic_map *bmap, enum isl_dim_type type) in isl_basic_map_reverse_wrapped()
4040 static __isl_give isl_basic_map *isl_basic_map_domain_reverse( in isl_basic_map_domain_reverse()
4041 __isl_take isl_basic_map *bmap) in isl_basic_map_domain_reverse()
4056 static __isl_give isl_basic_map *isl_basic_map_range_reverse( in isl_basic_map_range_reverse()
4057 __isl_take isl_basic_map *bmap) in isl_basic_map_range_reverse()
4072 static __isl_give isl_basic_map *isl_basic_map_set_reverse( in isl_basic_map_set_reverse()
4073 __isl_take isl_basic_map *bmap) in isl_basic_map_set_reverse()
4085 static __isl_give isl_basic_map *basic_map_space_reset( in basic_map_space_reset()
4086 __isl_take isl_basic_map *bmap, enum isl_dim_type type) in basic_map_space_reset()
4101 __isl_give isl_basic_map *isl_basic_map_insert_dims( in isl_basic_map_insert_dims()
4102 __isl_take isl_basic_map *bmap, enum isl_dim_type type, in isl_basic_map_insert_dims()
4107 struct isl_basic_map *res; in isl_basic_map_insert_dims()
4170 __isl_give isl_basic_map *isl_basic_map_add_dims(__isl_take isl_basic_map *bmap, in isl_basic_map_add_dims()
4265 __isl_give isl_basic_map *isl_basic_map_move_dims( in isl_basic_map_move_dims()
4266 __isl_take isl_basic_map *bmap, in isl_basic_map_move_dims()
4272 struct isl_basic_map *res; in isl_basic_map_move_dims()
4364 isl_basic_map *bmap = bset_to_bmap(bset); in isl_basic_set_move_dims()
4432 static __isl_give isl_basic_map *move_last(__isl_take isl_basic_map *bmap, in move_last()
4437 struct isl_basic_map *res; in move_last()
4489 static __isl_give isl_basic_map *insert_div_rows(__isl_take isl_basic_map *bmap, in insert_div_rows()
4532 static __isl_give isl_basic_map *drop_irrelevant_constraints( in drop_irrelevant_constraints()
4533 __isl_take isl_basic_map *bmap, enum isl_dim_type type, in drop_irrelevant_constraints()
4572 __isl_give isl_basic_map *isl_basic_map_project_out( in isl_basic_map_project_out()
4573 __isl_take isl_basic_map *bmap, in isl_basic_map_project_out()
4752 static __isl_give isl_basic_map *add_divs(__isl_take isl_basic_map *bmap, in add_divs()
4775 isl_bool isl_basic_map_applies_range(__isl_keep isl_basic_map *bmap1, in isl_basic_map_applies_range()
4776 __isl_keep isl_basic_map *bmap2) in isl_basic_map_applies_range()
4789 __isl_keep isl_basic_map *bmap1, __isl_keep isl_basic_map *bmap2) in isl_basic_map_check_applies_range()
4802 __isl_give isl_basic_map *isl_basic_map_apply_range( in isl_basic_map_apply_range()
4803 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_apply_range()
4806 struct isl_basic_map *bmap; in isl_basic_map_apply_range()
4855 __isl_take isl_basic_map *bmap) in isl_basic_set_apply()
4868 __isl_give isl_basic_map *isl_basic_map_apply_domain( in isl_basic_map_apply_domain()
4869 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_apply_domain()
4890 __isl_give isl_basic_map *isl_basic_map_sum(__isl_take isl_basic_map *bmap1, in isl_basic_map_sum()
4891 __isl_take isl_basic_map *bmap2) in isl_basic_map_sum()
4895 struct isl_basic_map *bmap = NULL; in isl_basic_map_sum()
4964 struct isl_basic_map *part; in isl_map_sum()
4992 __isl_give isl_basic_map *isl_basic_map_neg(__isl_take isl_basic_map *bmap) in isl_basic_map_neg()
5052 __isl_give isl_basic_map *isl_basic_map_floordiv(__isl_take isl_basic_map *bmap, in isl_basic_map_floordiv()
5057 struct isl_basic_map *result = NULL; in isl_basic_map_floordiv()
5148 static __isl_give isl_basic_map *var_equal(__isl_take isl_basic_map *bmap, in var_equal()
5175 static __isl_give isl_basic_map *var_less(__isl_take isl_basic_map *bmap, in var_less()
5203 static __isl_give isl_basic_map *var_less_or_equal( in var_less_or_equal()
5204 __isl_take isl_basic_map *bmap, unsigned pos) in var_less_or_equal()
5230 static __isl_give isl_basic_map *var_more(__isl_take isl_basic_map *bmap, in var_more()
5258 static __isl_give isl_basic_map *var_more_or_equal( in var_more_or_equal()
5259 __isl_take isl_basic_map *bmap, unsigned pos) in var_more_or_equal()
5283 __isl_give isl_basic_map *isl_basic_map_equal( in isl_basic_map_equal()
5287 struct isl_basic_map *bmap; in isl_basic_map_equal()
5298 __isl_give isl_basic_map *isl_basic_map_less_at(__isl_take isl_space *space, in isl_basic_map_less_at()
5302 struct isl_basic_map *bmap; in isl_basic_map_less_at()
5315 __isl_give isl_basic_map *isl_basic_map_less_or_equal_at( in isl_basic_map_less_or_equal_at()
5319 isl_basic_map *bmap; in isl_basic_map_less_or_equal_at()
5330 __isl_give isl_basic_map *isl_basic_map_more_at(__isl_take isl_space *space, in isl_basic_map_more_at()
5334 struct isl_basic_map *bmap; in isl_basic_map_more_at()
5347 __isl_give isl_basic_map *isl_basic_map_more_or_equal_at( in isl_basic_map_more_or_equal_at()
5351 isl_basic_map *bmap; in isl_basic_map_more_or_equal_at()
5556 static __isl_give isl_basic_map *add_upper_div_constraint( in add_upper_div_constraint()
5557 __isl_take isl_basic_map *bmap, unsigned div) in add_upper_div_constraint()
5581 static __isl_give isl_basic_map *add_lower_div_constraint( in add_lower_div_constraint()
5582 __isl_take isl_basic_map *bmap, unsigned div) in add_lower_div_constraint()
5613 __isl_give isl_basic_map *isl_basic_map_add_div_constraints( in isl_basic_map_add_div_constraints()
5614 __isl_take isl_basic_map *bmap, unsigned pos) in isl_basic_map_add_div_constraints()
5629 __isl_give isl_basic_map *isl_basic_map_add_known_div_constraints( in isl_basic_map_add_known_div_constraints()
5630 __isl_take isl_basic_map *bmap) in isl_basic_map_add_known_div_constraints()
5659 __isl_give isl_basic_map *isl_basic_map_add_div_constraint( in isl_basic_map_add_div_constraint()
5660 __isl_take isl_basic_map *bmap, unsigned div, int sign) in isl_basic_map_add_div_constraint()
5669 __isl_take isl_basic_map *bmap) in isl_basic_map_underlying_set()
5717 isl_basic_map *bmap; in isl_basic_map_list_underlying_set()
5731 __isl_give isl_basic_map *isl_basic_map_overlying_set( in isl_basic_map_overlying_set()
5732 __isl_take isl_basic_set *bset, __isl_take isl_basic_map *like) in isl_basic_map_overlying_set()
5734 struct isl_basic_map *bmap; in isl_basic_map_overlying_set()
5845 __isl_give isl_basic_map *isl_basic_map_reset_space( in isl_basic_map_reset_space()
5846 __isl_take isl_basic_map *bmap, __isl_take isl_space *space) in isl_basic_map_reset_space()
6032 __isl_give isl_basic_set *isl_basic_map_domain(__isl_take isl_basic_map *bmap) in isl_basic_map_domain()
6047 isl_bool isl_basic_map_may_be_set(__isl_keep isl_basic_map *bmap) in isl_basic_map_may_be_set()
6058 isl_bool isl_basic_map_is_set(__isl_keep isl_basic_map *bmap) in isl_basic_map_is_set()
6065 __isl_give isl_basic_set *isl_basic_map_range(__isl_take isl_basic_map *bmap) in isl_basic_map_range()
6080 __isl_give isl_basic_map *isl_basic_map_domain_map( in isl_basic_map_domain_map()
6081 __isl_take isl_basic_map *bmap) in isl_basic_map_domain_map()
6085 isl_basic_map *domain; in isl_basic_map_domain_map()
6110 __isl_give isl_basic_map *isl_basic_map_range_map( in isl_basic_map_range_map()
6111 __isl_take isl_basic_map *bmap) in isl_basic_map_range_map()
6115 isl_basic_map *range; in isl_basic_map_range_map()
6178 __isl_give isl_basic_map *(*fn_bmap)(__isl_take isl_basic_map *bmap)) in isl_map_transform()
6233 __isl_give isl_basic_map *isl_basic_map_from_domain( in isl_basic_map_from_domain()
6239 __isl_give isl_basic_map *isl_basic_map_from_range( in isl_basic_map_from_range()
6271 __isl_give isl_basic_map *isl_basic_map_from_domain_and_range( in isl_basic_map_from_domain_and_range()
6299 (n - 1) * sizeof(struct isl_basic_map *)); in isl_map_alloc_space()
6316 __isl_give isl_basic_map *isl_basic_map_empty(__isl_take isl_space *space) in isl_basic_map_empty()
6318 struct isl_basic_map *bmap; in isl_basic_map_empty()
6332 __isl_give isl_basic_map *isl_basic_map_universe(__isl_take isl_space *space) in isl_basic_map_universe()
6334 struct isl_basic_map *bmap; in isl_basic_map_universe()
6348 __isl_give isl_basic_map *isl_basic_map_nat_universe( in isl_basic_map_nat_universe()
6353 isl_basic_map *bmap; in isl_basic_map_nat_universe()
6447 __isl_take isl_basic_map *bmap) in isl_map_add_basic_map()
6490 static __isl_give isl_basic_map *isl_basic_map_fix_pos_si( in isl_basic_map_fix_pos_si()
6491 __isl_take isl_basic_map *bmap, unsigned pos, int value) in isl_basic_map_fix_pos_si()
6515 static __isl_give isl_basic_map *isl_basic_map_fix_pos( in isl_basic_map_fix_pos()
6516 __isl_take isl_basic_map *bmap, unsigned pos, isl_int value) in isl_basic_map_fix_pos()
6540 __isl_give isl_basic_map *isl_basic_map_fix_si(__isl_take isl_basic_map *bmap, in isl_basic_map_fix_si()
6549 __isl_give isl_basic_map *isl_basic_map_fix(__isl_take isl_basic_map *bmap, in isl_basic_map_fix()
6561 __isl_give isl_basic_map *isl_basic_map_fix_val(__isl_take isl_basic_map *bmap, in isl_basic_map_fix_val()
6639 __isl_give isl_basic_map *(*fn)(__isl_take isl_basic_map *bmap)) in isl_map_inline_foreach_basic_map()
6641 struct isl_basic_map *bmap; in isl_map_inline_foreach_basic_map()
6770 static __isl_give isl_basic_map *basic_map_bound_si( in basic_map_bound_si()
6771 __isl_take isl_basic_map *bmap, in basic_map_bound_si()
6803 __isl_give isl_basic_map *isl_basic_map_lower_bound_si( in isl_basic_map_lower_bound_si()
6804 __isl_take isl_basic_map *bmap, in isl_basic_map_lower_bound_si()
6812 __isl_give isl_basic_map *isl_basic_map_upper_bound_si( in isl_basic_map_upper_bound_si()
6813 __isl_take isl_basic_map *bmap, in isl_basic_map_upper_bound_si()
6868 static __isl_give isl_basic_map *basic_map_bound( in basic_map_bound()
6869 __isl_take isl_basic_map *bmap, in basic_map_bound()
7459 __isl_give isl_map *isl_basic_map_lexmax(__isl_take isl_basic_map *bmap) in isl_basic_map_lexmax()
7492 static __isl_give isl_pw_aff *basic_map_dim_opt(__isl_keep isl_basic_map *bmap, in basic_map_dim_opt()
7867 static __isl_give isl_basic_map *insert_divs_from_local_space( in insert_divs_from_local_space()
7868 __isl_take isl_basic_map *bmap, __isl_keep isl_local_space *ls) in insert_divs_from_local_space()
7899 static __isl_give isl_basic_map *basic_replace_space_by_local_space( in basic_replace_space_by_local_space()
7900 __isl_take isl_basic_map *bmap, __isl_take isl_local_space *ls) in basic_replace_space_by_local_space()
7971 static __isl_give isl_map *compute_divs(__isl_take isl_basic_map *bmap) in compute_divs()
8026 __isl_give isl_basic_map *isl_basic_map_mark_div_unknown( in isl_basic_map_mark_div_unknown()
8027 __isl_take isl_basic_map *bmap, int div) in isl_basic_map_mark_div_unknown()
8051 isl_bool isl_basic_map_div_is_marked_unknown(__isl_keep isl_basic_map *bmap, in isl_basic_map_div_is_marked_unknown()
8065 int isl_basic_map_first_unknown_div(__isl_keep isl_basic_map *bmap) in isl_basic_map_first_unknown_div()
8092 isl_bool isl_basic_map_divs_known(__isl_keep isl_basic_map *bmap) in isl_basic_map_divs_known()
8128 __isl_give isl_map *isl_basic_map_compute_divs(__isl_take isl_basic_map *bmap) in isl_basic_map_compute_divs()
8362 __isl_give isl_basic_map *fn(__isl_take isl_basic_map *bmap, in map_intersect_set()
8736 isl_bool isl_basic_map_is_transformation(__isl_keep isl_basic_map *bmap) in isl_basic_map_is_transformation()
8748 __isl_keep isl_basic_map *bmap) in isl_basic_map_check_transformation()
8764 __isl_give isl_basic_set *isl_basic_map_deltas(__isl_take isl_basic_map *bmap) in isl_basic_map_deltas()
8888 __isl_give isl_basic_map *isl_basic_map_deltas_map( in isl_basic_map_deltas_map()
8889 __isl_take isl_basic_map *bmap) in isl_basic_map_deltas_map()
8893 isl_basic_map *domain; in isl_basic_map_deltas_map()
8960 __isl_give isl_basic_map *isl_basic_map_identity(__isl_take isl_space *space) in isl_basic_map_identity()
9173 isl_bool isl_basic_map_is_subset(__isl_keep isl_basic_map *bmap1, in isl_basic_map_is_subset()
9174 __isl_keep isl_basic_map *bmap2) in isl_basic_map_is_subset()
9200 isl_bool isl_basic_map_is_equal(__isl_keep isl_basic_map *bmap1, in isl_basic_map_is_equal()
9201 __isl_keep isl_basic_map *bmap2) in isl_basic_map_is_equal()
9254 #define TYPE isl_basic_map
9286 #define TYPE2 isl_basic_map
9332 isl_bool isl_basic_map_is_strict_subset(__isl_keep isl_basic_map *bmap1, in isl_basic_map_is_strict_subset()
9333 __isl_keep isl_basic_map *bmap2) in isl_basic_map_is_strict_subset()
9370 isl_bool isl_basic_map_plain_is_universe(__isl_keep isl_basic_map *bmap) in isl_basic_map_plain_is_universe()
9410 isl_bool isl_basic_map_is_universe(__isl_keep isl_basic_map *bmap) in isl_basic_map_is_universe()
9414 isl_basic_map *test; in isl_basic_map_is_universe()
9464 isl_bool isl_basic_map_is_empty(__isl_keep isl_basic_map *bmap) in isl_basic_map_is_empty()
9480 struct isl_basic_map *copy = isl_basic_map_copy(bmap); in isl_basic_map_is_empty()
9509 isl_bool isl_basic_map_plain_is_empty(__isl_keep isl_basic_map *bmap) in isl_basic_map_plain_is_empty()
9527 isl_bool isl_basic_map_plain_is_non_empty(__isl_keep isl_basic_map *bmap) in isl_basic_map_plain_is_non_empty()
9548 __isl_give isl_map *isl_basic_map_union(__isl_take isl_basic_map *bmap1, in isl_basic_map_union()
9549 __isl_take isl_basic_map *bmap2) in isl_basic_map_union()
9576 __isl_give isl_basic_map *isl_basic_map_order_divs( in isl_basic_map_order_divs()
9577 __isl_take isl_basic_map *bmap) in isl_basic_map_order_divs()
9643 __isl_give isl_basic_map *isl_basic_map_expand_divs( in isl_basic_map_expand_divs()
9644 __isl_take isl_basic_map *bmap, __isl_take isl_mat *div, int *exp) in isl_basic_map_expand_divs()
9711 static int find_div(__isl_keep isl_basic_map *dst, in find_div()
9712 __isl_keep isl_basic_map *src, unsigned div) in find_div()
9748 __isl_give isl_basic_map *isl_basic_map_align_divs( in isl_basic_map_align_divs()
9749 __isl_take isl_basic_map *dst, __isl_keep isl_basic_map *src) in isl_basic_map_align_divs()
9866 isl_basic_map *bmap; in isl_map_align_divs_to_basic_map_list()
9883 __isl_take isl_basic_map_list *list, __isl_keep isl_basic_map *bmap) in isl_basic_map_list_align_divs_to_basic_map()
9893 isl_basic_map *bmap_i; in isl_basic_map_list_align_divs_to_basic_map()
9948 static __isl_give isl_basic_map *join_initial(__isl_keep isl_basic_set *bset1, in join_initial()
9951 isl_basic_map *bmap1; in join_initial()
9952 isl_basic_map *bmap2; in join_initial()
9971 isl_basic_map *bmap1; in basic_set_maximal_difference_at()
10057 isl_basic_map *bmap; in isl_basic_set_follows_at()
10121 __isl_keep isl_basic_map *bmap, unsigned pos, isl_int *val) in isl_basic_map_plain_has_fixed_var()
10185 isl_bool isl_basic_map_plain_is_fixed(__isl_keep isl_basic_map *bmap, in isl_basic_map_plain_is_fixed()
10199 __isl_keep isl_basic_map *bmap, in isl_basic_map_plain_get_val_if_fixed()
10360 int isl_basic_map_constraint_cmp(__isl_keep isl_basic_map *bmap, in isl_basic_map_constraint_cmp()
10373 __isl_give isl_basic_map *isl_basic_map_sort_constraints( in isl_basic_map_sort_constraints()
10374 __isl_take isl_basic_map *bmap) in isl_basic_map_sort_constraints()
10399 isl_basic_map *bmap = bset_to_bmap(bset); in isl_basic_set_sort_constraints()
10403 __isl_give isl_basic_map *isl_basic_map_normalize( in isl_basic_map_normalize()
10404 __isl_take isl_basic_map *bmap) in isl_basic_map_normalize()
10410 int isl_basic_map_plain_cmp(__isl_keep isl_basic_map *bmap1, in isl_basic_map_plain_cmp()
10411 __isl_keep isl_basic_map *bmap2) in isl_basic_map_plain_cmp()
10500 isl_bool isl_basic_map_plain_is_equal(__isl_keep isl_basic_map *bmap1, in isl_basic_map_plain_is_equal()
10501 __isl_keep isl_basic_map *bmap2) in isl_basic_map_plain_is_equal()
10517 isl_basic_map *bmap1 = *(isl_basic_map **) p1; in qsort_bmap_cmp()
10518 isl_basic_map *bmap2 = *(isl_basic_map **) p2; in qsort_bmap_cmp()
10536 qsort(map->p, map->n, sizeof(struct isl_basic_map *), qsort_bmap_cmp); in sort_and_remove_duplicates()
10562 isl_basic_map *bmap; in isl_map_remove_obvious_duplicates()
10590 struct isl_basic_map *bmap; in isl_map_normalize()
10675 isl_basic_map *bmap; in isl_map_get_basic_map_list()
10687 __isl_give isl_basic_map *isl_basic_map_list_intersect( in isl_basic_map_list_intersect()
10692 isl_basic_map *bmap; in isl_basic_map_list_intersect()
10703 isl_basic_map *bmap_i; in isl_basic_map_list_intersect()
10792 __isl_give isl_basic_map *isl_basic_map_product( in isl_basic_map_product()
10793 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_product()
10796 struct isl_basic_map *bmap; in isl_basic_map_product()
10837 __isl_give isl_basic_map *isl_basic_map_flat_product( in isl_basic_map_flat_product()
10838 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_flat_product()
10840 isl_basic_map *prod; in isl_basic_map_flat_product()
10853 __isl_give isl_basic_map *isl_basic_map_domain_product( in isl_basic_map_domain_product()
10854 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_domain_product()
10858 isl_basic_map *bmap; in isl_basic_map_domain_product()
10900 __isl_give isl_basic_map *isl_basic_map_range_product( in isl_basic_map_range_product()
10901 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_range_product()
10905 isl_basic_map *bmap; in isl_basic_map_range_product()
10954 __isl_give isl_basic_map *isl_basic_map_flat_range_product( in isl_basic_map_flat_range_product()
10955 __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2) in isl_basic_map_flat_range_product()
10957 isl_basic_map *prod; in isl_basic_map_flat_range_product()
10976 __isl_give isl_basic_map *(*basic_map_product)( in map_product()
10977 __isl_take isl_basic_map *left, in map_product()
10978 __isl_take isl_basic_map *right), in map_product()
11004 struct isl_basic_map *part; in map_product()
11263 uint32_t isl_basic_map_get_hash(__isl_keep isl_basic_map *bmap) in isl_basic_map_get_hash()
11348 isl_stat (*fn)(__isl_take isl_basic_map *bmap, void *user), void *user) in isl_map_foreach_basic_map()
11516 static isl_bool basic_map_dim_is_bounded(__isl_keep isl_basic_map *bmap, in basic_map_dim_is_bounded()
11548 isl_bool isl_basic_map_dim_is_bounded(__isl_keep isl_basic_map *bmap, in isl_basic_map_dim_is_bounded()
11554 isl_bool isl_basic_map_dim_has_lower_bound(__isl_keep isl_basic_map *bmap, in isl_basic_map_dim_has_lower_bound()
11560 isl_bool isl_basic_map_dim_has_upper_bound(__isl_keep isl_basic_map *bmap, in isl_basic_map_dim_has_upper_bound()
11597 isl_bool (*fn)(__isl_keep isl_basic_map *bmap, in has_any_bound()
11637 isl_bool (*fn)(__isl_keep isl_basic_map *bmap, in has_bound()
11757 static isl_bool div_may_involve_output(__isl_keep isl_basic_map *bmap, int div) in div_may_involve_output()
11797 static int first_div_may_involve_output(__isl_keep isl_basic_map *bmap, in first_div_may_involve_output()
11835 static int find_modulo_constraint_pair(__isl_keep isl_basic_map *bmap, in find_modulo_constraint_pair()
11913 int isl_basic_map_output_defining_equality(__isl_keep isl_basic_map *bmap, in isl_basic_map_output_defining_equality()
11969 isl_bool isl_basic_map_plain_is_single_valued(__isl_keep isl_basic_map *bmap) in isl_basic_map_plain_is_single_valued()
11999 isl_bool isl_basic_map_is_single_valued(__isl_keep isl_basic_map *bmap) in isl_basic_map_is_single_valued()
12002 isl_basic_map *test; in isl_basic_map_is_single_valued()
12003 isl_basic_map *id; in isl_basic_map_is_single_valued()
12282 __isl_give isl_basic_set *isl_basic_map_wrap(__isl_take isl_basic_map *bmap) in isl_basic_map_wrap()
12302 __isl_give isl_basic_map *isl_basic_set_unwrap(__isl_take isl_basic_set *bset) in isl_basic_set_unwrap()
12329 __isl_give isl_basic_map *isl_basic_map_reset(__isl_take isl_basic_map *bmap, in isl_basic_map_reset()
12375 __isl_give isl_basic_map *isl_basic_map_flatten(__isl_take isl_basic_map *bmap) in isl_basic_map_flatten()
12393 __isl_give isl_basic_map *isl_basic_map_flatten_domain( in isl_basic_map_flatten_domain()
12394 __isl_take isl_basic_map *bmap) in isl_basic_map_flatten_domain()
12407 __isl_give isl_basic_map *isl_basic_map_flatten_range( in isl_basic_map_flatten_range()
12408 __isl_take isl_basic_map *bmap) in isl_basic_map_flatten_range()
12483 __isl_give isl_basic_map *isl_basic_map_realign(__isl_take isl_basic_map *bmap, in isl_basic_map_realign()
12486 isl_basic_map *res; in isl_basic_map_realign()
12601 __isl_give isl_basic_map *isl_basic_map_align_params( in isl_basic_map_align_params()
12602 __isl_take isl_basic_map *bmap, __isl_take isl_space *model) in isl_basic_map_align_params()
12695 #define TYPE isl_basic_map
12931 __isl_keep isl_basic_map *bmap, enum isl_dim_type c1, in isl_basic_map_equalities_matrix()
12964 __isl_keep isl_basic_map *bmap, enum isl_dim_type c1, in isl_basic_map_inequalities_matrix()
12996 __isl_give isl_basic_map *isl_basic_map_from_constraint_matrices( in isl_basic_map_from_constraint_matrices()
13003 isl_basic_map *bmap = NULL; in isl_basic_map_from_constraint_matrices()
13105 isl_basic_map *bmap; in isl_basic_set_from_constraint_matrices()
13111 isl_bool isl_basic_map_can_zip(__isl_keep isl_basic_map *bmap) in isl_basic_map_can_zip()
13130 __isl_give isl_basic_map *isl_basic_map_zip(__isl_take isl_basic_map *bmap) in isl_basic_map_zip()
13184 isl_bool isl_basic_map_can_curry(__isl_keep isl_basic_map *bmap) in isl_basic_map_can_curry()
13206 __isl_give isl_basic_map *isl_basic_map_curry(__isl_take isl_basic_map *bmap) in isl_basic_map_curry()
13262 isl_bool isl_basic_map_can_uncurry(__isl_keep isl_basic_map *bmap) in isl_basic_map_can_uncurry()
13284 __isl_give isl_basic_map *isl_basic_map_uncurry(__isl_take isl_basic_map *bmap) in isl_basic_map_uncurry()
13321 static __isl_give isl_basic_map *equator(__isl_take isl_space *space, in equator()
13324 isl_basic_map *bmap = NULL; in equator()
13357 __isl_give isl_basic_map *isl_basic_map_equate(__isl_take isl_basic_map *bmap, in isl_basic_map_equate()
13360 isl_basic_map *eq; in isl_basic_map_equate()
13374 isl_basic_map *bmap; in isl_map_equate()
13388 isl_basic_map *bmap = NULL; in isl_map_oppose()
13449 __isl_give isl_basic_map *isl_basic_map_order_ge(__isl_take isl_basic_map *bmap, in isl_basic_map_order_ge()
13494 static __isl_give isl_basic_map *greator(__isl_take isl_space *space, in greator()
13497 isl_basic_map *bmap = NULL; in greator()
13531 __isl_give isl_basic_map *isl_basic_map_order_gt(__isl_take isl_basic_map *bmap, in isl_basic_map_order_gt()
13534 isl_basic_map *gt; in isl_basic_map_order_gt()
13549 isl_basic_map *bmap; in isl_map_order_gt()
13567 __isl_give isl_aff *isl_basic_map_get_div(__isl_keep isl_basic_map *bmap, in isl_basic_map_get_div()
13612 __isl_keep isl_basic_map *bmap, enum isl_dim_type type, in check_basic_map_compatible_range_multi_aff()
13645 static __isl_give isl_basic_map *set_ma_divs(__isl_take isl_basic_map *bmap, in set_ma_divs()
13727 static __isl_give isl_basic_map *add_ma_strides( in add_ma_strides()
13728 __isl_take isl_basic_map *bmap, __isl_keep isl_multi_aff *ma, in add_ma_strides()
13841 __isl_give isl_basic_map *isl_basic_map_preimage_multi_aff( in isl_basic_map_preimage_multi_aff()
13842 __isl_take isl_basic_map *bmap, enum isl_dim_type type, in isl_basic_map_preimage_multi_aff()
13847 isl_basic_map *res = NULL; in isl_basic_map_preimage_multi_aff()
13962 __isl_give isl_basic_map *isl_basic_map_preimage_domain_multi_aff( in isl_basic_map_preimage_domain_multi_aff()
13963 __isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma) in isl_basic_map_preimage_domain_multi_aff()
13974 __isl_give isl_basic_map *isl_basic_map_preimage_range_multi_aff( in isl_basic_map_preimage_range_multi_aff()
13975 __isl_take isl_basic_map *bmap, __isl_take isl_multi_aff *ma) in isl_basic_map_preimage_range_multi_aff()
14330 __isl_keep isl_basic_map *bmap, int ineq, int pos) in isl_basic_map_inequality_extract_output_upper_bound()
14371 static isl_bool is_potential_div_constraint(__isl_keep isl_basic_map *bmap, in is_potential_div_constraint()
14427 __isl_keep isl_basic_map *bmap, int pos) in isl_basic_map_find_output_upper_div_constraint()
14498 isl_bool isl_basic_map_equal_div_expr_part(__isl_keep isl_basic_map *bmap1, in isl_basic_map_equal_div_expr_part()
14499 int pos1, __isl_keep isl_basic_map *bmap2, int pos2, in isl_basic_map_equal_div_expr_part()
14515 __isl_keep isl_basic_map *bmap1, int pos1, in isl_basic_map_equal_div_expr_except_constant()
14516 __isl_keep isl_basic_map *bmap2, int pos2) in isl_basic_map_equal_div_expr_except_constant()
14545 __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()
14546 __isl_take isl_basic_map *bmap, int div, int value) in isl_basic_map_set_div_expr_constant_num_si_inplace()
14630 __isl_give isl_basic_map *isl_basic_map_transform_dims( in isl_basic_map_transform_dims()
14631 __isl_take isl_basic_map *bmap, enum isl_dim_type type, unsigned first, in isl_basic_map_transform_dims()