Public Git Hosting - isl.git/search

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...	commit \| commitdiff \| tree
2024-02-18	Sven Verdoolaege	isl_map_simplify.c: eliminate_selected_unit_divs: use...	commit \| commitdiff \| tree
2024-02-18	Sven Verdoolaege	isl_map_simplify.c: eliminate_selected_unit_divs: use...	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...	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@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-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-14	Sven Verdoolaege	isl_map_coalesce: avoid ignoring constraints redundant... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-04-14	Sven Verdoolaege	isl_tab_make_equalities_explicit: support undo Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-04-14	Sven Verdoolaege	isl_tab.c: rename rotate_constraints to rotate_constraints_right Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-04-14	Sven Verdoolaege	isl_tab.c: rotate_constraints: return isl_stat Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-21	Sven Verdoolaege	fix export of isl_space_multi_union_pw_aff to templated... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-21	Sven Verdoolaege	interface/template_cpp.cc: move up from_list_{set,map... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	add isl_local_space_involves_dims	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	add test for converting binary relation involving unknown... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	isl_aff.c: extract out isl_basic_map_find_output_upper_div_c...	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_check_div: use isl_basic_ma...	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_check_div: use isl_basic_ma...	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	isl_aff.c: extract out isl_basic_map_inequality_extract_outp...	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_div: merge two variables Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-12	Sven Verdoolaege	isl_aff.c: pw_multi_aff_from_map_div: use isl_basic_map_var_... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-04	Sven Verdoolaege	isl_pw_*_gist{,_params}: do not pre-compute hull of... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-04	Sven Verdoolaege	add isl_pw_aff_gist_params test case Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-03	Sven Verdoolaege	isl_input.c: read_map_tuple: do not take separate rational... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-01	Sven Verdoolaege	isl_map_intersect_{domain,range}_wrapped_domain: handle... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-03-01	Sven Verdoolaege	isl_*_copy_tuple_id: use BASE instead of TYPE to select... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-28	Sven Verdoolaege	isl_map_preimage_pw_multi_aff: fix plugging in empty... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_union_map_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_map_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_multi_pw_aff_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_pw_multi_aff_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_multi_aff_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_multi_*_un_op: allow space modification Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	introduce isl_multi_*_un_op_control Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_pw_aff_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_pw_*_un_op: allow space modification Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_pw_*_un_op: allow domain modification Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	introduce isl_pw_*_un_op_control Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_set_wrapped_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_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 Verdoolaege	add exported isl_aff_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add isl_local_space_wrapped_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_aff_set_nan: extract out isl_aff_{take,restore... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	move reverse tests to test2 program Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_test2.cc: print parsed expected result Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_space_wrapped_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add isl_space_check_is_wrapping Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	add exported isl_space_domain_reverse Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_space_range_reverse: extract out isl_space_reverse_wrapped Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_space_range_reverse: try and preserve dimension... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	isl_space.c: copy_ids: free original identifier Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-14	Sven Verdoolaege	export isl_*_aff_plain_is_equal Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_gist: handle explicit domain Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_domain_intersect: drop redundant check Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_domain_intersect: only extract domain once Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_domain_intersect: minor clean-up Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_domain_intersect: extract out isl_multi_... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_gist: check domain compatibility Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_intersect.c: extract out isl_multi_*_check_compati... Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi_*_intersect_domain: always check domain compatibility Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi__apply_: reuse isl_multi__align_params_ Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	mark isl_multi__apply_aligned_ static Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
2023-02-12	Sven Verdoolaege	isl_multi__domain_intersect: reuse isl_align_params_templ.c Signed-off-by: Sven Verdoolaege <sven@cerebras.net>	commit \| commitdiff \| tree
next

Integer set library

RSS Atom