| 2020-12-31 |
Sven Verdoolaege | privately export isl_qpolynomial_list_peek
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-31 |
Sven Verdoolaege | add isl_qpolynomial_list
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-30 |
Sven Verdoolaege | extract out shared isl_qpolynomial_fold_check_equal_space
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-30 |
Sven Verdoolaege | extract out shared isl_qpolynomial_fold_check_equal_type
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-30 |
Sven Verdoolaege | extract out shared isl_morph_check_applies
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-30 |
Sven Verdoolaege | isl_morph_get_dom_space: extract out isl_morph_peek_dom_space
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-30 |
Sven Verdoolaege | isl_qpolynomial_morph_domain: use isl_qpolynomial_peek_domai...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-30 |
Sven Verdoolaege | isl_qpolynomial_fold_morph_domain: use isl_qpolynomial_fold_...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-30 |
Sven Verdoolaege | isl_qpolynomial_fold_get_domain_space: extract out...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-30 |
Sven Verdoolaege | extract out shared isl_qpolynomial_fold_{take,restore...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-30 |
Sven Verdoolaege | isl_qpolynomial_fold_morph_domain: use isl_morph_get_ran_space
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-30 |
Sven Verdoolaege | isl_qpolynomial_fold_alloc: use isl_qpolynomial_get_domain_space
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-30 |
Sven Verdoolaege | isl_qpolynomial_morph_domain: use isl_qpolynomial_get_ctx
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-30 |
Sven Verdoolaege | isl_fold.c: qpolynomial_fold_alloc: use isl_space_get_ctx
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-30 |
Sven Verdoolaege | isl_bound.c: compressed_guarded_poly_bound: use isl_basic_se...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-29 |
Sven Verdoolaege | isl_qpolynomial_fold_plain_is_equal: return isl_bool
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-29 |
Sven Verdoolaege | isl_qpolynomial_fold_plain_is_equal: use isl_bool for...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-29 |
Sven Verdoolaege | isl_qpolynomial_fold_fold_on_domain: use isl_bool for...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-29 |
Sven Verdoolaege | isl_qpolynomial_fold_involves_dims: return isl_bool
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-29 |
Sven Verdoolaege | isl_qpolynomial_fold_involves_dims: use isl_bool for...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-24 |
Sven Verdoolaege | make isl_qpolynomial_fold_involves_dims static
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-24 |
Sven Verdoolaege | isl_seq_elim: clarify documentation
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-24 |
Sven Verdoolaege | isl_input.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-19 |
Michael Kruse | isl_mat_left_hermite: avoid undefined null pointer...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-12-19 |
Michael Kruse | isl_mat_alloc: avoid undefined null pointer arithmetic
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-19 |
Sven Verdoolaege | export isl_schedule_get_domain
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-11-19 |
Sven Verdoolaege | export isl_space_range_reverse
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-11-19 |
Sven Verdoolaege | export isl_space_{,un}curry
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-11-19 |
Sven Verdoolaege | export isl_map_zip
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-11-19 |
Sven Verdoolaege | export isl_map_product
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-11-19 |
Ron Estrin | export isl_space_product
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-11-19 |
tj-sun | export isl_aff_is_cst
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-11-19 |
tj-sun | export isl_aff_get_constant_val
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-11-19 |
Sven Verdoolaege | export isl_space_reverse
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-11-19 |
Sven Verdoolaege | export isl_multi_*_involves_nan
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-11-15 |
Sven Verdoolaege | update imath to version 1.31
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-15 |
Sven Verdoolaege | isl_test_imath.c: drop reference to MP_USMALL_MIN
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-11 |
Sven Verdoolaege | replace PolyLib format gist test case by isl format one
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-11 |
Sven Verdoolaege | AST generation: check that partial schedule of band...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-01 |
Sven Verdoolaege | isl 0.23
|
commit | commitdiff | tree |
| 2020-11-01 |
Sven Verdoolaege | add note about isl-0.22 requiring C++11 to generate...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-11-01 |
Sven Verdoolaege | update AUTHORS
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-30 |
Sven Verdoolaege | Merge branch 'maint'
|
commit | commitdiff | tree |
| 2020-10-30 |
Sven Verdoolaege | isl_map_{min,max}_multi_pw_aff: set explicit domain...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-10-30 |
Sven Verdoolaege | isl_{set,map}_{lower,upper}_bound_multi_pw_aff: take...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-10-30 |
Sven Verdoolaege | isl_tab.c: drop_bmap_div: fix error handling
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-10-23 |
Sven Verdoolaege | drop isl_map_{lower,upper}_bound_multi_val
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-09-19 |
Sven Verdoolaege | isl_morph_set: use isl_set_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-09-19 |
Sven Verdoolaege | isl_morph_basic_set: use isl_basic_set_preimage_multi_aff
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-09-15 |
Sven Verdoolaege | isl_tab_pip.c: align_context_divs: only add local variables...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-09-15 |
Sven Verdoolaege | add isl_union_map_lex_{le,ge}_at_multi_union_pw_aff
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-15 |
Sven Verdoolaege | abstract out isl_union_map_lex_*_at_multi_union_pw_aff
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-15 |
Sven Verdoolaege | doc: update isl_union_map_*_at_multi_union_pw_aff documentation
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-15 |
Sven Verdoolaege | fix isl_multi_pw_aff_lex_{le,ge}_map
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-15 |
Sven Verdoolaege | isl_multi_pw_aff_lex_map_on_space: clarify documentation
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-09 |
Sven Verdoolaege | check_single_reference_templ.c: drop spurious empty...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-09-09 |
Sven Verdoolaege | isl_bernstein.c: drop spurious space
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-09-05 |
Sven Verdoolaege | isl_set_min_multi_pw_aff: avoid domain split in some...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: extract out isl_pw_*_union_opt_cmp_pair
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: keep cells together with piecewise...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: extract out isl_pw_*_get_domain_at
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: use isl_pw_*_peek_domain_at
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: use isl_pw_*_n_piece
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: use isl_pw_*_peek_base_at
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-05 |
Sven Verdoolaege | isl_pw_*_get_base_at: extract out isl_pw_*_peek_base_at
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-05 |
Sven Verdoolaege | isl_pw_*_union_opt_cmp: drop unused variable
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-05 |
Sven Verdoolaege | isl_qpolynomial_fold_insert_dims: take into account...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-09-05 |
Sven Verdoolaege | isl_qpolynomial_fold_set_dim_name: take into account...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-09-03 |
Sven Verdoolaege | drop isl_tab_allocate_var
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-09-03 |
Sven Verdoolaege | isl_fold.c: move up domain_type
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-09-03 |
Sven Verdoolaege | add isl_union_pw_multi_aff_preimage_domain_wrapped_domain_un...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-03 |
Sven Verdoolaege | add exported isl_pw_multi_aff_preimage_domain_wrapped_domain...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-03 |
Sven Verdoolaege | add isl_space_check_wrapped_tuple_is_equal
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-03 |
Sven Verdoolaege | add isl_space_wrapped_tuple_is_equal
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-03 |
Sven Verdoolaege | isl_space.c: extract out shared check_match
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-03 |
Sven Verdoolaege | isl_space.c: extract out shared isl_space_check_domain_is_wr...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-03 |
Sven Verdoolaege | isl_map_intersect_factor: extract out isl_*_copy_tuple_id
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-09-01 |
Sven Verdoolaege | drop isl_space_get_full_domain_hash
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-09-01 |
Sven Verdoolaege | test isl_space_get_tuple_domain_hash instead of isl_space_ge...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-09-01 |
Sven Verdoolaege | add exported isl_pw_multi_aff_identity_on_domain_space
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-08-30 |
Sven Verdoolaege | isl_union_*_extract_*: ignore parameters when looking...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-30 |
Sven Verdoolaege | isl_union_*: ignore parameters when looking up entries
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-30 |
Sven Verdoolaege | rename isl_union_*_has_same_domain_space to has_same_domain_...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-30 |
Sven Verdoolaege | isl_union_*: use tuple hash in hash table
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-30 |
Sven Verdoolaege | add isl_space_get_tuple_domain_hash
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-30 |
Sven Verdoolaege | isl_union_*_eval: extract out isl_union_*_foreach_on_domain
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-30 |
Sven Verdoolaege | isl_input.c: nan_on_domain: use isl_pw_aff_nan_on_domain_space
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-08-30 |
Sven Verdoolaege | add isl_pw_aff_nan_on_domain_space
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-08-30 |
Sven Verdoolaege | add isl_aff_nan_on_domain_space
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
|
commit | commitdiff | tree |
| 2020-08-30 |
Sven Verdoolaege | isl_pw_qpolynomial_bound: handle differences in domain...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-25 |
Sven Verdoolaege | isl_union_map_is_subset: drop parameter alignment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-25 |
Sven Verdoolaege | isl_union_map_extract_map: ignore parameters when looking...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-25 |
Sven Verdoolaege | isl_union_templ.c: *_match_domain_entry: ignore parameters
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-25 |
Sven Verdoolaege | isl_union_map: ignore parameters when looking up entries
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-25 |
Sven Verdoolaege | add isl_map_has_space_tuples
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-25 |
Sven Verdoolaege | isl_union_map: use tuple hash in hash table
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-25 |
Sven Verdoolaege | test_inputs/codegen/pldi2012/figure8_b.in: specify...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-25 |
Sven Verdoolaege | isl_union_map_find_entry: check that input has single...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-25 |
Sven Verdoolaege | extract out shared isl_union_{map,set}_find_entry
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
| 2020-08-25 |
Sven Verdoolaege | rename isl_space_get_{domain_,}hash to isl_space_get_full_...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
|
commit | commitdiff | tree |
