49 static char *get_filename(isl_ctx *ctx, const char *name, const char *suffix) {  in get_filename()
66 void test_parse_map(isl_ctx *ctx, const char *str)  in test_parse_map()
75 int test_parse_map_equal(isl_ctx *ctx, const char *str, const char *str2)  in test_parse_map_equal()
95 void test_parse_pwqp(isl_ctx *ctx, const char *str)  in test_parse_pwqp()
104 static void test_parse_pwaff(isl_ctx *ctx, const char *str)  in test_parse_pwaff()
115 static int test_parse_multi_val(isl_ctx *ctx, const char *str)  in test_parse_multi_val()
186 static isl_stat test_parse_pma(isl_ctx *ctx)  in test_parse_pma()
219 static isl_stat test_parse_upma(isl_ctx *ctx)  in test_parse_upma()
237 static int test_parse_mpa(isl_ctx *ctx)  in test_parse_mpa()
308 static int test_parse_mupa(isl_ctx *ctx)  in test_parse_mupa()
346 static int test_parse_multi(isl_ctx *ctx)  in test_parse_multi()
477 int test_parse(struct isl_ctx *ctx)  in test_parse()
545 static int test_read(isl_ctx *ctx)  in test_read()
578 static int test_bounded(isl_ctx *ctx)  in test_bounded()
618 static int test_construction_1(isl_ctx *ctx)  in test_construction_1()
649 static int test_construction_2(isl_ctx *ctx)  in test_construction_2()
679 static int test_construction(isl_ctx *ctx)  in test_construction()
688 static int test_dim(isl_ctx *ctx)  in test_dim()
748 	isl_ctx *ctx;  in val_check_equal()  local
828 static int test_un_val(isl_ctx *ctx)  in test_un_val()
948 static int test_bin_val(isl_ctx *ctx)  in test_bin_val()
980 static int test_val(isl_ctx *ctx)  in test_val()
1001 static int test_elimination(isl_ctx *ctx)  in test_elimination()
1021 static int test_div(isl_ctx *ctx)  in test_div()
1291 void test_application_case(struct isl_ctx *ctx, const char *name)  in test_application_case()
1319 static int test_application(isl_ctx *ctx)  in test_application()
1327 void test_affine_hull_case(struct isl_ctx *ctx, const char *name)  in test_affine_hull_case()
1367 static int test_recession_cone(struct isl_ctx *ctx)  in test_recession_cone()
1395 int test_affine_hull(struct isl_ctx *ctx)  in test_affine_hull()
1456 static isl_stat test_plain_unshifted_simple_hull_special(isl_ctx *ctx)  in test_plain_unshifted_simple_hull_special()
1506 static int test_various_simple_hull(isl_ctx *ctx)  in test_various_simple_hull()
1533 static int test_simple_hull(struct isl_ctx *ctx)  in test_simple_hull()
1587 static int test_box_hull(struct isl_ctx *ctx)  in test_box_hull()
1619 void test_convex_hull_case(struct isl_ctx *ctx, const char *name)  in test_convex_hull_case()
1674 static int test_convex_hull_algo(isl_ctx *ctx, int convex)  in test_convex_hull_algo()
1720 static int test_convex_hull(isl_ctx *ctx)  in test_convex_hull()
1733 static isl_stat test_gist_empty_pair(isl_ctx *ctx, const char *map,  in test_gist_empty_pair()
1764 static isl_stat test_gist_empty(isl_ctx *ctx)  in test_gist_empty()
1801 static int test_plain_gist(isl_ctx *ctx)  in test_plain_gist()
1843 static isl_stat test_gist_fail(struct isl_ctx *ctx)  in test_gist_fail()
1960 static int test_gist(struct isl_ctx *ctx)  in test_gist()
2062 int test_coalesce_set(isl_ctx *ctx, const char *str, int check_one)  in test_coalesce_set()
2120 int test_coalesce_unbounded_wrapping(isl_ctx *ctx)  in test_coalesce_unbounded_wrapping()
2417 static int test_coalesce_special(struct isl_ctx *ctx)  in test_coalesce_special()
2460 static isl_stat test_coalesce_union(isl_ctx *ctx, const char *str1,  in test_coalesce_union()
2497 static isl_stat test_coalesce_special2(struct isl_ctx *ctx)  in test_coalesce_special2()
2516 static int test_coalesce_special3(isl_ctx *ctx)  in test_coalesce_special3()
2556 static isl_stat test_coalesce_intersection(isl_ctx *ctx,  in test_coalesce_intersection()
2579 static isl_stat test_coalesce_special4(isl_ctx *ctx)  in test_coalesce_special4()
2593 static isl_stat test_coalesce_special5(isl_ctx *ctx)  in test_coalesce_special5()
2607 static isl_stat test_coalesce_special6(isl_ctx *ctx)  in test_coalesce_special6()
2623 static isl_stat test_coalesce_special7(isl_ctx *ctx)  in test_coalesce_special7()
2642 static isl_stat test_coalesce_special8(isl_ctx *ctx)  in test_coalesce_special8()
2658 static int test_coalesce(struct isl_ctx *ctx)  in test_coalesce()
2695 static __isl_give isl_map *cocoa_fig_1_right_graph(isl_ctx *ctx)  in cocoa_fig_1_right_graph()
2718 static __isl_give isl_map *cocoa_fig_1_right_power(isl_ctx *ctx)  in cocoa_fig_1_right_power()
2730 static __isl_give isl_map *cocoa_fig_1_right_tc(isl_ctx *ctx)  in cocoa_fig_1_right_tc()
2735 static int test_closure(isl_ctx *ctx)  in test_closure()
2976 static isl_stat check_bool(isl_ctx *ctx, isl_bool actual, isl_bool expected)  in check_bool()
2991 static int test_isl_bool(isl_ctx *ctx)  in test_isl_bool()
3013 static int test_lex(struct isl_ctx *ctx)  in test_lex()
3082 static int test_lexmin(struct isl_ctx *ctx)  in test_lexmin()
3182 static isl_stat test_pw_max(struct isl_ctx *ctx)  in test_pw_max()
3208 static int test_min_special(isl_ctx *ctx)  in test_min_special()
3243 static int test_min_special2(isl_ctx *ctx)  in test_min_special2()
3271 static isl_stat check_single_expr_min(isl_ctx *ctx, const char *s1,  in check_single_expr_min()
3300 static int test_min_mpa(isl_ctx *ctx)  in test_min_mpa()
3332 static int test_min(struct isl_ctx *ctx)  in test_min()
3485 static int test_dep(struct isl_ctx *ctx)  in test_dep()
3679 static int test_flow(isl_ctx *ctx)  in test_flow()
3717 int test_sv(isl_ctx *ctx)  in test_sv()
3759 static int test_bijective(struct isl_ctx *ctx)  in test_bijective()
3801 static isl_stat test_pwqp_gist(isl_ctx *ctx)  in test_pwqp_gist()
3833 static isl_stat test_pwqp_max(isl_ctx *ctx)  in test_pwqp_max()
3855 static int test_pwqp(struct isl_ctx *ctx)  in test_pwqp()
3944 static int test_split_periods(isl_ctx *ctx)  in test_split_periods()
3964 static int test_union(isl_ctx *ctx)  in test_union()
4039 static isl_stat test_bound_space(isl_ctx *ctx)  in test_bound_space()
4059 static int test_bound(isl_ctx *ctx)  in test_bound()
4130 static int test_get_list(isl_ctx *ctx)  in test_get_list()
4148 static int test_lift(isl_ctx *ctx)  in test_lift()
4171 static isl_stat test_subset_duplicate_integer_divisions(isl_ctx *ctx)  in test_subset_duplicate_integer_divisions()
4240 static int test_subset(isl_ctx *ctx)  in test_subset()
4268 static isl_stat test_subtract_empty(isl_ctx *ctx)  in test_subtract_empty()
4295 static int test_subtract(isl_ctx *ctx)  in test_subtract()
4349 static int test_intersect_1(isl_ctx *ctx)  in test_intersect_1()
4373 static isl_stat test_intersect_2(isl_ctx *ctx)  in test_intersect_2()
4389 static int test_intersect(isl_ctx *ctx)  in test_intersect()
4399 int test_factorize(isl_ctx *ctx)  in test_factorize()
4454 int test_one_schedule(isl_ctx *ctx, const char *d, const char *w,  in test_one_schedule()
4597 static __isl_give isl_union_map *compute_schedule_with_context(isl_ctx *ctx,  in compute_schedule_with_context()
4627 static __isl_give isl_union_map *compute_schedule(isl_ctx *ctx,  in compute_schedule()
4637 static int test_has_schedule(isl_ctx *ctx, const char *domain,  in test_has_schedule()
4650 int test_special_schedule(isl_ctx *ctx, const char *domain,  in test_special_schedule()
4675 static int test_padded_schedule(isl_ctx *ctx)  in test_padded_schedule()
4713 static int test_special_conditional_schedule_constraints(isl_ctx *ctx)  in test_special_conditional_schedule_constraints()
4791 static int test_special_conditional_schedule_constraints_2(isl_ctx *ctx)  in test_special_conditional_schedule_constraints_2()
4923 static int test_conditional_schedule_constraints(isl_ctx *ctx)  in test_conditional_schedule_constraints()
4981 static int test_strongly_satisfying_schedule(isl_ctx *ctx)  in test_strongly_satisfying_schedule()
5015 static int test_conflicting_context_schedule(isl_ctx *ctx)  in test_conflicting_context_schedule()
5037 static int test_coalescing_schedule(isl_ctx *ctx)  in test_coalescing_schedule()
5070 static int test_skewing_schedule(isl_ctx *ctx)  in test_skewing_schedule()
5084 int test_schedule(isl_ctx *ctx)  in test_schedule()
5397 static int test_schedule_whole(isl_ctx *ctx)  in test_schedule_whole()
5412 static int test_schedule_incremental(isl_ctx *ctx)  in test_schedule_incremental()
5425 int test_plain_injective(isl_ctx *ctx, const char *str, int injective)  in test_plain_injective()
5445 int test_injective(isl_ctx *ctx)  in test_injective()
5495 static int test_upa(isl_ctx *ctx)  in test_upa()
5585 static int test_bin_aff(isl_ctx *ctx)  in test_bin_aff()
5649 static int test_bin_pw_aff(isl_ctx *ctx)  in test_bin_pw_aff()
5713 static isl_stat test_upma_test(isl_ctx *ctx)  in test_upma_test()
5785 static int test_bin_upma(isl_ctx *ctx)  in test_bin_upma()
5826 static int test_bin_upma_fail(isl_ctx *ctx)  in test_bin_upma_fail()
5891 static isl_stat test_upma_uset(isl_ctx *ctx)  in test_upma_uset()
5969 static int test_un_mpa(isl_ctx *ctx)  in test_un_mpa()
6099 static int test_bin_mpa(isl_ctx *ctx)  in test_bin_mpa()
6164 static int test_un_mupa(isl_ctx *ctx)  in test_un_mupa()
6294 static int test_bin_mupa(isl_ctx *ctx)  in test_bin_mupa()
6399 static int test_mupa_set(isl_ctx *ctx)  in test_mupa_set()
6460 static int test_mupa_uset(isl_ctx *ctx)  in test_mupa_uset()
6547 static int test_mupa_ma(isl_ctx *ctx)  in test_mupa_ma()
6630 static int test_mupa_pa(isl_ctx *ctx)  in test_mupa_pa()
6750 static int test_mupa_pma(isl_ctx *ctx)  in test_mupa_pma()
6848 static int test_mupa_upma(isl_ctx *ctx)  in test_mupa_upma()
6878 static isl_stat test_aff_set_tuple_id(isl_ctx *ctx)  in test_aff_set_tuple_id()
6900 static isl_stat test_aff_normalize(isl_ctx *ctx)  in test_aff_normalize()
6914 int test_aff(isl_ctx *ctx)  in test_aff()
7027 static isl_stat test_bind_set(isl_ctx *ctx)  in test_bind_set()
7082 static isl_stat test_bind_map_domain(isl_ctx *ctx)  in test_bind_map_domain()
7131 static isl_stat test_bind_umap_range(isl_ctx *ctx)  in test_bind_umap_range()
7189 static isl_stat test_bind_pma_domain(isl_ctx *ctx)  in test_bind_pma_domain()
7246 static isl_stat test_bind_pma_domain_wrapped(isl_ctx *ctx)  in test_bind_pma_domain_wrapped()
7292 static isl_stat test_bind_aff(isl_ctx *ctx)  in test_bind_aff()
7336 static isl_stat test_bind_pa(isl_ctx *ctx)  in test_bind_pa()
7382 static isl_stat test_bind_mupa(isl_ctx *ctx)  in test_bind_mupa()
7409 static int test_bind(isl_ctx *ctx)  in test_bind()
7457 static isl_stat test_unbind_set(isl_ctx *ctx)  in test_unbind_set()
7506 static isl_stat test_unbind_aff(isl_ctx *ctx)  in test_unbind_aff()
7558 static isl_stat test_unbind_multi_aff(isl_ctx *ctx)  in test_unbind_multi_aff()
7585 static int test_unbind(isl_ctx *ctx)  in test_unbind()
7599 static int check_single_piece(isl_ctx *ctx, __isl_take isl_pw_aff *pa)  in check_single_piece()
7621 static int test_dim_max_1(isl_ctx *ctx)  in test_dim_max_1()
7643 static int test_dim_max_2(isl_ctx *ctx)  in test_dim_max_2()
7656 int test_dim_max(isl_ctx *ctx)  in test_dim_max()
7782 static int test_product_pma(isl_ctx *ctx)  in test_product_pma()
7803 int test_product(isl_ctx *ctx)  in test_product()
7842 static int test_disjoint(isl_ctx *ctx)  in test_disjoint()
7881 int test_equal(isl_ctx *ctx)  in test_equal()
7919 static int test_plain_fixed(isl_ctx *ctx, __isl_take isl_map *map,  in test_plain_fixed()
7938 int test_fixed(isl_ctx *ctx)  in test_fixed()
7998 	isl_ctx *ctx;  in find_vertex()  local
8030 int test_vertices(isl_ctx *ctx)  in test_vertices()
8084 static isl_stat test_un_union_map(isl_ctx *ctx)  in test_un_union_map()
8179 static isl_stat test_bin_union_map(isl_ctx *ctx)  in test_bin_union_map()
8211 static isl_stat test_union_set_contains(isl_ctx *ctx)  in test_union_set_contains()
8239 static int test_union_map(isl_ctx *ctx)  in test_union_map()
8257 static isl_stat test_union_pw_op(isl_ctx *ctx, const char *a, const char *b,  in test_union_pw_op()
8275 int test_union_pw(isl_ctx *ctx)  in test_union_pw()
8345 static int test_un_locus(isl_ctx *ctx)  in test_un_locus()
8452 static int test_bin_locus(isl_ctx *ctx)  in test_bin_locus()
8516 static isl_stat test_bin_locus_ma(isl_ctx *ctx)  in test_bin_locus_ma()
8547 static int test_locus(isl_ctx *ctx)  in test_locus()
8561 static int test_eval_1(isl_ctx *ctx)  in test_eval_1()
8589 static int test_eval_2(isl_ctx *ctx)  in test_eval_2()
8618 static isl_stat test_eval_3(isl_ctx *ctx)  in test_eval_3()
8674 static int test_eval_aff(isl_ctx *ctx)  in test_eval_aff()
8699 static int test_eval(isl_ctx *ctx)  in test_eval()
8731 static int test_output_set(isl_ctx *ctx)  in test_output_set()
8758 static isl_stat test_output_ma(isl_ctx *ctx)  in test_output_ma()
8786 static isl_stat test_output_mpa(isl_ctx *ctx)  in test_output_mpa()
8812 int test_output(isl_ctx *ctx)  in test_output()
8849 int test_sample(isl_ctx *ctx)  in test_sample()
8902 static int test_empty_projection(isl_ctx *ctx)  in test_empty_projection()
8925 int test_slice(isl_ctx *ctx)  in test_slice()
8982 int test_eliminate(isl_ctx *ctx)  in test_eliminate()
9001 static int test_deltas_map(isl_ctx *ctx)  in test_deltas_map()
9022 static int test_residue_class(isl_ctx *ctx)  in test_residue_class()
9046 static int test_align_parameters_1(isl_ctx *ctx)  in test_align_parameters_1()
9082 static isl_stat test_align_parameters_2(isl_ctx *ctx)  in test_align_parameters_2()
9104 static int test_align_parameters(isl_ctx *ctx)  in test_align_parameters()
9119 int test_drop_unused_parameters(isl_ctx *ctx)  in test_drop_unused_parameters()
9172 static int test_list(isl_ctx *ctx)  in test_list()
9221 static isl_stat test_ma_conversion(isl_ctx *ctx)  in test_ma_conversion()
9257 static int test_set_conversion(isl_ctx *ctx)  in test_set_conversion()
9298 static int test_map_conversion(isl_ctx *ctx)  in test_map_conversion()
9338 static int test_mpa_conversion(isl_ctx *ctx)  in test_mpa_conversion()
9385 static int test_union_map_mupa_conversion(isl_ctx *ctx)  in test_union_map_mupa_conversion()
9413 static int test_conversion(isl_ctx *ctx)  in test_conversion()
9430 static int test_curry(isl_ctx *ctx)  in test_curry()
9478 static int test_pullback(isl_ctx *ctx)  in test_pullback()
9506 static int test_ast(isl_ctx *ctx)  in test_ast()
9557 static int test_ast_build(isl_ctx *ctx)  in test_ast_build()
9604 	isl_ctx *ctx;  in before_for()  local
9739 static isl_stat test_ast_gen1(isl_ctx *ctx)  in test_ast_gen1()
9798 static int test_ast_gen2(isl_ctx *ctx)  in test_ast_gen2()
9840 static int test_ast_gen3(isl_ctx *ctx)  in test_ast_gen3()
9879 static int test_ast_gen4(isl_ctx *ctx)  in test_ast_gen4()
9973 static int test_ast_gen5(isl_ctx *ctx)  in test_ast_gen5()
10012 static int test_ast_expr(isl_ctx *ctx)  in test_ast_expr()
10044 static int test_ast_gen(isl_ctx *ctx)  in test_ast_gen()
10064 static int test_pw_multi_aff(isl_ctx *ctx)  in test_pw_multi_aff()
10093 static int test_multi_pw_aff_1(isl_ctx *ctx)  in test_multi_pw_aff_1()
10142 static int test_multi_pw_aff_2(isl_ctx *ctx)  in test_multi_pw_aff_2()
10186 static isl_stat test_multi_pw_aff_3(isl_ctx *ctx)  in test_multi_pw_aff_3()
10218 static isl_stat test_multi_pw_aff_box(isl_ctx *ctx)  in test_multi_pw_aff_box()
10250 static int test_multi_pw_aff(isl_ctx *ctx)  in test_multi_pw_aff()
10272 static int test_simplify_1(isl_ctx *ctx)  in test_simplify_1()
10298 static int test_simplify_2(isl_ctx *ctx)  in test_simplify_2()
10319 static int test_simplify(isl_ctx *ctx)  in test_simplify()
10333 static int test_partial_lexmin(isl_ctx *ctx)  in test_partial_lexmin()
10357 static int test_compute_divs(isl_ctx *ctx)  in test_compute_divs()
10380 static int test_schedule_tree(isl_ctx *ctx)  in test_schedule_tree()
10408 static int test_schedule_tree_prefix(isl_ctx *ctx)  in test_schedule_tree_prefix()
10451 static int test_schedule_tree_group_1(isl_ctx *ctx)  in test_schedule_tree_group_1()
10516 static int test_schedule_tree_group_2(isl_ctx *ctx)  in test_schedule_tree_group_2()
10604 static int test_schedule_tree_group(isl_ctx *ctx)  in test_schedule_tree_group()
10652 static int test_dual(isl_ctx *ctx)  in test_dual()
10732 static int test_tile(isl_ctx *ctx)  in test_tile()
10802 static int test_domain_hash(isl_ctx *ctx)  in test_domain_hash()
10828 static int test_universe(isl_ctx *ctx)  in test_universe()
10909 static int test_chambers(isl_ctx *ctx)  in test_chambers()
11026 	struct isl_ctx *ctx;  in main()  local