?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
scheduler: try carrying only self-dependences in the Feautrier fallback
2017-06-07 Sven Verdoolaegescheduler: try carrying only self-dependences in the...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: compute_carrying_sol: extract out...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: find_node_coalescing: use half of...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeadd isl_val_div_ui
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: compute_max_coefficient: round up...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeadd isl_int_cdiv_q_ui
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_test_int: add more isl_int_cdiv_q tests
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeimath backend: use tailored isl_int_fdiv_q_ui
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: compute_schedule_finish_band: split...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: split_scaled: do not enforce relative...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegescheduler: change order of coefficients in (I)LP problems
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: extract out shared node_par_coef_offset
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: extract out shared node_cst_coef_offset
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: extract_var_coef: drop comment on...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: add_var_sum_constraint: drop comment...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_sched_node: drop cmap field
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: update_schedule: drop support for...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegescheduler: solve for original schedule coefficients
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeignore computed schedule of timing test case
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: isl_sched_node: normalize non-trivial...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeadd isl_mat_lexnonneg_rows
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeadd isl_mat_reverse_gauss
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeadd isl_mat_row_neg
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_mat.c: extract out shared check_row
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: isl_sched_node: only store rows that...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegescheduler: reverse order of schedule coefficients
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: extract out shared node_var_coef_pos
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_dim_map_range: allow negative strides
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: construct_trivial: construct region...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_tab_basic_set_non_trivial_lexmin: take triviality...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_tab_pip.c: region_is_trivial: return isl_bool
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_tab_basic_set_non_trivial_lexmin: extract out fix_zero...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_tab_pip.c: extend isl_trivial documentation
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeadd isl_vec_is_zero
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegescheduler: solve Feautrier fallback as ILP to avoid...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeadd isl_tab_lexmin_cut_to_integer
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: compute_schedule_finish_band: also...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: count_map_constraints: drop "carry...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: compute_carrying_sol: remove duplicate...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: carry_dependences: extract out compute_carr...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: carry_dependences: delay erroring...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: add_inter_constraints: return isl_stat
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: add_intra_constraints: return isl_stat
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: inter_dim_map: handle NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: intra_dim_map: handle NULL input
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeadd isl_union_set_get_basic_set_list
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_*_list_concat: special case pre-allocated list
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeadd isl_union_{map,set}_remove_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeadd isl_basic_set_list_coefficients
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeadd isl_list_*_map_*
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_list_templ.c: extract out shared isl_list_*_check_index
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_sched_graph: add identifier to compressed nodes...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeadd isl_basic_set_variable_compression_with_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_basic_set_variable_compression: rename "dim" variable...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_sched_graph: ignore parameters in identification...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: node_has_space: rename "dim" variable...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_scheduler.c: graph_find_node: rename "dim" argument...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeadd isl_space_get_tuple_hash
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_space_get_{hash,domain_hash}: only hash in parameters...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_hash_{space,space_domain}: extract out shared parameter...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeisl_space_get_hash: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegetest_inputs/codegen/{atomic,separate}.*: explicitly...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-25 Tobias Grossercpp: add unit tests
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeinterface: make language bindings depend on all relevant...
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-25 Sven Verdoolaegeinterface/Makefile.am: drop test target
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_schedule_constraints_compute_schedule: do not merge...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_union_map.c: rename cond_un_op to un_op
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_union_map.c: un_op: implement in terms of cond_un_op...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_union_map.c: inplace: implement in terms of cond_un_op
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_union_map.c: cond_un_op: unify callbacks
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_union_map.c: cond_un_op: drop needless error label
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_union_map.c: cond_un_op: use isl_union_map_get_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_union_map.c: un_op: use isl_union_map_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_union_map.c: inplace: use isl_union_map_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_union_map.c: cond_un_op: use isl_union_map_get_ctx
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_union_map_factor_range: use isl_map_is_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_union_map_factor_domain: use isl_map_is_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeadd isl_map_is_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_space_can_zip: extract out isl_space_is_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_space_can_zip: rename "dim" argument to "space"
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_scheduler.c: count_map_constraints: use isl_basic_set_n_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_scheduler.c: add_constraints_dim_map: use isl_basic_set_...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_scheduler: extract out shared add_constraints_dim_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_scheduler.c: compute_weights: use isl_basic_map_n_equality
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeadd isl_basic_set_n_inequality
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeadd isl_basic_map_n_inequality
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeadd isl_basic_set_n_equality
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeadd isl_basic_map_n_equality
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_scheduler.c: fix whitespace
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_scheduler.c: non_neg_lexmin: improve documentation
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_scheduler.c: clarify that space of isl_sched_node...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_scheduler.c: fix documentation of inter_dim_map...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeinclude/isl/map.h: drop note about memory management
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_tab_pip.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_scheduler.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_map_simplify.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_morph.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_flow.c: fix typos in comments
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegeisl_coalesce.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
2017-05-17 Sven Verdoolaegedoc: fix typo in description of schedule_split_scaled...
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
 commit | commitdiff | tree
next
Integer set library