Public Git Hosting - isl.git/search

2024-05-25	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt*: drop redundant check Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	simplify constraints by checking for residues Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	add isl_seq_sub Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_basic_map_gist: allow existentially quantified... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_basic_map_align_divs: use isl_basic_map_dim Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_basic_map_align_divs: use number of local variables... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_map.c: find_div: return isl_size Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_basic_map_plain_unshifted_simple_hull: explicitly... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_basic_map_remove_shifted_constraints: align with... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_basic_map_remove_shifted_constraints: drop existentials... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	privately expose isl_basic_map_remove_unknown_divs Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	add some isl_basic_set_gist tests Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	move some gist tests to isl_test2.cc Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_test2.cc: test(R (T::*fn)(A1 &, A2 &)): extract... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_test2.cc: test(R (T::*fn)(A1 &, A2 &)): fix typo... Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-25	Sven Verdoolaege	isl_test.c: test_gist: fix check for internal consistency Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>	commit \| commitdiff \| tree
2024-05-11	Sven Verdoolaege	isl_tab_basic_map_partial_lexopt: detect modulos and... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-05-11	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
2024-05-11	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_plug_in: simplify... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-05-11	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
2024-05-11	Sven Verdoolaege	add checks for isl_map_lexmin_pw_multi_aff returning... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-05-11	Sven Verdoolaege	extract out isl_basic_map_try_find_any_output_div_mod Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-05-11	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
2024-05-11	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
2024-05-11	Sven Verdoolaege	isl_aff.c: isl_basic_map_try_find_output_div: rename... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2024-05-11	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
next

Integer set library

RSS Atom