Public Git Hosting - isl.git/search

13 days ago	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: detect modulos and... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
13 days ago	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_plug_in: extract isl_aff_as... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
13 days ago	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_plug_in: simplify... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
13 days ago	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_plug_in: take space... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
13 days ago	Sven Verdoolaege	add checks for isl_map_lexmin_pw_multi_aff returning... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
13 days ago	Sven Verdoolaege	extract out isl_basic_map_try_find_any_output_div_mod Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
13 days ago	Sven Verdoolaege	move isl_basic_map_try_find_output_div_mod to isl_map.c Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
13 days ago	Sven Verdoolaege	isl_aff.c: extract out isl_basic_map_try_find_output_div_mod Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
13 days ago	Sven Verdoolaege	isl_aff.c: isl_basic_map_try_find_output_div: rename... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
13 days ago	Sven Verdoolaege	isl_tab_pip.c: basic_map_partial_lexopt_pma: use isl_basic_m... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-04-20	Sven Verdoolaege	isl_test_cpp17-generic.cc: work around std::optional... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-04-07	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: copy integer divisions... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-04-07	Sven Verdoolaege	isl_tab_pip.c: find_context_div: extract out find_div_involv... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-04-07	Sven Verdoolaege	add isl_basic_set_add_div_constraints Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-04-07	Sven Verdoolaege	add isl_basic_set_insert_div Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-03-30	Sven Verdoolaege	add check for isl_map_lexmin_pw_multi_aff returning... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-03-30	Sven Verdoolaege	isl_test2.cc: has_single_cell_pma: extract out has_single_cell Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-03-30	Sven Verdoolaege	isl_tab_pip.c: find_context_div: reuse is_known_div_not_invo... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-03-30	Sven Verdoolaege	isl_tab_pip.c: find_context_div: extract out is_known_div_no... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-03-30	Sven Verdoolaege	isl_tab_pip.c: find_context_div: use isl_basic_map_div_expr_... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-03-30	Sven Verdoolaege	isl_tab_pip.c: find_context_div: use isl_basic_map_div_is_ma... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-03-30	Sven Verdoolaege	isl_tab_pip.c: find_context_div: use isl_basic_set_dim Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-03-30	Sven Verdoolaege	isl_tab_pip.c: basic_map_partial_lexopt_base_sol: remove... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-03-30	Sven Verdoolaege	isl_tab_pip.c: align_context_divs: use isl_basic_set_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-03-30	Sven Verdoolaege	isl_tab_pip.c: align_context_divs: improve error handling Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-03-30	Sven Verdoolaege	isl_tab_pip.c: find_context_div: return isl_size Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-03-24	Sven Verdoolaege	detect some modulo expressions when extracting a function Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-03-10	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_check_div: move div... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-03-10	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_div: return integer... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-03-10	Sven Verdoolaege	isl_aff.c: extract out pw_multi_aff_from_map_plug_in Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-03-10	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_div: only get space... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-03-10	Sven Verdoolaege	privately expose isl_basic_map_is_set Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	detect specific instance of modulos in constraints Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	sort constraints while looking for pair of opposite... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_map.c: find_later_constraint_in_pair: stop search... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_basic_map_find_output_upper_div_constraint: extract... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_basic_map_find_output_upper_div_constraint: extract... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_basic_map_find_output_upper_div_constraint: extract... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	extract out shared isl_basic_map_any_div_involves_vars Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_map.c: basic_map_dim_is_bounded: use isl_basic_map_var_o... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	basic_map_dim_is_bounded: use isl_basic_map_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_map_simplify.c: div_find_coalesce: return isl_size Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_map_simplify.c: div_find_coalesce: use isl_size... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	extract out shared isl_basic_map_div_expr_involves_vars Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_map.c: div_involves_vars: use isl_basic_map_var_offset Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_map.c: div_involves_vars:: use isl_basic_map_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_map.c: div_involves_vars: use isl_basic_map_div_is_marke... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_basic_map_remove_divs_involving_dims: extract out... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_map.c: extract out generic extract_bound_from_constraint Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-25	Sven Verdoolaege	isl_basic_map_simplify: eliminate integral integer... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-18	Sven Verdoolaege	isl_map_simplify.c: extract out shared mark_progress Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-18	Sven Verdoolaege	isl_basic_map_remove_duplicate_constraints: do not... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-18	Sven Verdoolaege	isl_map_simplify.c: eliminate_selected_unit_divs: extract... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-02-18	Sven Verdoolaege	isl_map_simplify.c: eliminate_selected_unit_divs: use... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-02-18	Sven Verdoolaege	isl_map_simplify.c: eliminate_selected_unit_divs: use... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-02-10	Sven Verdoolaege	elimination using equality constraint does not introduce... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-10	Sven Verdoolaege	isl_basic_map_normalize_constraints: take into account... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-10	Sven Verdoolaege	extract out isl_basic_map_modify_inequality Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-10	Sven Verdoolaege	isl_map_simplify.c: eliminate_var_using_equality: reuse... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-10	Sven Verdoolaege	isl_basic_map_normalize_constraints: extract out scale_down_... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-10	Sven Verdoolaege	keep track of effect of variable elimination on implicit... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-10	Sven Verdoolaege	isl_map_simplify.c: eliminate_var_using_equality: use... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-02-03	Sven Verdoolaege	isl_map_coalesce: reduce coefficients of fused intermediate... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-03	Sven Verdoolaege	isl_basic_map_reduce_coefficients: reduce again after... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-03	Sven Verdoolaege	isl_basic_map_reduce_coefficients: move dropping variables... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-03	Sven Verdoolaege	isl_basic_map_reduce_coefficients: perform sanity check... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-03	Sven Verdoolaege	isl_basic_map_reduce_coefficients: extract out reduce_coeffi... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-03	Sven Verdoolaege	isl_basic_map_reduce_coefficients: introduce isl_reduce_coef... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-02-03	Sven Verdoolaege	clear ISL_BASIC_MAP_REDUCED_COEFFICIENTS when needed Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-01-28	Sven Verdoolaege	isl_aff_remove_unused_divs: remove all unused local... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-01-28	Sven Verdoolaege	isl_aff_remove_unused_divs: reuse isl_aff_drop_dims Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-01-28	Sven Verdoolaege	isl_aff_remove_unused_divs: use isl_aff_domain_var_offset Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-01-28	Sven Verdoolaege	isl_aff_domain_offset: extract out isl_aff_domain_var_offset Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-01-28	Sven Verdoolaege	isl_aff_domain_offset: use isl_local_space_var_offset Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-01-28	Sven Verdoolaege	properly document isl_local_space_get_active Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-01-28	Sven Verdoolaege	isl_ast_codegen.c: add_domain: only take single copy... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-01-28	Sven Verdoolaege	isl_ast_codegen.c: add_domain: fix typo in comment Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-01-28	Sven Verdoolaege	isl_ast_build: stop keeping track of single-valuedness Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-01-28	Sven Verdoolaege	isl_ast_codegen.c: generate_domain: construct call... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-01-28	Sven Verdoolaege	add AST generation test case involving expansion node Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: extract_modulo: consider simple... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: mod_constraint_is_simpler: extract... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: replace_if_simpler: extract out... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: is_parallel_or_opposite: add... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: decompose check_parallel_or_opposite Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: mod_constraint_is_simpler: return... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: check_parallel_or_opposite: extract... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: check_parallel_or_opposite: extract... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	isl_ast_build_expr.c: check_parallel_or_opposite: extract... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-08-06	Sven Verdoolaege	introduce isl_stat_non_error_bool Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com> Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-07-21	Sven Verdoolaege	isl_coalesce.c: set_from_updated_bmap: take single... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-07-21	Sven Verdoolaege	isl_coalesce.c: add_wrap: return isl_bool Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-07-21	Sven Verdoolaege	isl_sample.c: tab_shift_cone: fix typo in comment Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-07-21	Sven Verdoolaege	test_inputs/codegen/separate2.in: fix typo in comment Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-07-01	Sven Verdoolaege	isl_basic_set_intersect_params: extract out isl_basic_map_in... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-05-13	Sven Verdoolaege	cpp/cpp.h.top: mark exception::what override Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-05-09	Sven Verdoolaege	extract-interface: link in libclangSupport when available Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-05-09	Sven Verdoolaege	extract-interface: link in clangDriver before clangBasic Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-04-23	Sven Verdoolaege	isl_pw_qpolynomial_bound: special case affine polynomials Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2023-04-23	Sven Verdoolaege	isl_bound.c: unwrap: rename "poly" parameter to "qp" Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom