31 static void swap_equality(__isl_keep isl_basic_map *bmap, int a, int b)  in swap_equality()
38 static void swap_inequality(__isl_keep isl_basic_map *bmap, int a, int b)  in swap_inequality()
47 __isl_give isl_basic_map *isl_basic_map_normalize_constraints(  in isl_basic_map_normalize_constraints()
48 	__isl_take isl_basic_map *bmap)  in isl_basic_map_normalize_constraints()
110 	isl_basic_map *bmap = bset_to_bmap(bset);  in isl_basic_set_normalize_constraints()
134 static __isl_give isl_basic_map *reduce_coefficient_in_div(  in reduce_coefficient_in_div()
135 	__isl_take isl_basic_map *bmap, int div, int pos)  in reduce_coefficient_in_div()
160 static isl_bool needs_reduction(__isl_keep isl_basic_map *bmap, int div,  in needs_reduction()
182 static __isl_give isl_basic_map *reduce_div_coefficients_of_div(  in reduce_div_coefficients_of_div()
183 	__isl_take isl_basic_map *bmap, int div)  in reduce_div_coefficients_of_div()
212 static __isl_give isl_basic_map *reduce_div_coefficients(  in reduce_div_coefficients()
213 	__isl_take isl_basic_map *bmap)  in reduce_div_coefficients()
246 static __isl_give isl_basic_map *normalize_div_expression(  in normalize_div_expression()
247 	__isl_take isl_basic_map *bmap, int div)  in normalize_div_expression()
283 static __isl_give isl_basic_map *normalize_div_expressions(  in normalize_div_expressions()
284 	__isl_take isl_basic_map *bmap)  in normalize_div_expressions()
301 static __isl_give isl_basic_map *eliminate_var_using_equality(  in eliminate_var_using_equality()
302 	__isl_take isl_basic_map *bmap,  in eliminate_var_using_equality()
366 static __isl_give isl_basic_map *eliminate_div(__isl_take isl_basic_map *bmap,  in eliminate_div()
386 static isl_bool ok_to_eliminate_div(__isl_keep isl_basic_map *bmap, isl_int *eq,  in ok_to_eliminate_div()
415 static __isl_give isl_basic_map *eliminate_divs_eq(  in eliminate_divs_eq()
416 	__isl_take isl_basic_map *bmap, int *progress)  in eliminate_divs_eq()
457 static __isl_give isl_basic_map *eliminate_divs_ineq(  in eliminate_divs_ineq()
458 	__isl_take isl_basic_map *bmap, int *progress)  in eliminate_divs_ineq()
497 static isl_bool bmap_eq_involves_unknown_divs(__isl_keep isl_basic_map *bmap,  in bmap_eq_involves_unknown_divs()
545 static __isl_give isl_basic_map *set_div_from_eq(__isl_take isl_basic_map *bmap,  in set_div_from_eq()
596 __isl_give isl_basic_map *isl_basic_map_gauss5(__isl_take isl_basic_map *bmap,  in isl_basic_map_gauss5()
661 __isl_give isl_basic_map *isl_basic_map_gauss(__isl_take isl_basic_map *bmap,  in isl_basic_map_gauss()
704 	__isl_keep isl_basic_map *bmap)  in create_constraint_index()
758 	__isl_keep isl_basic_map *bmap, int k)  in hash_index()
816 static __isl_give isl_basic_map *remove_duplicate_divs(  in remove_duplicate_divs()
817 	__isl_take isl_basic_map *bmap, int *progress)  in remove_duplicate_divs()
897 static int n_pure_div_eq(__isl_keep isl_basic_map *bmap)  in n_pure_div_eq()
964 static __isl_give isl_basic_map *normalize_divs(__isl_take isl_basic_map *bmap,  in normalize_divs()
1117 static __isl_give isl_basic_map *set_div_from_lower_bound(  in set_div_from_lower_bound()
1118 	__isl_take isl_basic_map *bmap, int div, int ineq)  in set_div_from_lower_bound()
1137 static isl_bool ok_to_set_div_from_bound(__isl_keep isl_basic_map *bmap,  in ok_to_set_div_from_bound()
1174 static isl_bool better_div_constraint(__isl_keep isl_basic_map *bmap,  in better_div_constraint()
1207 static __isl_give isl_basic_map *check_for_div_constraints(  in check_for_div_constraints()
1208 	__isl_take isl_basic_map *bmap, int k, int l, isl_int sum,  in check_for_div_constraints()
1239 __isl_give isl_basic_map *isl_basic_map_remove_duplicate_constraints(  in isl_basic_map_remove_duplicate_constraints()
1240 	__isl_take isl_basic_map *bmap, int *progress, int detect_divs)  in isl_basic_map_remove_duplicate_constraints()
1309 __isl_give isl_basic_map *isl_basic_map_detect_inequality_pairs(  in isl_basic_map_detect_inequality_pairs()
1310 	__isl_take isl_basic_map *bmap, int *progress)  in isl_basic_map_detect_inequality_pairs()
1360 static __isl_give isl_basic_map *eliminate_unit_div(  in eliminate_unit_div()
1361 	__isl_take isl_basic_map *bmap, int div, int *progress)  in eliminate_unit_div()
1422 static __isl_give isl_basic_map *eliminate_selected_unit_divs(  in eliminate_selected_unit_divs()
1423 	__isl_take isl_basic_map *bmap,  in eliminate_selected_unit_divs()
1424 	isl_bool (*select)(__isl_keep isl_basic_map *bmap, int div),  in eliminate_selected_unit_divs()
1455 static isl_bool is_any_div(__isl_keep isl_basic_map *bmap, int div)  in is_any_div()
1465 static __isl_give isl_basic_map *eliminate_unit_divs(  in eliminate_unit_divs()
1466 	__isl_take isl_basic_map *bmap, int *progress)  in eliminate_unit_divs()
1476 static isl_bool is_pure_unit_div(__isl_keep isl_basic_map *bmap, int div)  in is_pure_unit_div()
1510 __isl_give isl_basic_map *isl_basic_map_eliminate_pure_unit_divs(  in isl_basic_map_eliminate_pure_unit_divs()
1511 	__isl_take isl_basic_map *bmap)  in isl_basic_map_eliminate_pure_unit_divs()
1516 __isl_give isl_basic_map *isl_basic_map_simplify(__isl_take isl_basic_map *bmap)  in isl_basic_map_simplify()
1555 isl_bool isl_basic_map_is_div_constraint(__isl_keep isl_basic_map *bmap,  in isl_basic_map_is_div_constraint()
1599 static isl_bool div_is_redundant(__isl_keep isl_basic_map *bmap, int div)  in div_is_redundant()
1638 static __isl_give isl_basic_map *remove_redundant_divs(  in remove_redundant_divs()
1639 	__isl_take isl_basic_map *bmap)  in remove_redundant_divs()
1667 __isl_give isl_basic_map *isl_basic_map_mark_final(  in isl_basic_map_mark_final()
1668 	__isl_take isl_basic_map *bmap)  in isl_basic_map_mark_final()
1678 __isl_give isl_basic_map *isl_basic_map_finalize(__isl_take isl_basic_map *bmap)  in isl_basic_map_finalize()
1695 static __isl_give isl_basic_map *remove_dependent_vars(  in remove_dependent_vars()
1696 	__isl_take isl_basic_map *bmap, int pos)  in remove_dependent_vars()
1718 __isl_give isl_basic_map *isl_basic_map_eliminate_vars(  in isl_basic_map_eliminate_vars()
1719 	__isl_take isl_basic_map *bmap, unsigned pos, unsigned n)  in isl_basic_map_eliminate_vars()
1825 __isl_give isl_basic_map *isl_basic_map_eliminate(  in isl_basic_map_eliminate()
1826 	__isl_take isl_basic_map *bmap,  in isl_basic_map_eliminate()
1870 __isl_give isl_basic_map *isl_basic_map_drop_constraints_involving_unknown_divs(  in isl_basic_map_drop_constraints_involving_unknown_divs()
1871 	__isl_take isl_basic_map *bmap)  in isl_basic_map_drop_constraints_involving_unknown_divs()
1912 	isl_basic_map *bmap;  in isl_basic_set_drop_constraints_involving_unknown_divs()
1958 static void compute_elimination_index(__isl_keep isl_basic_map *bmap, int *elim,  in compute_elimination_index()
1982 	__isl_keep isl_basic_map *bmap, int *elim, unsigned total)  in reduced_using_equalities()
2139 static __isl_give isl_basic_map *isl_basic_map_remove_shifted_constraints(  in isl_basic_map_remove_shifted_constraints()
2140 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_map *context)  in isl_basic_map_remove_shifted_constraints()
2190 static __isl_give isl_basic_map *drop_unrelated_constraints(  in drop_unrelated_constraints()
2191 	__isl_take isl_basic_map *bmap, int *relevant)  in drop_unrelated_constraints()
2290 __isl_give isl_basic_map *isl_basic_map_drop_unrelated_constraints(  in isl_basic_map_drop_unrelated_constraints()
2291 	__isl_take isl_basic_map *bmap, __isl_take int *group)  in isl_basic_map_drop_unrelated_constraints()
2873 static int n_div_eq(__isl_keep isl_basic_map *bmap)  in n_div_eq()
2901 static __isl_give isl_basic_map *basic_map_from_equalities(  in basic_map_from_equalities()
2906 	isl_basic_map *bmap = NULL;  in basic_map_from_equalities()
2956 	__isl_keep isl_basic_map *bmap1, int n1,  in combined_variable_compression()
2957 	__isl_keep isl_basic_map *bmap2, int n2, int total)  in combined_variable_compression()
2961 	isl_basic_map *bmap;  in combined_variable_compression()
3023 	__isl_keep isl_basic_map *bmap, int bmap_n_eq,  in extract_compressed_stride_constraints()
3024 	__isl_keep isl_basic_map *context, int context_n_eq)  in extract_compressed_stride_constraints()
3153 static __isl_give isl_basic_map *reduce_stride_constraints(  in reduce_stride_constraints()
3154 	__isl_take isl_basic_map *bmap, int n, __isl_keep isl_mat *A)  in reduce_stride_constraints()
3214 static __isl_give isl_basic_map *gist_strides(__isl_take isl_basic_map *bmap,  in gist_strides()
3215 	__isl_keep isl_basic_map *context)  in gist_strides()
3260 __isl_give isl_basic_map *isl_basic_map_gist(__isl_take isl_basic_map *bmap,  in isl_basic_map_gist()
3261 	__isl_take isl_basic_map *context)  in isl_basic_map_gist()
3264 	isl_basic_map *eq_bmap;  in isl_basic_map_gist()
3335 	__isl_take isl_basic_map *context)  in isl_map_gist_basic_map()
3390 static __isl_give isl_basic_map *drop_inequalities(  in drop_inequalities()
3391 	__isl_take isl_basic_map *bmap, __isl_keep isl_basic_map *context)  in drop_inequalities()
3447 static __isl_give isl_basic_map *drop_equalities(  in drop_equalities()
3448 	__isl_take isl_basic_map *bmap, __isl_keep isl_basic_map *context)  in drop_equalities()
3500 __isl_give isl_basic_map *isl_basic_map_plain_gist(  in isl_basic_map_plain_gist()
3501 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_map *context)  in isl_basic_map_plain_gist()
3546 	int pos, __isl_take isl_basic_map *context)  in replace_by_disjunct()
3548 	isl_basic_map *bmap;  in replace_by_disjunct()
3563 	__isl_take isl_basic_map *context)  in isl_map_plain_gist_basic_map()
3628 	isl_basic_map *hull;  in isl_map_plain_gist()
3679 	isl_basic_map *hull;  in isl_map_gist()
3765 __isl_give isl_basic_map *isl_basic_map_gist_domain(  in isl_basic_map_gist_domain()
3766 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *context)  in isl_basic_map_gist_domain()
3769 	isl_basic_map *bmap_context = isl_basic_map_universe(space);  in isl_basic_map_gist_domain()
3810 isl_bool isl_basic_map_plain_is_disjoint(__isl_keep isl_basic_map *bmap1,  in isl_basic_map_plain_is_disjoint()
3811 	__isl_keep isl_basic_map *bmap2)  in isl_basic_map_plain_is_disjoint()
3885 	isl_bool (*test)(__isl_keep isl_basic_map *bmap1,  in all_pairs()
3886 		__isl_keep isl_basic_map *bmap2))  in all_pairs()
4034 isl_bool isl_basic_map_is_disjoint(__isl_keep isl_basic_map *bmap1,  in isl_basic_map_is_disjoint()
4035 	__isl_keep isl_basic_map *bmap2)  in isl_basic_map_is_disjoint()
4039 	isl_basic_map *test;  in isl_basic_map_is_disjoint()
4100 static int is_opposite_part(__isl_keep isl_basic_map *bmap, int i, int j,  in is_opposite_part()
4109 static isl_bool is_opposite(__isl_keep isl_basic_map *bmap, int i, int j)  in is_opposite()
4150 static int div_find_coalesce(__isl_keep isl_basic_map *bmap, int *pairs,  in div_find_coalesce()
4270 static isl_bool test_ineq_is_satisfied(__isl_keep isl_basic_map *bmap,  in test_ineq_is_satisfied()
4337 static isl_bool int_between_bounds(__isl_keep isl_basic_map *bmap, int i,  in int_between_bounds()
4391 static __isl_give isl_basic_map *drop_more_redundant_divs(  in drop_more_redundant_divs()
4392 	__isl_take isl_basic_map *bmap, __isl_take int *pairs, int n)  in drop_more_redundant_divs()
4527 static __isl_give isl_basic_map *coalesce_divs(__isl_take isl_basic_map *bmap,  in coalesce_divs()
4586 static __isl_give isl_basic_map *coalesce_or_drop_more_redundant_divs(  in coalesce_or_drop_more_redundant_divs()
4587 	__isl_take isl_basic_map *bmap, int *pairs, int n)  in coalesce_or_drop_more_redundant_divs()
4636 static int is_parallel_part(__isl_keep isl_basic_map *bmap, int i, int j,  in is_parallel_part()
4645 static isl_bool is_parallel_except(__isl_keep isl_basic_map *bmap, int i, int j,  in is_parallel_except()
4660 static isl_bool is_opposite_except(__isl_keep isl_basic_map *bmap, int i, int j,  in is_opposite_except()
4677 static __isl_give isl_basic_map *drop_redundant_divs_again(  in drop_redundant_divs_again()
4678 	__isl_take isl_basic_map *bmap, __isl_take int *pairs, int simplify)  in drop_redundant_divs_again()
4690 static isl_bool single_unknown(__isl_keep isl_basic_map *bmap, int ineq,  in single_unknown()
4725 static isl_bool has_coef_one(__isl_keep isl_basic_map *bmap, int div, int ineq)  in has_coef_one()
4741 static __isl_give isl_basic_map *set_eq_and_try_again(  in set_eq_and_try_again()
4742 	__isl_take isl_basic_map *bmap, int ineq, __isl_take int *pairs)  in set_eq_and_try_again()
4755 static __isl_give isl_basic_map *drop_div_and_try_again(  in drop_div_and_try_again()
4756 	__isl_take isl_basic_map *bmap, int div, int ineq1, int ineq2,  in drop_div_and_try_again()
4786 static void lower_bound_from_parallel(__isl_keep isl_basic_map *bmap,  in lower_bound_from_parallel()
4810 static void lower_bound_from_opposite(__isl_keep isl_basic_map *bmap,  in lower_bound_from_opposite()
4845 static int lower_bound_is_cst(__isl_keep isl_basic_map *bmap, int div, int ineq)  in lower_bound_is_cst()
4915 static __isl_give isl_basic_map *fix_cst_lower(__isl_take isl_basic_map *bmap,  in fix_cst_lower()
4938 static isl_bool any_div_involves_div(__isl_keep isl_basic_map *bmap, int div)  in any_div_involves_div()
5005 static __isl_give isl_basic_map *isl_basic_map_drop_redundant_divs_ineq(  in isl_basic_map_drop_redundant_divs_ineq()
5006 	__isl_take isl_basic_map *bmap)  in isl_basic_map_drop_redundant_divs_ineq()
5168 static __isl_give isl_basic_map *isl_basic_map_preimage_vars(  in isl_basic_map_preimage_vars()
5169 	__isl_take isl_basic_map *bmap, unsigned pos, __isl_take isl_mat *T)  in isl_basic_map_preimage_vars()
5249 __isl_give isl_basic_map *isl_basic_map_drop_redundant_divs(  in isl_basic_map_drop_redundant_divs()
5250 	__isl_take isl_basic_map *bmap)  in isl_basic_map_drop_redundant_divs()
5313 static isl_bool has_multiple_var_equality(__isl_keep isl_basic_map *bmap)  in has_multiple_var_equality()
5409 __isl_give isl_basic_map *isl_basic_map_reduce_coefficients(  in isl_basic_map_reduce_coefficients()
5410 	__isl_take isl_basic_map *bmap)  in isl_basic_map_reduce_coefficients()
5506 __isl_give isl_basic_map *isl_basic_map_shift_div(  in isl_basic_map_shift_div()
5507 	__isl_take isl_basic_map *bmap, int div, int pos, isl_int shift)  in isl_basic_map_shift_div()