isl_basic_map_remove_shifted_constraints: drop existentials from context
treeb1f548ec892133f8e5074d72f2496b8baf60df30
-rw-r--r-- 757 .gitignore
-rw-r--r-- 82 .gitmodules
-rw-r--r-- 1479 AUTHORS
-rw-r--r-- 7656 ChangeLog
-rw-r--r-- 1042 LICENSE
-rw-r--r-- 19156 Makefile.am
-rw-r--r-- 1773 README
-rw-r--r-- 361 all.h
-rwxr-xr-x 24 autogen.sh
-rw-r--r-- 8729 basis_reduction_tab.c
-rw-r--r-- 8434 basis_reduction_templ.c
-rw-r--r-- 6762 bound.c
-rwxr-xr-x 727 bound_test.sh.in
-rw-r--r-- 213 bset_from_bmap.c
-rw-r--r-- 295 bset_to_bmap.c
-rw-r--r-- 1726 cat.c
-rw-r--r-- 1015 check_parse_fail_test_templ.c
-rw-r--r-- 737 check_reparse_templ.c
-rw-r--r-- 692 check_reparse_test_templ.c
-rw-r--r-- 512 check_single_reference_templ.c
-rw-r--r-- 547 check_type_range_templ.c
-rw-r--r-- 913 closure.c
-rw-r--r-- 6992 codegen.c
-rw-r--r-- 666 codegen_test.sh.in
-rw-r--r-- 4110 configure.ac
drwxr-xr-x - cpp
-rw-r--r-- 17 dep.c
drwxr-xr-x - doc
-rw-r--r-- 1351 extract_key.c
-rw-r--r-- 1041 flow.c
-rw-r--r-- 3307 flow_cmp.c
-rw-r--r-- 320 flow_test.sh.in
-rw-r--r-- 288 has_single_reference_templ.c
m--------- - imath
drwxr-xr-x - imath_wrap
drwxr-xr-x - include
drwxr-xr-x - interface
-rw-r--r-- 272237 isl_aff.c
-rw-r--r-- 2152 isl_aff_lex_templ.c
-rw-r--r-- 17404 isl_aff_map.c
-rw-r--r-- 6996 isl_aff_private.h
-rw-r--r-- 34434 isl_affine_hull.c
-rw-r--r-- 130 isl_align_params_bin_templ.c
-rw-r--r-- 1058 isl_align_params_templ.c
-rw-r--r-- 27849 isl_arg.c
-rw-r--r-- 103242 isl_ast.c
-rw-r--r-- 69522 isl_ast_build.c
-rw-r--r-- 90921 isl_ast_build_expr.c
-rw-r--r-- 865 isl_ast_build_expr.h
-rw-r--r-- 13088 isl_ast_build_private.h
-rw-r--r-- 189010 isl_ast_codegen.c
-rw-r--r-- 43370 isl_ast_graft.c
-rw-r--r-- 4184 isl_ast_graft_private.h
-rw-r--r-- 1077 isl_ast_node_set_field_templ.c
-rw-r--r-- 3744 isl_ast_private.h
-rw-r--r-- 540 isl_basis_reduction.h
-rw-r--r-- 16334 isl_bernstein.c
-rw-r--r-- 170 isl_bernstein.h
-rw-r--r-- 5345 isl_bind_domain_templ.c
-rw-r--r-- 2903 isl_blk.c
-rw-r--r-- 839 isl_blk.h
-rw-r--r-- 16123 isl_bound.c
-rw-r--r-- 677 isl_bound.h
-rw-r--r-- 16960 isl_box.c
-rw-r--r-- 295 isl_check_named_params_templ.c
-rw-r--r-- 133570 isl_coalesce.c
-rw-r--r-- 736 isl_config_post.h
-rw-r--r-- 35877 isl_constraint.c
-rw-r--r-- 712 isl_constraint_private.h
-rw-r--r-- 88498 isl_convex_hull.c
-rw-r--r-- 925 isl_copy_tuple_id_templ.c
-rw-r--r-- 9148 isl_ctx.c
-rw-r--r-- 1078 isl_ctx_private.h
-rw-r--r-- 422 isl_deprecated.c
-rw-r--r-- 5813 isl_dim_map.c
-rw-r--r-- 1423 isl_dim_map.h
-rw-r--r-- 1966 isl_domain_factor_templ.c
-rw-r--r-- 664 isl_drop_unused_params_templ.c
-rw-r--r-- 24896 isl_equalities.c
-rw-r--r-- 991 isl_equalities.h
-rw-r--r-- 9758 isl_factorization.c
-rw-r--r-- 1056 isl_factorization.h
-rw-r--r-- 27732 isl_farkas.c
-rw-r--r-- 665 isl_ffs.c
-rw-r--r-- 97918 isl_flow.c
-rw-r--r-- 56226 isl_fold.c
-rw-r--r-- 728 isl_from_range_templ.c
-rw-r--r-- 608 isl_gmp.c
-rw-r--r-- 6110 isl_hash.c
-rw-r--r-- 167 isl_hash_private.h
-rw-r--r-- 6197 isl_id.c
-rw-r--r-- 918 isl_id_private.h
-rw-r--r-- 659 isl_id_to_ast_expr.c
-rw-r--r-- 602 isl_id_to_id.c
-rw-r--r-- 655 isl_id_to_pw_aff.c
-rw-r--r-- 23996 isl_ilp.c
-rw-r--r-- 842 isl_ilp_opt_fn_val_templ.c
-rw-r--r-- 1989 isl_ilp_opt_multi_val_templ.c
-rw-r--r-- 1062 isl_ilp_opt_val_templ.c
-rw-r--r-- 264 isl_ilp_private.h
-rw-r--r-- 1753 isl_imath.c
-rw-r--r-- 448 isl_imath.h
-rw-r--r-- 109245 isl_input.c
-rw-r--r-- 955 isl_insert_domain_templ.c
-rw-r--r-- 1410 isl_int.h
-rw-r--r-- 3358 isl_int_gmp.h
-rw-r--r-- 3031 isl_int_imath.h
-rw-r--r-- 8109 isl_int_sioimath.c
-rw-r--r-- 37935 isl_int_sioimath.h
-rw-r--r-- 226 isl_list_macro.h
-rw-r--r-- 227 isl_list_private.h
-rw-r--r-- 1135 isl_list_read_templ.c
-rw-r--r-- 859 isl_list_read_yaml_templ.c
-rw-r--r-- 16758 isl_list_templ.c
-rw-r--r-- 291 isl_list_templ.h
-rw-r--r-- 10692 isl_local.c
-rw-r--r-- 1058 isl_local.h
-rw-r--r-- 162 isl_local_private.h
-rw-r--r-- 46169 isl_local_space.c
-rw-r--r-- 4017 isl_local_space_private.h
-rw-r--r-- 9553 isl_lp.c
-rw-r--r-- 788 isl_lp_private.h
-rw-r--r-- 418862 isl_map.c
-rw-r--r-- 1587 isl_map_bound_templ.c
-rw-r--r-- 7245 isl_map_lexopt_templ.c
-rw-r--r-- 477 isl_map_list.c
-rw-r--r-- 26519 isl_map_private.h
-rw-r--r-- 164145 isl_map_simplify.c
-rw-r--r-- 23538 isl_map_subtract.c
-rw-r--r-- 627 isl_map_to_basic_set.c
-rw-r--r-- 48779 isl_mat.c
-rw-r--r-- 2477 isl_mat_private.h
-rw-r--r-- 154 isl_maybe_aff.h
-rw-r--r-- 196 isl_maybe_ast_graft_list.h
-rw-r--r-- 154 isl_maybe_map.h
-rw-r--r-- 21028 isl_morph.c
-rw-r--r-- 3112 isl_morph.h
-rw-r--r-- 1226 isl_multi_add_constant_templ.c
-rw-r--r-- 140 isl_multi_align_set.c
-rw-r--r-- 152 isl_multi_align_union_set.c
-rw-r--r-- 1224 isl_multi_apply_explicit_domain_templ.c
-rw-r--r-- 921 isl_multi_apply_no_explicit_domain_templ.c
-rw-r--r-- 143 isl_multi_apply_set_explicit_domain_templ.c
-rw-r--r-- 146 isl_multi_apply_set_no_explicit_domain_templ.c
-rw-r--r-- 1542 isl_multi_apply_templ.c
-rw-r--r-- 155 isl_multi_apply_union_set_explicit_domain_templ.c
-rw-r--r-- 3264 isl_multi_arith_templ.c
-rw-r--r-- 1625 isl_multi_bin_val_templ.c
-rw-r--r-- 305 isl_multi_bind_domain_templ.c
-rw-r--r-- 1636 isl_multi_bind_templ.c
-rw-r--r-- 1138 isl_multi_check_domain_templ.c
-rw-r--r-- 761 isl_multi_cmp.c
-rw-r--r-- 821 isl_multi_coalesce.c
-rw-r--r-- 1894 isl_multi_dim_id_templ.c
-rw-r--r-- 3273 isl_multi_dims.c
-rw-r--r-- 674 isl_multi_domain_reverse_templ.c
-rw-r--r-- 943 isl_multi_domain_templ.c
-rw-r--r-- 5715 isl_multi_explicit_domain.c
-rw-r--r-- 472 isl_multi_floor.c
-rw-r--r-- 1068 isl_multi_from_base_templ.c
-rw-r--r-- 1355 isl_multi_from_tuple_templ.c
-rw-r--r-- 1439 isl_multi_gist.c
-rw-r--r-- 534 isl_multi_hash.c
-rw-r--r-- 2425 isl_multi_identity_templ.c
-rw-r--r-- 307 isl_multi_insert_domain_templ.c
-rw-r--r-- 1718 isl_multi_intersect.c
-rw-r--r-- 418 isl_multi_locals_templ.c
-rw-r--r-- 179 isl_multi_macro.h
-rw-r--r-- 684 isl_multi_min_max_templ.c
-rw-r--r-- 2182 isl_multi_move_dims_templ.c
-rw-r--r-- 411 isl_multi_nan_templ.c
-rw-r--r-- 3285 isl_multi_no_domain_templ.c
-rw-r--r-- 5341 isl_multi_no_explicit_domain.c
-rw-r--r-- 1307 isl_multi_param_templ.c
-rw-r--r-- 2074 isl_multi_product_templ.c
-rw-r--r-- 4163 isl_multi_pw_aff_explicit_domain.c
-rw-r--r-- 1746 isl_multi_pw_aff_pullback_templ.c
-rw-r--r-- 2025 isl_multi_read_no_explicit_domain_templ.c
-rw-r--r-- 1472 isl_multi_splice_templ.c
-rw-r--r-- 25710 isl_multi_templ.c
-rw-r--r-- 885 isl_multi_templ.h
-rw-r--r-- 4000 isl_multi_tuple_id_templ.c
-rw-r--r-- 1236 isl_multi_un_op_templ.c
-rw-r--r-- 307 isl_multi_unbind_params_templ.c
-rw-r--r-- 2517 isl_multi_union_add_templ.c
-rw-r--r-- 1626 isl_multi_union_pw_aff_explicit_domain.c
-rw-r--r-- 519 isl_multi_zero_space_templ.c
-rw-r--r-- 1067 isl_multi_zero_templ.c
-rw-r--r-- 8331 isl_obj.c
-rw-r--r-- 1456 isl_opt_mpa_templ.c
-rw-r--r-- 15656 isl_options.c
-rw-r--r-- 1722 isl_options_private.h
-rw-r--r-- 92999 isl_output.c
-rw-r--r-- 857 isl_output_private.h
-rw-r--r-- 20574 isl_point.c
-rw-r--r-- 1015 isl_point_private.h
-rw-r--r-- 123982 isl_polynomial.c
-rw-r--r-- 9448 isl_polynomial_private.h
-rw-r--r-- 2382 isl_power_templ.c
-rw-r--r-- 19924 isl_printer.c
-rw-r--r-- 1320 isl_printer_private.h
-rw-r--r-- 489 isl_project_out_all_params_templ.c
-rw-r--r-- 1316 isl_project_out_param_templ.c
-rw-r--r-- 286 isl_pw_add_constant_multi_val_templ.c
-rw-r--r-- 899 isl_pw_add_constant_templ.c
-rw-r--r-- 280 isl_pw_add_constant_val_templ.c
-rw-r--r-- 2051 isl_pw_add_disjoint_templ.c
-rw-r--r-- 293 isl_pw_bind_domain_templ.c
-rw-r--r-- 649 isl_pw_domain_reverse_templ.c
-rw-r--r-- 2362 isl_pw_eval.c
-rw-r--r-- 1590 isl_pw_fix_templ.c
-rw-r--r-- 301 isl_pw_from_range_templ.c
-rw-r--r-- 591 isl_pw_hash.c
-rw-r--r-- 1351 isl_pw_insert_dims_templ.c
-rw-r--r-- 295 isl_pw_insert_domain_templ.c
-rw-r--r-- 1539 isl_pw_lift_templ.c
-rw-r--r-- 852 isl_pw_locals_templ.c
-rw-r--r-- 248 isl_pw_macro.h
-rw-r--r-- 1188 isl_pw_morph_templ.c
-rw-r--r-- 1254 isl_pw_move_dims_templ.c
-rw-r--r-- 429 isl_pw_neg_templ.c
-rw-r--r-- 1222 isl_pw_opt_templ.c
-rw-r--r-- 1237 isl_pw_print_templ.c
-rw-r--r-- 2808 isl_pw_pullback_templ.c
-rw-r--r-- 1479 isl_pw_range_tuple_id_templ.c
-rw-r--r-- 876 isl_pw_scale_templ.c
-rw-r--r-- 779 isl_pw_split_dims_templ.c
-rw-r--r-- 397 isl_pw_sub_templ.c
-rw-r--r-- 45010 isl_pw_templ.c
-rw-r--r-- 111 isl_pw_templ.h
-rw-r--r-- 1810 isl_pw_un_op_templ.c
-rw-r--r-- 11967 isl_pw_union_opt.c
-rw-r--r-- 15122 isl_range.c
-rw-r--r-- 281 isl_range.h
-rw-r--r-- 664 isl_read_from_str_templ.c
-rw-r--r-- 8498 isl_reordering.c
-rw-r--r-- 1559 isl_reordering.h
-rw-r--r-- 38021 isl_sample.c
-rw-r--r-- 844 isl_sample.h
-rw-r--r-- 7794 isl_scan.c
-rw-r--r-- 632 isl_scan.h
-rw-r--r-- 20569 isl_schedule.c
-rw-r--r-- 34326 isl_schedule_band.c
-rw-r--r-- 5525 isl_schedule_band.h
-rw-r--r-- 20244 isl_schedule_constraints.c
-rw-r--r-- 920 isl_schedule_constraints.h
-rw-r--r-- 156891 isl_schedule_node.c
-rw-r--r-- 2646 isl_schedule_node_private.h
-rw-r--r-- 1061 isl_schedule_private.h
-rw-r--r-- 17294 isl_schedule_read.c
-rw-r--r-- 79951 isl_schedule_tree.c
-rw-r--r-- 12061 isl_schedule_tree.h
-rw-r--r-- 179188 isl_scheduler.c
-rw-r--r-- 10814 isl_scheduler.h
-rw-r--r-- 49293 isl_scheduler_clustering.c
-rw-r--r-- 1326 isl_scheduler_clustering.h
-rw-r--r-- 36222 isl_scheduler_scc.c
-rw-r--r-- 562 isl_scheduler_scc.h
-rw-r--r-- 7574 isl_seq.c
-rw-r--r-- 2457 isl_seq.h
-rw-r--r-- 510 isl_set_list.c
-rw-r--r-- 776 isl_set_to_ast_graft_list.c
-rw-r--r-- 581 isl_set_to_ast_graft_list.h
-rw-r--r-- 4922 isl_sort.c
-rw-r--r-- 197 isl_sort.h
-rw-r--r-- 88630 isl_space.c
-rw-r--r-- 4258 isl_space_private.h
-rw-r--r-- 43 isl_srcdir.c.in
-rw-r--r-- 29404 isl_stream.c
-rw-r--r-- 1670 isl_stream_private.h
-rw-r--r-- 713 isl_stream_read_pw_with_params_templ.c
-rw-r--r-- 1098 isl_stream_read_with_params_templ.c
-rw-r--r-- 10024 isl_stride.c
-rw-r--r-- 118912 isl_tab.c
-rw-r--r-- 12428 isl_tab.h
-rw-r--r-- 9765 isl_tab_lexopt_templ.c
-rw-r--r-- 173281 isl_tab_pip.c
-rw-r--r-- 4014 isl_tarjan.c
-rw-r--r-- 1296 isl_tarjan.h
-rw-r--r-- 331383 isl_test.c
-rw-r--r-- 29653 isl_test2.cc
-rw-r--r-- 2333 isl_test_cpp-checked-conversion.cc
-rw-r--r-- 8203 isl_test_cpp-checked.cc
-rw-r--r-- 10772 isl_test_cpp-generic.cc
-rw-r--r-- 9444 isl_test_cpp.cc
-rw-r--r-- 775 isl_test_cpp17-checked.cc
-rw-r--r-- 1733 isl_test_cpp17-generic.cc
-rw-r--r-- 1833 isl_test_cpp17.cc
-rwxr-xr-x 269 isl_test_cpp_failed.sh
-rw-r--r-- 1932 isl_test_imath.c
-rw-r--r-- 17278 isl_test_int.c
-rw-r--r-- 1138 isl_test_list_templ.c
-rw-r--r-- 1181 isl_test_plain_equal_templ.c
-rwxr-xr-x 12450 isl_test_python.py
-rw-r--r-- 77240 isl_transitive_closure.c
-rw-r--r-- 581 isl_type_check_equal_space_templ.c
-rw-r--r-- 911 isl_type_check_match_range_multi_val.c
-rw-r--r-- 151 isl_type_has_equal_space_bin_templ.c
-rw-r--r-- 685 isl_type_has_equal_space_templ.c
-rw-r--r-- 482 isl_type_has_space_templ.c
-rw-r--r-- 1027 isl_unbind_params_templ.c
-rw-r--r-- 1034 isl_union_domain_reverse_templ.c
-rw-r--r-- 1996 isl_union_eval.c
-rw-r--r-- 679 isl_union_locals_templ.c
-rw-r--r-- 300 isl_union_macro.h
-rw-r--r-- 126661 isl_union_map.c
-rw-r--r-- 727 isl_union_map_lex_templ.c
-rw-r--r-- 1122 isl_union_map_private.h
-rw-r--r-- 15046 isl_union_multi.c
-rw-r--r-- 598 isl_union_neg.c
-rw-r--r-- 1849 isl_union_print_templ.c
-rw-r--r-- 582 isl_union_pw_templ.c
-rw-r--r-- 322 isl_union_set_private.h
-rw-r--r-- 6519 isl_union_single.c
-rw-r--r-- 791 isl_union_sub_templ.c
-rw-r--r-- 36965 isl_union_templ.c
-rw-r--r-- 33531 isl_val.c
-rw-r--r-- 3145 isl_val_gmp.c
-rw-r--r-- 1812 isl_val_imath.c
-rw-r--r-- 1732 isl_val_private.h
-rw-r--r-- 1958 isl_val_sioimath.c
-rw-r--r-- 14394 isl_vec.c
-rw-r--r-- 745 isl_vec_private.h
-rw-r--r-- 227 isl_version.c
-rw-r--r-- 40519 isl_vertices.c
-rw-r--r-- 1603 isl_vertices_private.h
-rw-r--r-- 338 isl_yaml.h
-rw-r--r-- 2891 libisl-gdb.py
drwxr-xr-x - m4
-rw-r--r-- 373 mp_get_memory_functions.c
-rw-r--r-- 513 opt_type.h
-rw-r--r-- 11049 pip.c
-rwxr-xr-x 658 pip_test.sh.in
-rw-r--r-- 716 polyhedron_detect_equalities.c
-rw-r--r-- 2463 polyhedron_minimize.c
-rw-r--r-- 1061 polyhedron_remove_redundant_equalities.c
-rw-r--r-- 913 polyhedron_sample.c
-rw-r--r-- 2458 polytope_scan.c
-rw-r--r-- 2180 print.c
-rw-r--r-- 846 print_templ.c
-rw-r--r-- 842 print_templ_yaml.c
-rw-r--r-- 619 print_yaml_field_templ.c
drwxr-xr-x - python
-rw-r--r-- 956 read_in_string_templ.c
-rw-r--r-- 1070 schedule.c
-rw-r--r-- 1886 schedule_cmp.c
-rw-r--r-- 540 schedule_test.sh.in
-rw-r--r-- 178 set_from_map.c
-rw-r--r-- 218 set_list_from_map_list_inl.c
-rw-r--r-- 254 set_to_map.c
drwxr-xr-x - test_inputs
drwxr-xr-x - testsets
-rw-r--r-- 219 uset_from_umap.c
-rw-r--r-- 301 uset_to_umap.c