platform/upstream/isl.git
11 years agoisl_map_gist_basic_map: remove alignment of context divs with all basic maps
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>
11 years agoisl_local_space_substitute_equalities: improve error message
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>
11 years agoMerge branch 'maint'
Sven Verdoolaege [Mon, 10 Jun 2013 07:58:12 +0000 (09:58 +0200)]
Merge branch 'maint'

11 years agoisl_coalesce.c: fix typo in comment
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>
11 years agoisl_output.c: print_qpolynomial_c: improve error handling
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>
11 years agoisl_map_align_divs: fix error handling
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>
11 years agoisl_hmap_map_basic_set_set: avoid memory leak on error path
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>
11 years agoisl_union_map_alloc: avoid double free on error path
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>
11 years agoisl_vertices.c: compute_chambers: avoid invalid access on error path
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>
11 years agoisl_basic_map_gist: avoid invalid access on error path
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>
11 years agoisl_basic_map_align_divs: avoid invalid access on error path
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>
11 years agoisl_basic_map_contains: avoid invalid access on error path
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>
11 years agoisl_basic_set_opt: avoid invalid access on error path
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>
11 years agoisl_tab_pip.c: context_gbr_save: avoid invalid access on error path
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>
11 years agoisl_tab_pip.c: use_shifted: avoid invalid access on error path
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>
11 years agoisl_ast_codegen.c: generate_component: avoid invalid access on error path
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>
11 years agoisl_stream_read_map: handle "implies" token
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>
11 years agoremove reference to piplib from .gitmodules
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>
11 years agoisl_input.c: accept_div: accept floor/ceil of rational affine expression
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>
11 years agoisl_input.c: extract out common is_start_of_div
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>
11 years agoisl_pw_*_fix_val: also plug in value in associated functions
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>
11 years agoisl_pw_templ.c: extract out isl_pw_*_exploit_equalities_and_remove_if_empty
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>
11 years agoadd test case for isl_pw_qpolynomial_intersect_domain
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>
11 years agoisl_polynomial.c: fix typo in comment
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>
11 years agoisl_ast_codegen.c: contruct_shifted_executed: use isl_val
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>
11 years agoisl_ast_codegen.c: eliminate_non_fixed: use isl_val
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>
11 years agoisl_ast_codegen.c: at_most_one_non_fixed: use isl_val
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>
11 years agoisl_ast_codegen.c: update_unrolling_lower_bound: use isl_val
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>
11 years agoisl_ast_build_has_stride: use isl_val
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>
11 years agoisl_ast_build.c: detect_stride: use isl_val
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>
11 years agoisl_ast_codegen.c: aff_constant_is_negative: use isl_val
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>
11 years agoremove private isl_ast_expr_alloc_int which is no longer used
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>
11 years agoisl_ast_build_get_stride: use isl_val
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>
11 years agoisl_ast_build_scale_down: use isl_val
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>
11 years agoisl_ast_expr_from_*: use isl_val
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>
11 years agoisl_ast_build_expr.c: isl_ast_expr_add_term: simplify sign changing code
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>
11 years agoisl_ast_expr: use isl_val to represent integer expressions
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>
11 years agoadd isl_ast_expr_from_val
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>
11 years agoadd isl_ast_expr_get_val
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>
11 years agotemporarily add isl_val_get_num_isl_int
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>
11 years agotemporarily make isl_val_int_from_isl_int available
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>
11 years agoisl_flow.c: before: use isl_vec_cmp_element
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>
11 years agoadd isl_vec_cmp_element
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>
11 years agoisl_flow.c: sched_info_alloc: use isl_val
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>
11 years agoisl_band.c: multi_aff_tile: use isl_val
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>
11 years agoadd isl_token_get_type
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>
11 years agoadd isl_token_get_str
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>
11 years agoadd isl_token_get_val
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>
11 years agoadd isl_obj_val
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>
11 years agoadd isl_union_map_fixed_power_val
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>
11 years agoadd isl_set_count_val
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>
11 years agoadd isl_set_dim_residue_class_val
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>
11 years agoadd isl_map_floordiv_val
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>
11 years agoadd isl_set_plain_get_val_if_fixed
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>
11 years agoadd isl_basic_map_plain_get_val_if_fixed
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>
11 years agoadd isl_map_plain_get_val_if_fixed
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>
11 years agoadd isl_set_lower_bound_val and isl_set_upper_bound_val
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>
11 years agoadd isl_map_fix_val and isl_set_fix_val
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>
11 years agoadd isl_set_min_val
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>
11 years agoadd isl_set_max_val
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>
11 years agoadd isl_basic_set_max_val
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>
11 years agoadd isl_basic_set_*_lp_val
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>
11 years agoadd private isl_basic_set_get_divs
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>
11 years agoadd isl_pw_qpolynomial_fix_val
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>
11 years agoadd isl_pw_aff_mod_val
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>
11 years agoadd isl_pw_aff_scale_down_val
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>
11 years agoadd isl_union_pw_*_scale_val
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>
11 years agoadd isl_multi_*_scale_val and isl_pw_*_scale_val
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>
11 years agoadd isl_qpolynomial_fold_scale_val
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>
11 years agoadd isl_qpolynomial_scale_val
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>
11 years agoadd isl_qpolynomial_val_on_domain
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>
11 years agoadd isl_qpolynomial_get_constant_val
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>
11 years agoadd isl_term_get_coefficient_val
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>
11 years agoadd isl_aff_mod_val
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>
11 years agoadd isl_aff_scale_down_val
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>
11 years agoadd isl_aff_scale_val
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>
11 years agoadd isl_aff_get_denominator_val
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>
11 years agoadd isl_aff_get_coefficient_val
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>
11 years agoadd isl_aff_get_constant_val
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>
11 years agoadd isl_aff_add_coefficient_val
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>
11 years agoadd isl_aff_add_constant_val
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>
11 years agoadd isl_aff_set_coefficient_val
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>
11 years agoadd isl_aff_set_constant_val
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>
11 years agoadd isl_constraint_get_coefficient_val
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>
11 years agoadd isl_constraint_get_constant_val
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>
11 years agoadd isl_constraint_set_coefficient_val
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>
11 years agoadd isl_constraint_set_constant_val
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>
11 years agoadd isl_point_get_coordinate_val
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>
11 years agoadd isl_point_set_coordinate_val
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>
11 years agoadd isl_mat_get_element_val
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>
11 years agoadd isl_mat_set_element_val
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>
11 years agoadd isl_vec_set_val
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>
11 years agoadd isl_vec_get_element_val
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>
11 years agoadd isl_vec_set_element_val
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>
11 years agoadd GMP specific isl_val functions
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>
11 years agoadd isl_multi_val_mod_val
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>
11 years agoadd isl_multi_val_add_val
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>
11 years agoadd isl_multi_val
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>
11 years agoisl_multi_templ.c: isl_multi_*_set_*: extract out check for matching space
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>
11 years agoadd isl_val_list
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>