isl_ast_codegen.c: update_unrolling_lower_bound: check for overflow
-rw-r--r-- 695 .gitignore
-rw-r--r-- 71 .gitmodules
-rw-r--r-- 826 AUTHORS
-rw-r--r-- 2847 ChangeLog
-rw-r--r-- 1042 LICENSE
-rw-r--r-- 7027 Makefile.am
-rw-r--r-- 1493 README
-rwxr-xr-x 24 autogen.sh
-rw-r--r-- 6643 basis_reduction_tab.c
-rw-r--r-- 8651 basis_reduction_templ.c
-rw-r--r-- 6427 bound.c
-rwxr-xr-x 711 bound_test.sh.in
-rw-r--r-- 1379 cat.c
-rw-r--r-- 778 closure.c
-rw-r--r-- 3796 codegen.c
-rw-r--r-- 398 codegen_test.sh.in
-rw-r--r-- 7461 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - include
drwxr-xr-x - interface
-rw-r--r-- 3939 isl.py
-rw-r--r-- 116747 isl_aff.c
-rw-r--r-- 3212 isl_aff_private.h
-rw-r--r-- 32725 isl_affine_hull.c
-rw-r--r-- 25457 isl_arg.c
-rw-r--r-- 44774 isl_ast.c
-rw-r--r-- 59050 isl_ast_build.c
-rw-r--r-- 25843 isl_ast_build_expr.c
-rw-r--r-- 856 isl_ast_build_expr.h
-rw-r--r-- 10338 isl_ast_build_private.h
-rw-r--r-- 113505 isl_ast_codegen.c
-rw-r--r-- 30927 isl_ast_graft.c
-rw-r--r-- 3143 isl_ast_graft_private.h
-rw-r--r-- 2923 isl_ast_private.h
-rw-r--r-- 12457 isl_band.c
-rw-r--r-- 1234 isl_band_private.h
-rw-r--r-- 540 isl_basis_reduction.h
-rw-r--r-- 15285 isl_bernstein.c
-rw-r--r-- 163 isl_bernstein.h
-rw-r--r-- 2898 isl_blk.c
-rw-r--r-- 8803 isl_bound.c
-rw-r--r-- 318 isl_bound.h
-rw-r--r-- 47128 isl_coalesce.c
-rw-r--r-- 59 isl_config_post.h
-rw-r--r-- 31030 isl_constraint.c
-rw-r--r-- 303 isl_constraint_private.h
-rw-r--r-- 67201 isl_convex_hull.c
-rw-r--r-- 4338 isl_ctx.c
-rw-r--r-- 426 isl_ctx_private.h
-rw-r--r-- 280 isl_deprecated.c
-rw-r--r-- 6906 isl_dim.c
-rw-r--r-- 5468 isl_dim_map.c
-rw-r--r-- 1316 isl_dim_map.h
-rw-r--r-- 18684 isl_equalities.c
-rw-r--r-- 738 isl_equalities.h
-rw-r--r-- 8151 isl_factorization.c
-rw-r--r-- 717 isl_factorization.h
-rw-r--r-- 10169 isl_farkas.c
-rw-r--r-- 43186 isl_flow.c
-rw-r--r-- 37554 isl_fold.c
-rw-r--r-- 608 isl_gmp.c
-rw-r--r-- 4355 isl_hash.c
-rw-r--r-- 2284 isl_hmap_map_basic_set.c
-rw-r--r-- 847 isl_hmap_map_basic_set.h
-rw-r--r-- 3985 isl_id.c
-rw-r--r-- 713 isl_id_private.h
-rw-r--r-- 13182 isl_ilp.c
-rw-r--r-- 70079 isl_input.c
-rw-r--r-- 801 isl_list.c
-rw-r--r-- 514 isl_list_private.h
-rw-r--r-- 7859 isl_list_templ.c
-rw-r--r-- 518 isl_list_templ.h
-rw-r--r-- 27002 isl_local_space.c
-rw-r--r-- 2287 isl_local_space_private.h
-rw-r--r-- 5015 isl_lp.c
-rw-r--r-- 495 isl_lp_no_piplib.c
-rw-r--r-- 2796 isl_lp_piplib.c
-rw-r--r-- 601 isl_lp_piplib.h
-rw-r--r-- 280740 isl_map.c
-rw-r--r-- 3865 isl_map_lexopt_templ.c
-rw-r--r-- 505 isl_map_no_piplib.c
-rw-r--r-- 12027 isl_map_piplib.c
-rw-r--r-- 547 isl_map_piplib.h
-rw-r--r-- 14264 isl_map_private.h
-rw-r--r-- 81595 isl_map_simplify.c
-rw-r--r-- 21508 isl_map_subtract.c
-rw-r--r-- 37543 isl_mat.c
-rw-r--r-- 923 isl_mat_private.h
-rw-r--r-- 21211 isl_morph.c
-rw-r--r-- 2633 isl_morph.h
-rw-r--r-- 18969 isl_multi_templ.c
-rw-r--r-- 314 isl_multi_templ.h
-rw-r--r-- 8732 isl_obj.c
-rw-r--r-- 11520 isl_options.c
-rw-r--r-- 1516 isl_options_private.h
-rw-r--r-- 67910 isl_output.c
-rw-r--r-- 554 isl_piplib.c
-rw-r--r-- 703 isl_piplib.h
-rw-r--r-- 11020 isl_point.c
-rw-r--r-- 233 isl_point_private.h
-rw-r--r-- 105000 isl_polynomial.c
-rw-r--r-- 7951 isl_polynomial_private.h
-rw-r--r-- 1217 isl_power_templ.c
-rw-r--r-- 8190 isl_printer.c
-rw-r--r-- 280 isl_printer_private.h
-rw-r--r-- 38989 isl_pw_templ.c
-rw-r--r-- 13068 isl_range.c
-rw-r--r-- 276 isl_range.h
-rw-r--r-- 4315 isl_reordering.c
-rw-r--r-- 1081 isl_reordering.h
-rw-r--r-- 41080 isl_sample.c
-rw-r--r-- 912 isl_sample.h
-rw-r--r-- 396 isl_sample_no_piplib.c
-rw-r--r-- 1765 isl_sample_piplib.c
-rw-r--r-- 480 isl_sample_piplib.h
-rw-r--r-- 7203 isl_scan.c
-rw-r--r-- 610 isl_scan.h
-rw-r--r-- 96479 isl_schedule.c
-rw-r--r-- 1190 isl_schedule_private.h
-rw-r--r-- 6176 isl_seq.c
-rw-r--r-- 4922 isl_sort.c
-rw-r--r-- 197 isl_sort.h
-rw-r--r-- 46217 isl_space.c
-rw-r--r-- 1694 isl_space_private.h
-rw-r--r-- 16085 isl_stream.c
-rw-r--r-- 114 isl_stream_private.h
-rw-r--r-- 90416 isl_tab.c
-rw-r--r-- 10702 isl_tab.h
-rw-r--r-- 156915 isl_tab_pip.c
-rw-r--r-- 3196 isl_tarjan.c
-rw-r--r-- 1125 isl_tarjan.h
-rw-r--r-- 119035 isl_test.c
-rw-r--r-- 77533 isl_transitive_closure.c
-rw-r--r-- 58150 isl_union_map.c
-rw-r--r-- 175 isl_union_map_private.h
-rw-r--r-- 18195 isl_union_templ.c
-rw-r--r-- 8604 isl_vec.c
-rw-r--r-- 84 isl_version.c
-rw-r--r-- 37128 isl_vertices.c
-rw-r--r-- 1388 isl_vertices_private.h
drwxr-xr-x - m4
-rw-r--r-- 373 mp_get_memory_functions.c
-rw-r--r-- 9515 pip.c
-rwxr-xr-x 615 pip_test.sh.in
-rw-r--r-- 601 polyhedron_detect_equalities.c
-rw-r--r-- 2399 polyhedron_minimize.c
-rw-r--r-- 905 polyhedron_sample.c
-rw-r--r-- 2349 polytope_scan.c
-rw-r--r-- 1921 print.c
-rw-r--r-- 671 print_templ.c
drwxr-xr-x - test_inputs