?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_map_simplify.c: eliminate_var_using_equality: reuse scale_down_inequality
2023-03-01 Sven Verdoolaegeisl_*_copy_tuple_id: use BASE instead of TYPE to select...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-03-01 Sven Verdoolaegeisl_map_preimage_pw_multi_aff: fix plugging in empty...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-28 Sven Verdoolaegeisl_map_preimage_pw_multi_aff: fix plugging in empty...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-26 Sven Verdoolaegeadd isl_union_pw_qpolynomial_domain_reverse
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeadd isl_pw_qpolynomial_domain_reverse
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeadd isl_qpolynomial_domain_reverse
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_qpolynomial_move_dims: extract out local_poly_move_dims
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeextract out shared isl_qpolynomial_{take,restore}_local
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeextract out shared isl_qpolynomial_get_local
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeextract out shared isl_qpolynomial_{take,restore}_poly
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeextract out shared isl_qpolynomial_get_poly
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_qpolynomial_as_polynomial_on_domain: rename local...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeextract out shared isl_qpolynomial_{take,restore}_domain_space
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_qpolynomial_reset_domain_space: special case reset...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_qpolynomial_move_dims: perform more sanity checks
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_qpolynomial_move_dims: drop needless error label
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_qpolynomial_move_dims: use isl_qpolynomial_domain_var_offset
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_qpolynomial_move_dims: use isl_qpolynomial_domain_dim
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_qpolynomial_move_dims: use isl_qpolynomial_get_ctx
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_qpolynomial_move_dims: use isl_local_move_vars
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_space_offset: return isl_size
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_output.c: defining_equality: return isl_size
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_basic_set_factorizer: use isl_basic_set_var_offset
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_factorizer_groups: use isl_basic_set_var_offset
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_basic_map_from_qpolynomial: use isl_basic_map_from_aff
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_basic_map_from_qpolynomial: rename local variable
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-25 Sven Verdoolaegeisl_local_space_get_local: fix memory management annotation
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeadd exported isl_union_map_domain_reverse
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeadd exported isl_map_domain_reverse
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeadd exported isl_multi_pw_aff_domain_reverse
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeadd exported isl_pw_multi_aff_domain_reverse
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeadd exported isl_multi_aff_domain_reverse
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeisl_multi_*_un_op: allow space modification
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeintroduce isl_multi_*_un_op_control
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeadd exported isl_pw_aff_domain_reverse
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeisl_pw_*_un_op: allow space modification
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeisl_pw_*_un_op: allow domain modification
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeintroduce isl_pw_*_un_op_control
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeadd exported isl_set_wrapped_reverse
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeisl_basic_map_range_reverse: extract out isl_basic_map_rever...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeadd exported isl_aff_domain_reverse
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeadd isl_local_space_wrapped_reverse
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeisl_aff_set_nan: extract out isl_aff_{take,restore...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegemove reverse tests to test2 program
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeisl_test2.cc: print parsed expected result
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeadd exported isl_space_wrapped_reverse
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeadd isl_space_check_is_wrapping
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeadd exported isl_space_domain_reverse
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeisl_space_range_reverse: extract out isl_space_reverse_wrapped
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeisl_space_range_reverse: try and preserve dimension...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeisl_space.c: copy_ids: free original identifier
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-14 Sven Verdoolaegeexport isl_*_aff_plain_is_equal
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegeisl_multi_*_gist: handle explicit domain
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegeisl_multi_*_domain_intersect: drop redundant check
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegeisl_multi_*_domain_intersect: only extract domain once
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegeisl_multi_*_domain_intersect: minor clean-up
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegeisl_multi_*_domain_intersect: extract out isl_multi_...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegeisl_multi_*_gist: check domain compatibility
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegeisl_multi_intersect.c: extract out isl_multi_*_check_compati...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegeisl_multi_*_intersect_domain: always check domain compatibility
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegeisl_multi_*_apply_*: reuse isl_multi_*_align_params_*
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegemark isl_multi_*_apply_aligned_* static
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegeisl_multi_*_domain_intersect*: reuse isl_align_params_templ.c
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegeadd isl_multi_*_aff_gist_* test cases
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegeexport isl_multi_{union_,}pw_aff_gist_params
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegeinterface: update to move of llvm/Support/Host.h to...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-12 Sven Verdoolaegescheduler: simplify schedule constraints with respect...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-05 Sven Verdoolaegeexport isl_union_set_project_out_all_params
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-05 Sven Verdoolaegeexport isl_space_drop_all_params
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-05 Sven Verdoolaegeexport isl_*_drop_unused_params
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-05 Sven Verdoolaegeadd isl_union_pw_*_drop_unused_params
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-05 Sven Verdoolaegeadd isl_union_{set,map}_drop_unused_params
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-05 Sven Verdoolaegeisl_*_drop_unused_params: extract out shared implementation
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-05 Sven Verdoolaegeisl_map_drop_unused_params: use isl_map_drop instead...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-05 Sven Verdoolaegeadd isl_union_map_check_named_params
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-05 Sven Verdoolaegeexport *on_domain functions to instances representing...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-05 Sven Verdoolaegeinterface/template_cpp.cc: move set_from_params next...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-02-04 Sven Verdoolaegeisl_tab.c: print_tab_var: also mark frozen constraints
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-04 Sven Verdoolaegeisl_tab_print_internal: extract out print_tab_var
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-03 Sven Verdoolaegeadd configure~ to .gitignore
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-03 Sven Verdoolaegem4/ax_compiler_vendor.m4: detect Portable C Compiler
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-02-03 Sven Verdoolaegem4/ax_prog_cc_for_build.m4: work around change in autoconf...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-01-28 Sven Verdoolaegeadd exported isl_fixed_box_read_from_str
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-01-28 Sven Verdoolaegeisl_printer_print_fixed_box: extract out field names
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-01-28 Sven Verdoolaegeexpose isl_stream_read_multi_val
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-01-22 Sven Verdoolaegeexport isl_pw_aff_params
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-01-22 Sven Verdoolaegeexport isl_union_{set,map}_params
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-01-22 Sven Verdoolaegeexport isl_map_params
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-01-22 Sven Verdoolaegeisl_*_fixed_power: further simplify intermediate results
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-01-22 Sven Verdoolaegeisl_*_fixed_power: extract out shared isl_*_fixed_power_apply
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-01-22 Sven Verdoolaegemove fixed power test to isl_test2.cc
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-01-22 Sven Verdoolaegeexport isl_map_fixed_power_val
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-01-21 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2023-01-21 Sven Verdoolaegepython interface: convert first argument of overloaded...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-01-21 Sven Verdoolaegepython_generator::print_argument_checks: introduce...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-01-21 Sven Verdoolaegepython_generator::print_argument_checks: extract out any
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-01-20 Sven Verdoolaegeisl_stream_read_schedule_constraints: explicitly convert...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-01-20 Sven Verdoolaegeisl_stream_read_union_access_info: explicitly convert...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2023-01-02 Sven Verdoolaegeisl_output.c: extract out shared print_union_*_isl
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
2023-01-02 Sven Verdoolaegeisl_output.c: rename isl_union_map_print_isl to print_union_...
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
 commit | commitdiff | tree
next
Integer set library