platform/upstream/isl.git
11 years agoisl 0.12 isl-0.12
Sven Verdoolaege [Sun, 23 Jun 2013 18:23:26 +0000 (20:23 +0200)]
isl 0.12

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agodoc: fix typo
Sven Verdoolaege [Sun, 23 Jun 2013 18:22:29 +0000 (20:22 +0200)]
doc: fix typo

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agotry and avoid depending on mpz_gcdext internals
Sven Verdoolaege [Wed, 19 Jun 2013 09:22:18 +0000 (11:22 +0200)]
try and avoid depending on mpz_gcdext internals

The results of mpz_gcdext are not uniquely defined and may depend
on the version of GMP used.  Since the results may influence the
construction of the stride offset in detect_stride in isl_ast_build.c,
this may result in user visible differences.

We therefore try to obtain more consistent results by analyzing
the results of the installed version of GMP and calling a modified
version of mpz_gcdext if needed.  This modified version may not
be complete and may still have to be extended.  In the worst case,
we may have to revert to the open-coded version that was removed in
10a7f8a (isl_ast_build.c: use isl_int_gcdext instead of open-coded version,
Wed Apr 17 17:51:55 2013 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agoisl_printer_print_map: make printing order of disjuncts platform independent
Sven Verdoolaege [Wed, 19 Jun 2013 07:04:39 +0000 (09:04 +0200)]
isl_printer_print_map: make printing order of disjuncts platform independent

In particular, the printing order is based on a sort of the affine hulls
of the disjuncts.  If some of these affine hulls are the same, then the
comparison routine will leave their order open.  Different implementations
of qsort may therefore produce different results.  By using isl_sort instead,
we can avoid this platform dependence.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agoisl_constraint_private.h: perform proper includes
Sven Verdoolaege [Tue, 18 Jun 2013 17:29:53 +0000 (19:29 +0200)]
isl_constraint_private.h: perform proper includes

This was missing from 87904b9 (implement isl_constraint on top of isl_vec,
Mon Aug 29 15:34:59 2011 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agoMakefile.am: add isl_val_private.h to libisl.la sources
Sven Verdoolaege [Tue, 18 Jun 2013 12:34:19 +0000 (14:34 +0200)]
Makefile.am: add isl_val_private.h to libisl.la sources

This was missing from 73d4b81 (add isl_val abstraction,
Sun Apr 21 22:59:57 2013 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agodoc: explain that isl_ints will be removed in future releases
Sven Verdoolaege [Mon, 17 Jun 2013 11:44:10 +0000 (13:44 +0200)]
doc: explain that isl_ints will be removed in future releases

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agoremove *_scale_vec functions
Sven Verdoolaege [Tue, 18 Jun 2013 10:32:05 +0000 (12:32 +0200)]
remove *_scale_vec functions

They have been superseded by *_scale_multi_val functions, which provide
a nicer interface.  Since the *_scale_vec functions were introduced
after the latest release, removing them does not cause any backward
compatibility problems.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agoisl_band_tile: use isl_union_pw_multi_aff_scale_multi_val
Sven Verdoolaege [Tue, 18 Jun 2013 08:33:17 +0000 (10:33 +0200)]
isl_band_tile: use isl_union_pw_multi_aff_scale_multi_val

We want to remove isl_union_pw_multi_aff_scale_vec, so we have
to use isl_union_pw_multi_aff_scale_multi_val instead.
This means we have to convert the input isl_vec to an isl_multi_val.
We probably want to change the argument of isl_band_tile from
an isl_vec to an isl_multi_val, but this would break compatibility.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agoadd isl_union_pw_multi_aff_scale_multi_val
Sven Verdoolaege [Tue, 18 Jun 2013 09:53:29 +0000 (11:53 +0200)]
add isl_union_pw_multi_aff_scale_multi_val

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agoadd isl_pw_multi_aff_scale_multi_val
Sven Verdoolaege [Tue, 18 Jun 2013 09:35:44 +0000 (11:35 +0200)]
add isl_pw_multi_aff_scale_multi_val

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agoadd isl_multi_*_scale_multi_val
Sven Verdoolaege [Tue, 18 Jun 2013 09:28:59 +0000 (11:28 +0200)]
add isl_multi_*_scale_multi_val

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agomerge shared isl_multi_*_align_params declaration
Sven Verdoolaege [Tue, 18 Jun 2013 09:13:50 +0000 (11:13 +0200)]
merge shared isl_multi_*_align_params declaration

This was missing from a6db6e8 (merge shared isl_multi_* declarations,
Tue Apr 30 20:45:00 2013 +0200), resulting in isl_multi_val_align_params
getting documented without being declared in 930939a (add isl_multi_val,
Tue Apr 30 21:20:16 2013 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agoadd isl_val_int_from_chunks and isl_val_get_abs_num_chunks
Sven Verdoolaege [Sat, 15 Jun 2013 08:07:33 +0000 (10:07 +0200)]
add isl_val_int_from_chunks and isl_val_get_abs_num_chunks

These allow for a backend independent way of converting from/to
multiple precision integers.

Requested-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
11 years agoMerge branch 'maint'
Sven Verdoolaege [Fri, 14 Jun 2013 10:00:56 +0000 (12:00 +0200)]
Merge branch 'maint'

11 years agoisl_{in,}equality_from_aff: skip construction of isl_basic_set
Sven Verdoolaege [Fri, 14 Jun 2013 09:58:06 +0000 (11:58 +0200)]
isl_{in,}equality_from_aff: skip construction of isl_basic_set

Back when isl_equality_from_aff was introduced in aa6c066
(add isl_equality_from_aff, Thu May 12 15:55:15 2011 +0200),
an isl_constraint was still implemented on top of an isl_basic_map
and we had to construct this isl_basic_set.
Now that isl_constraint is implemented on top of an isl_local_space
and an isl_vec, the construction of this isl_basic_set is pure overhead.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
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_multi_*_gist: add missing isl_multi_*_cow
Sven Verdoolaege [Fri, 14 Jun 2013 06:14:23 +0000 (08:14 +0200)]
isl_multi_*_gist: add missing isl_multi_*_cow

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 agoisl_local_space_substitute_equalities: avoid writing to shared matrix
Sven Verdoolaege [Tue, 11 Jun 2013 21:02:09 +0000 (23:02 +0200)]
isl_local_space_substitute_equalities: avoid writing to shared matrix

We only called isl_local_space_cow on the local space itself,
but the div matrix could still be shared with other local spaces.

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>