?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
isl_basic_map_gist: only take into account equalities in input and context
2015-07-29 Sven Verdoolaegeisl_basic_map_gist: only take into account equalities...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-29 Sven Verdoolaegeadd some more gist test cases
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-29 Sven Verdoolaegeadd isl_basic_set_plain_affine_hull
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-29 Sven Verdoolaegeisl_map_simplify.c: uset_gist_full: allow equalities...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-29 Sven Verdoolaegeisl_map_simplify.c uset_gist_full: detect equalities...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-29 Sven Verdoolaegeisl_map_simplify.c: update_ineq: take into account...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-29 Sven Verdoolaegeisl_basic_map_gist: preserve original constraints
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-28 Sven Verdoolaegeisl_map_simplify.c: uset_gist_full: take constraint...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-28 Sven Verdoolaegeisl_map_simplify.c: extract out uset_gist_{un,}compressed
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-28 Sven Verdoolaegeisl_map_simplify.c: uset_gist_full: check for redundant...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-28 Sven Verdoolaegeisl_map_simplify.c: uset_gist_full: negate constraint...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-28 Sven Verdoolaegeisl_map_simplify.c: extract out group_and_drop_irrelevant_co...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-28 Sven Verdoolaegeisl_map_simplify.c: extract out constraint_index_is_redundant
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-28 Sven Verdoolaegeisl_map_simplify.c: hash_index: extract out hash_index_ineq
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-28 Sven Verdoolaegeisl_map_simplify.c: isl_constraint_index: keep track...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-28 Sven Verdoolaegeisl_map_simplify.c: extract out setup_constraint_index
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-28 Sven Verdoolaegeisl_map_simplify.c: extract out shared constraint index...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-28 Sven Verdoolaegeisl_basic_map_gist: drop normalization of divs in context
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-27 Sven Verdoolaegeisl_map_simplify.c: uset_gist_full: drop redundant...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-27 Sven Verdoolaegeisl_basic_map_overlying_set: simply reset space when...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-27 Sven Verdoolaegeisl_basic_map_reset_space: special case reset to same...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-24 Sven Verdoolaegeisl_basic_map_reset_space: rename "dim" variable to...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-24 Sven Verdoolaegeinterface/extract_interface.cc: adjust to removal of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-24 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2015-07-24 Sven Verdoolaegeallow multiple isl_pw_multi_aff objects with given...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-23 Sven Verdoolaegeextract out isl_union_single.c
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-23 Sven Verdoolaegeisl_union_*_add_part_generic: check for overlapping...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-23 Sven Verdoolaegeisl_union_*_plain_is_equal: also check total number...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-20 Sven Verdoolaegeisl_mat_variable_compression: only set *T2 to NULL...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-20 Sven VerdoolaegeAST generation: use consistent set of pending constraints
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_pw_aff_pullback_union_pw_multi_aff: use isl_union_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_aff.c: upa_pb_upma: use isl_union_pw_multi_aff_foreach_p...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_aff.c: bin_op: use isl_union_pw_multi_aff_foreach_pw_mul...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_aff.c: bin_entry: use isl_union_pw_multi_aff_foreach_pw_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_match_domain_op: use isl_union_*_foreach_*
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_match_bin_op: use isl_union_*_foreach_*
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_foreach_*: check for error before calling...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_pw_qpolynomial_to_polynomial: use isl_union_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_pw_aff_floor: use isl_union_pw_aff_transform_inplace
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_neg: use isl_union_*_transform_inplace
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_scale_down_val: use isl_union_*_transform_inplace
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_scale_val: use isl_union_*_transform_inplace
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_mul_isl_int: extract out isl_union_*_transform_i...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_pw_multi_aff_scale_multi_val: use isl_union_pw_mul...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_subtract_domain: use isl_union_*_transform
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_any_set_op: use isl_union_*_transform
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_dup: extract out isl_union_*_transform
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_reset_user: use isl_union_*_transform_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_set_dim_name: use isl_union_*_transform_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_drop_dims: use isl_union_*_transform_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-18 Sven Verdoolaegeisl_union_*_realign_domain: extract out isl_union_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-17 Sven Verdoolaegeisl_ast_build_set_loop_bounds: extract out update of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-16 Sven Verdoolaegeisl_coalesce.c: coalesce_with_subs: do not add div...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-13 Sven Verdoolaegeisl_union_templ.c: extract out shared isl_union_*_foreach_in...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-13 Sven Verdoolaegeisl_union_templ.c: extract out shared isl_union_*_negate_type
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-13 Sven Verdoolaegeisl_union_templ.c: extract out shared isl_union_*_remove_par...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-13 Sven Verdoolaegeisl_union_templ.c: extract out shared isl_union_*_alloc_same...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-13 Sven Verdoolaegeextract out isl_union_neg.c
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-13 Sven Verdoolaegeextract out isl_union_eval.c
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-13 Sven Verdoolaegeextract out isl_union_macro.h
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-13 Sven Verdoolaegeisl_union_*_find_part_entry: use isl_space_get_domain_hash
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-13 Sven Verdoolaegeadd isl_space_get_domain_hash
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-13 Sven Verdoolaegerename isl_hash_dim to isl_hash_space and "dim" variable...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-13 Sven VerdoolaegeMerge branch 'maint'
 commit | commitdiff | tree
2015-07-13 Sven Verdoolaegeisl_union_*: use consistent hash values
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-06 Sven Verdoolaegeisl_union_*_coalesce_entry: improve error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-06 Sven Verdoolaegeisl_union_*_coalesce_entry: use "PART" type instead...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-05 Sven Verdoolaegedoc/user.pod: fix typo
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-07-04 Sven VerdoolaegeAST generation: remove redundant constraints before...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-30 Sven Verdoolaegeisl_ast_build_node_from_schedule: generate disjunctions...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-30 Sven Verdoolaegeisl_ast_codegen.c: build_ast_from_extension: only include...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-30 Sven Verdoolaegeisl_ast_codegen.c: foreach_iteration: handle empty...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-30 Sven Verdoolaegeisl_ast_graft_list_extract_shared_enforced: allow empty...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-29 Sven Verdoolaegeisl_ast_build_expr_from_set_internal: exploit earlier...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-29 Sven Verdoolaegeisl_ast_build_expr_from_set_internal: operate on list...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-29 Sven Verdoolaegeadd isl_set_get_basic_set_list
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-29 Sven Verdoolaegeisl_int_sioimath.c: directly include stdlib.h (for...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-25 Sven Verdoolaegeisl_arg.c: parse_choice_option: handle "phantom" choice...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-23 Sven Verdoolaegeisl_ast_expr_from_aff: avoid extracting modulos with...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-23 Sven Verdoolaegeisl_basic_map_simplify: remove integer coefficients...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-23 Sven Verdoolaegeisl_basic_map_shift_div: handle shift of coefficients...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-23 Sven Verdoolaegeadd isl_schedule_node_band_mod
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-23 Sven Verdoolaegeadd isl_schedule_node_band_shift
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-21 Sven Verdoolaegegeneralize isl_multi_aff_add
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-21 Sven Verdoolaegeadd isl_multi_*_factor_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-21 Sven Verdoolaegeisl_space_factor_range: accept set space input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-21 Sven Verdoolaegeisl_space.c: move isl_space_factor_range down
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-21 Sven Verdoolaegeadd -std=gnu99 to compile flags when compiling imath...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-21 Sven Verdoolaegeisl_test_int.c: avoid for loop initial declarations
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-17 Sven Verdoolaegeadd isl_val_get_den_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-17 Sven Verdoolaegereplace snprintf by _snprintf when available
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-17 Sven Verdoolaegereplace str{,n}casecmp by _str{,n}icmp when available
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-17 Sven Verdoolaegedefine ffs in terms of _BitScanForward if _BitScanForward...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-17 Sven Verdoolaegeonly include strings.h when needed for ffs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-17 Sven Verdoolaegeisl_coalesce.c: drop "inline" hint from isl_max
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-17 Sven Verdoolaegeisl_coalesce.c rename max to isl_max
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-16 Sven Verdoolaegeisl_qpolynomial_fold_fold_on_domain: return infty on...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-16 Sven Verdoolaegeisl_range.c: propagate_on_bound_pair: extract out shared...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-16 Sven Verdoolaegeisl_range.c: bound2poly: extract out signed_infty
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2015-06-16 Sven Verdoolaegeisl_range.c: bound2poly: rename "dim" variable to ...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
Integer set library