Sven Verdoolaege [Fri, 14 Jun 2013 08:52:31 +0000 (10:52 +0200)]
isl_map_gist_basic_map: remove alignment of context divs with all basic maps
Ever since isl_map_gist was introduced in 0b4619a (add isl_set_gist,
Thu Sep 25 15:24:24 2008 +0200), isl_map_gist (now isl_map_gist_basic_map)
aligns the divs of the context with those of every basic map before
computing the gist of each basic map individually.
Presumably the reason for this global alignment is that if the same
divs appear is multiple basic maps, then the context divs only have
to be aligned to them once instead of once per basic map.
The downside, however, is that if the basic maps have different divs,
then they may end up spreading from one basic map to another,
possibly resulting in a more complicated output, which is contrary
to what you would expect from a "gist" operation.
We remove the global alignment of divs. If this turns out to be problematic
in some way, we can consider different strategies.
Note that the new test case currently does not trigger even without
this change due to simplifications during parsing of the input.
We keep the test case to illustrate the change and in case parsing changes.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 11 Jun 2013 21:05:22 +0000 (23:05 +0200)]
isl_local_space_substitute_equalities: improve error message
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 10 Jun 2013 07:58:12 +0000 (09:58 +0200)]
Merge branch 'maint'
Sven Verdoolaege [Fri, 7 Jun 2013 14:01:13 +0000 (16:01 +0200)]
isl_coalesce.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 30 May 2013 16:30:22 +0000 (18:30 +0200)]
isl_output.c: print_qpolynomial_c: improve error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 6 Jun 2013 12:03:41 +0000 (14:03 +0200)]
isl_map_align_divs: fix error handling
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 5 Jun 2013 08:04:47 +0000 (10:04 +0200)]
isl_hmap_map_basic_set_set: avoid memory leak on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 5 Jun 2013 07:54:18 +0000 (09:54 +0200)]
isl_union_map_alloc: avoid double free on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 5 Jun 2013 07:53:47 +0000 (09:53 +0200)]
isl_vertices.c: compute_chambers: avoid invalid access on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 5 Jun 2013 07:53:19 +0000 (09:53 +0200)]
isl_basic_map_gist: avoid invalid access on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 5 Jun 2013 07:52:33 +0000 (09:52 +0200)]
isl_basic_map_align_divs: avoid invalid access on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 5 Jun 2013 07:52:08 +0000 (09:52 +0200)]
isl_basic_map_contains: avoid invalid access on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 5 Jun 2013 07:50:16 +0000 (09:50 +0200)]
isl_basic_set_opt: avoid invalid access on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 4 Jun 2013 12:27:57 +0000 (14:27 +0200)]
isl_tab_pip.c: context_gbr_save: avoid invalid access on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 4 Jun 2013 12:22:06 +0000 (14:22 +0200)]
isl_tab_pip.c: use_shifted: avoid invalid access on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 4 Jun 2013 11:40:06 +0000 (13:40 +0200)]
isl_ast_codegen.c: generate_component: avoid invalid access on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 21 May 2013 13:41:44 +0000 (15:41 +0200)]
isl_stream_read_map: handle "implies" token
Requested-by: Vladimir Klebanov <klebanov@kit.edu>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 2 Jun 2013 19:23:59 +0000 (21:23 +0200)]
remove reference to piplib from .gitmodules
This was missing from ff1ea6b (properly remove piplib submodule,
Wed Jan 13 09:59:16 2010 +0100).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 1 Jun 2013 18:09:23 +0000 (20:09 +0200)]
isl_input.c: accept_div: accept floor/ceil of rational affine expression
We may want to print interger divisions as floor(...) instead of [...]
in the future, so we might as well start parsing such expressions.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 2 Jun 2013 15:56:04 +0000 (17:56 +0200)]
isl_input.c: extract out common is_start_of_div
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 2 Jun 2013 08:57:15 +0000 (10:57 +0200)]
isl_pw_*_fix_val: also plug in value in associated functions
The original code would only plug in the value in the domains.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 2 Jun 2013 08:39:24 +0000 (10:39 +0200)]
isl_pw_templ.c: extract out isl_pw_*_exploit_equalities_and_remove_if_empty
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 19 Mar 2013 16:44:36 +0000 (17:44 +0100)]
add test case for isl_pw_qpolynomial_intersect_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 31 May 2013 12:37:11 +0000 (14:37 +0200)]
isl_polynomial.c: fix typo in comment
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 17 Apr 2013 10:38:51 +0000 (12:38 +0200)]
isl_ast_codegen.c: contruct_shifted_executed: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 18 Apr 2013 09:26:34 +0000 (11:26 +0200)]
isl_ast_codegen.c: eliminate_non_fixed: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 18 Apr 2013 09:21:32 +0000 (11:21 +0200)]
isl_ast_codegen.c: at_most_one_non_fixed: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 17 Apr 2013 19:16:27 +0000 (21:16 +0200)]
isl_ast_codegen.c: update_unrolling_lower_bound: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 17 Apr 2013 19:11:40 +0000 (21:11 +0200)]
isl_ast_build_has_stride: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 17 Apr 2013 18:54:54 +0000 (20:54 +0200)]
isl_ast_build.c: detect_stride: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 17 Apr 2013 14:01:19 +0000 (16:01 +0200)]
isl_ast_codegen.c: aff_constant_is_negative: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 May 2013 13:27:25 +0000 (15:27 +0200)]
remove private isl_ast_expr_alloc_int which is no longer used
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 May 2013 13:26:15 +0000 (15:26 +0200)]
isl_ast_build_get_stride: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 May 2013 12:47:36 +0000 (14:47 +0200)]
isl_ast_build_scale_down: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 May 2013 13:18:53 +0000 (15:18 +0200)]
isl_ast_expr_from_*: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 May 2013 13:16:48 +0000 (15:16 +0200)]
isl_ast_build_expr.c: isl_ast_expr_add_term: simplify sign changing code
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 May 2013 12:18:14 +0000 (14:18 +0200)]
isl_ast_expr: use isl_val to represent integer expressions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 May 2013 11:46:57 +0000 (13:46 +0200)]
add isl_ast_expr_from_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 12 Apr 2013 21:29:46 +0000 (23:29 +0200)]
add isl_ast_expr_get_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 May 2013 12:12:55 +0000 (14:12 +0200)]
temporarily add isl_val_get_num_isl_int
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 May 2013 12:00:51 +0000 (14:00 +0200)]
temporarily make isl_val_int_from_isl_int available
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 18 Apr 2013 08:52:28 +0000 (10:52 +0200)]
isl_flow.c: before: use isl_vec_cmp_element
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 May 2013 09:44:19 +0000 (11:44 +0200)]
add isl_vec_cmp_element
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 18 Apr 2013 08:49:37 +0000 (10:49 +0200)]
isl_flow.c: sched_info_alloc: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 18 Apr 2013 08:32:13 +0000 (10:32 +0200)]
isl_band.c: multi_aff_tile: use isl_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 May 2013 10:12:45 +0000 (12:12 +0200)]
add isl_token_get_type
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 May 2013 10:04:06 +0000 (12:04 +0200)]
add isl_token_get_str
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 9 Apr 2013 13:56:10 +0000 (15:56 +0200)]
add isl_token_get_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 6 Apr 2013 13:09:59 +0000 (15:09 +0200)]
add isl_obj_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 9 Apr 2013 14:05:47 +0000 (16:05 +0200)]
add isl_union_map_fixed_power_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 5 Apr 2013 08:28:51 +0000 (10:28 +0200)]
add isl_set_count_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 18 Apr 2013 06:54:03 +0000 (08:54 +0200)]
add isl_set_dim_residue_class_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 14 Apr 2013 16:44:23 +0000 (18:44 +0200)]
add isl_map_floordiv_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 14 Apr 2013 16:23:34 +0000 (18:23 +0200)]
add isl_set_plain_get_val_if_fixed
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 28 May 2013 08:48:24 +0000 (10:48 +0200)]
add isl_basic_map_plain_get_val_if_fixed
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 14 Apr 2013 15:53:52 +0000 (17:53 +0200)]
add isl_map_plain_get_val_if_fixed
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 23 Feb 2013 12:41:49 +0000 (13:41 +0100)]
add isl_set_lower_bound_val and isl_set_upper_bound_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 24 Jan 2013 19:51:26 +0000 (20:51 +0100)]
add isl_map_fix_val and isl_set_fix_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 13 Apr 2013 11:11:43 +0000 (13:11 +0200)]
add isl_set_min_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 13 Apr 2013 10:52:51 +0000 (12:52 +0200)]
add isl_set_max_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 16 Apr 2013 13:34:13 +0000 (15:34 +0200)]
add isl_basic_set_max_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 10 Apr 2013 09:34:10 +0000 (11:34 +0200)]
add isl_basic_set_*_lp_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 10 Apr 2013 09:24:10 +0000 (11:24 +0200)]
add private isl_basic_set_get_divs
We will need this function in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 6 Apr 2013 08:11:51 +0000 (10:11 +0200)]
add isl_pw_qpolynomial_fix_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 23 Feb 2013 12:51:46 +0000 (13:51 +0100)]
add isl_pw_aff_mod_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 23 Apr 2013 19:52:32 +0000 (21:52 +0200)]
add isl_pw_aff_scale_down_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 6 Apr 2013 16:29:01 +0000 (18:29 +0200)]
add isl_union_pw_*_scale_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 5 May 2013 16:25:42 +0000 (18:25 +0200)]
add isl_multi_*_scale_val and isl_pw_*_scale_val
We need to add them at the same time because isl_pw_multi_aff_scale_val
depends on isl_multi_aff_scale_val while isl_multi_pw_aff_scale_val depends
on isl_pw_aff_scale_val.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 5 May 2013 17:00:23 +0000 (19:00 +0200)]
add isl_qpolynomial_fold_scale_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 5 May 2013 16:52:55 +0000 (18:52 +0200)]
add isl_qpolynomial_scale_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 26 May 2013 17:06:16 +0000 (19:06 +0200)]
add isl_qpolynomial_val_on_domain
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 5 Apr 2013 08:28:31 +0000 (10:28 +0200)]
add isl_qpolynomial_get_constant_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 6 Apr 2013 12:44:53 +0000 (14:44 +0200)]
add isl_term_get_coefficient_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 4 Apr 2013 14:50:14 +0000 (16:50 +0200)]
add isl_aff_mod_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 23 Apr 2013 19:41:58 +0000 (21:41 +0200)]
add isl_aff_scale_down_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 9 May 2013 10:05:19 +0000 (12:05 +0200)]
add isl_aff_scale_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 12 Apr 2013 11:52:49 +0000 (13:52 +0200)]
add isl_aff_get_denominator_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 12 Apr 2013 11:59:06 +0000 (13:59 +0200)]
add isl_aff_get_coefficient_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 23 Feb 2013 13:40:22 +0000 (14:40 +0100)]
add isl_aff_get_constant_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 23 Feb 2013 14:43:50 +0000 (15:43 +0100)]
add isl_aff_add_coefficient_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 22 Apr 2013 07:45:02 +0000 (09:45 +0200)]
add isl_aff_add_constant_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 9 Apr 2013 16:33:48 +0000 (18:33 +0200)]
add isl_aff_set_coefficient_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 9 Apr 2013 16:33:48 +0000 (18:33 +0200)]
add isl_aff_set_constant_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 13 Apr 2013 11:03:56 +0000 (13:03 +0200)]
add isl_constraint_get_coefficient_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 13 Apr 2013 11:03:56 +0000 (13:03 +0200)]
add isl_constraint_get_constant_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 6 Apr 2013 11:45:02 +0000 (13:45 +0200)]
add isl_constraint_set_coefficient_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 6 Apr 2013 11:45:02 +0000 (13:45 +0200)]
add isl_constraint_set_constant_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 5 Apr 2013 08:27:51 +0000 (10:27 +0200)]
add isl_point_get_coordinate_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 12 Apr 2013 08:19:21 +0000 (10:19 +0200)]
add isl_point_set_coordinate_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 6 Apr 2013 08:32:51 +0000 (10:32 +0200)]
add isl_mat_get_element_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 9 Apr 2013 14:23:48 +0000 (16:23 +0200)]
add isl_mat_set_element_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 18 Apr 2013 07:07:52 +0000 (09:07 +0200)]
add isl_vec_set_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 14 Apr 2013 18:24:25 +0000 (20:24 +0200)]
add isl_vec_get_element_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 6 Apr 2013 11:44:39 +0000 (13:44 +0200)]
add isl_vec_set_element_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 6 Apr 2013 08:33:43 +0000 (10:33 +0200)]
add GMP specific isl_val functions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 30 Apr 2013 19:25:34 +0000 (21:25 +0200)]
add isl_multi_val_mod_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 30 Apr 2013 19:23:09 +0000 (21:23 +0200)]
add isl_multi_val_add_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 30 Apr 2013 19:20:16 +0000 (21:20 +0200)]
add isl_multi_val
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 30 Apr 2013 19:01:02 +0000 (21:01 +0200)]
isl_multi_templ.c: isl_multi_*_set_*: extract out check for matching space
We will be adding isl_multi_val next, where such a check does not make sense.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 30 Apr 2013 04:53:17 +0000 (06:53 +0200)]
add isl_val_list
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
projects / platform / upstream / isl.git / log