platform/upstream/isl.git
13 years agoallow isl_ids with negative reference counts
Sven Verdoolaege [Thu, 25 Aug 2011 19:18:34 +0000 (21:18 +0200)]
allow isl_ids with negative reference counts

This will be useful for static isl_ids that are not supposed to change.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoproper implementation of isl_union_map_from_range
Sven Verdoolaege [Sat, 27 Aug 2011 15:41:45 +0000 (17:41 +0200)]
proper implementation of isl_union_map_from_range

The original implementation would just return the input
because isl_sets and isl_maps have the same internal representation.
This will change in the near future, however, and so we need
to actually compute the range of all the elements in the input.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_map_from_domain_and_range: drop explicit conversion to isl_map
Sven Verdoolaege [Sat, 27 Aug 2011 12:41:11 +0000 (14:41 +0200)]
isl_map_from_domain_and_range: drop explicit conversion to isl_map

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_set_apply_pw_qpolynomial_fold: drop explicit conversion to isl_map
Sven Verdoolaege [Sat, 27 Aug 2011 12:38:09 +0000 (14:38 +0200)]
isl_set_apply_pw_qpolynomial_fold: drop explicit conversion to isl_map

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_tab_basic_set_non_trivial_lexmin: drop explicit conversion to isl_basic_map
Sven Verdoolaege [Sat, 27 Aug 2011 12:31:31 +0000 (14:31 +0200)]
isl_tab_basic_set_non_trivial_lexmin: drop explicit conversion to isl_basic_map

And similarly for isl_tab_basic_set_non_neg_lexmin.

In future, the space of an isl_basic_map will be different from that
of an isl_basic_set.  Calling isl_basic_map_from_range may therefore
result in possibly costly changes.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_tab_pip.c: fix whitespace issue
Sven Verdoolaege [Sat, 27 Aug 2011 12:33:12 +0000 (14:33 +0200)]
isl_tab_pip.c: fix whitespace issue

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_set_read_from_*: coerce set-like maps into sets
Sven Verdoolaege [Sun, 28 Aug 2011 08:21:52 +0000 (10:21 +0200)]
isl_set_read_from_*: coerce set-like maps into sets

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_input.c: map_read_polylib: convert set-like maps to sets
Sven Verdoolaege [Sun, 28 Aug 2011 08:17:57 +0000 (10:17 +0200)]
isl_input.c: map_read_polylib: convert set-like maps to sets

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_input.c: obj_read: start off from parameter space
Sven Verdoolaege [Sun, 28 Aug 2011 07:53:27 +0000 (09:53 +0200)]
isl_input.c: obj_read: start off from parameter space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_input.c: represent nested tuple as isl_set
Sven Verdoolaege [Sun, 28 Aug 2011 07:49:45 +0000 (09:49 +0200)]
isl_input.c: represent nested tuple as isl_set

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_input.c: obj_read_poly_or_fold: represent domain as isl_set
Sven Verdoolaege [Sat, 27 Aug 2011 12:17:32 +0000 (14:17 +0200)]
isl_input.c: obj_read_poly_or_fold: represent domain as isl_set

Although, internally, isl_sets and isl_maps are the same,
conceptually, the domain of an isl_pw_qpolynomial is an isl_set.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_basic_set_multiplicative_call: explicitly project on parameter space
Sven Verdoolaege [Sun, 28 Aug 2011 07:20:31 +0000 (09:20 +0200)]
isl_basic_set_multiplicative_call: explicitly project on parameter space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_pw_qpolynomial_fold_bound: explicitly project on parameter space
Sven Verdoolaege [Sun, 28 Aug 2011 07:43:35 +0000 (09:43 +0200)]
isl_pw_qpolynomial_fold_bound: explicitly project on parameter space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_qpolynomial_bound_on_domain_bernstein: explicitly project on parameter space
Sven Verdoolaege [Sun, 28 Aug 2011 07:31:01 +0000 (09:31 +0200)]
isl_qpolynomial_bound_on_domain_bernstein: explicitly project on parameter space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_qpolynomial_bound_on_domain_range: explicitly project on parameter space
Sven Verdoolaege [Sun, 28 Aug 2011 07:15:25 +0000 (09:15 +0200)]
isl_qpolynomial_bound_on_domain_range: explicitly project on parameter space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_union_map_from_map: explicitly project on parameter space
Sven Verdoolaege [Sat, 3 Sep 2011 19:34:15 +0000 (21:34 +0200)]
isl_union_map_from_map: explicitly project on parameter space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_union_map_align_params: explicitly project on parameter space
Sven Verdoolaege [Sat, 3 Sep 2011 19:42:07 +0000 (21:42 +0200)]
isl_union_map_align_params: explicitly project on parameter space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_polynomial.c: constant_on_domain: explicitly project on parameter space
Sven Verdoolaege [Sat, 27 Aug 2011 12:50:44 +0000 (14:50 +0200)]
isl_polynomial.c: constant_on_domain: explicitly project on parameter space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agobasic_set_dim_max: explicitly project on parameter space
Sven Verdoolaege [Sun, 28 Aug 2011 08:36:00 +0000 (10:36 +0200)]
basic_set_dim_max: explicitly project on parameter space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_basic_set_compute_vertices: explicitly turn chambers into parameter sets
Sven Verdoolaege [Sun, 28 Aug 2011 07:00:20 +0000 (09:00 +0200)]
isl_basic_set_compute_vertices: explicitly turn chambers into parameter sets

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agobound.c: explicitly convert context into parameter set
Sven Verdoolaege [Sun, 28 Aug 2011 07:28:36 +0000 (09:28 +0200)]
bound.c: explicitly convert context into parameter set

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agopip.c: explicitly convert context into parameter set
Sven Verdoolaege [Sat, 27 Aug 2011 12:08:33 +0000 (14:08 +0200)]
pip.c: explicitly convert context into parameter set

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_qpolynomial_fold_project_domain_on_params
Sven Verdoolaege [Fri, 26 Aug 2011 20:22:08 +0000 (22:22 +0200)]
add isl_pw_qpolynomial_fold_project_domain_on_params

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_qpolynomial_project_domain_on_params
Sven Verdoolaege [Fri, 26 Aug 2011 20:21:31 +0000 (22:21 +0200)]
add isl_qpolynomial_project_domain_on_params

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_pw_qpolynomial_project_out
Sven Verdoolaege [Tue, 16 Aug 2011 09:29:54 +0000 (11:29 +0200)]
add isl_pw_qpolynomial_project_out

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_morph_{dom,ran}_params
Sven Verdoolaege [Sat, 27 Aug 2011 08:43:29 +0000 (10:43 +0200)]
add isl_morph_{dom,ran}_params

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_basic_set_params and isl_set_params
Sven Verdoolaege [Sat, 27 Aug 2011 09:05:30 +0000 (11:05 +0200)]
add isl_basic_set_params and isl_set_params

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_space_params_alloc
Sven Verdoolaege [Sat, 27 Aug 2011 08:57:25 +0000 (10:57 +0200)]
add isl_space_params_alloc

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_stream_read_set: accept parameter domains
Sven Verdoolaege [Fri, 26 Aug 2011 07:57:31 +0000 (09:57 +0200)]
isl_stream_read_set: accept parameter domains

In particular, accept sets without a tuple, e.g.,

[N] -> { : N >= 1 }

At this moment, no distinction is made between a "parameter domain"
and a zero-dimensional set.  However, this will change in the near
future and so we need to have a different notation for these two
types of sets.  We start by allowing the new notation for parameter
domains.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_pw_qpolynomial_fold_bound: simplify construction of target space
Sven Verdoolaege [Sun, 28 Aug 2011 07:36:59 +0000 (09:36 +0200)]
isl_pw_qpolynomial_fold_bound: simplify construction of target space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_test.c: properly create set space
Sven Verdoolaege [Fri, 26 Aug 2011 20:17:11 +0000 (22:17 +0200)]
isl_test.c: properly create set space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_map_range_map: fix space manipulation
Sven Verdoolaege [Sun, 28 Aug 2011 08:31:46 +0000 (10:31 +0200)]
isl_map_range_map: fix space manipulation

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_map_range: construct correct space for result
Sven Verdoolaege [Sun, 28 Aug 2011 08:31:23 +0000 (10:31 +0200)]
isl_map_range: construct correct space for result

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_basic_set_alloc: create basic set in proper set space
Sven Verdoolaege [Sun, 28 Aug 2011 06:55:17 +0000 (08:55 +0200)]
isl_basic_set_alloc: create basic set in proper set space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_space_wrap: properly create set space
Sven Verdoolaege [Sat, 27 Aug 2011 12:24:07 +0000 (14:24 +0200)]
isl_space_wrap: properly create set space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_set_from_pw_aff
Sven Verdoolaege [Mon, 29 Aug 2011 11:04:10 +0000 (13:04 +0200)]
add isl_set_from_pw_aff

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agorename PW_alloc_ to PW_alloc_size
Sven Verdoolaege [Tue, 16 Aug 2011 08:57:03 +0000 (10:57 +0200)]
rename PW_alloc_ to PW_alloc_size

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_pw_*_add_disjoint: try and extend one of the pws instead of copying pieces
Sven Verdoolaege [Sun, 14 Aug 2011 14:54:20 +0000 (16:54 +0200)]
isl_pw_*_add_disjoint: try and extend one of the pws instead of copying pieces

This is especially useful when isl_pw_*_add_disjoint is used
to repeatedly add a single piece.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_space_match: optimize trivial cases
Sven Verdoolaege [Sun, 14 Aug 2011 14:53:33 +0000 (16:53 +0200)]
isl_space_match: optimize trivial cases

A space is obviously equal to itself.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_map_flat_domain_product
Sven Verdoolaege [Tue, 9 Aug 2011 20:37:52 +0000 (22:37 +0200)]
add isl_map_flat_domain_product

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_access_info_compute_flow: align parameters of input access relations
Sven Verdoolaege [Thu, 11 Aug 2011 12:03:55 +0000 (14:03 +0200)]
isl_access_info_compute_flow: align parameters of input access relations

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoalign parameters of arguments to isl_map_{lexmin,lexmax}
Sven Verdoolaege [Thu, 11 Aug 2011 11:21:32 +0000 (13:21 +0200)]
align parameters of arguments to isl_map_{lexmin,lexmax}

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_space_align_params: accept general isl_spaces
Sven Verdoolaege [Thu, 11 Aug 2011 11:20:06 +0000 (13:20 +0200)]
isl_space_align_params: accept general isl_spaces

Before, we would only accept parameter spaces.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_space_params
Sven Verdoolaege [Thu, 18 Aug 2011 18:03:41 +0000 (20:03 +0200)]
add isl_space_params

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agorename isl_dim to isl_space
Sven Verdoolaege [Sun, 21 Aug 2011 08:38:41 +0000 (10:38 +0200)]
rename isl_dim to isl_space

The old name was confusing because the name suggested that the object
represents a single dimension, while in fact it represents an entire space.
The documented isl_dim based names are for backward compatibility.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agodocument isl_dim_move
Sven Verdoolaege [Sun, 21 Aug 2011 11:49:37 +0000 (13:49 +0200)]
document isl_dim_move

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agosplit off declarations from isl_polynomial.h to separate file
Sven Verdoolaege [Sun, 21 Aug 2011 11:02:38 +0000 (13:02 +0200)]
split off declarations from isl_polynomial.h to separate file

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agomerge isl_*_dump functions
Sven Verdoolaege [Sat, 20 Aug 2011 17:12:08 +0000 (19:12 +0200)]
merge isl_*_dump functions

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_set_dim_min
Sven Verdoolaege [Thu, 1 Sep 2011 08:32:04 +0000 (10:32 +0200)]
add isl_set_dim_min

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_basic_set_foreach_lexopt
Sven Verdoolaege [Thu, 1 Sep 2011 08:30:37 +0000 (10:30 +0200)]
add isl_basic_set_foreach_lexopt

13 years agoadd isl_pw_aff_union_opt
Sven Verdoolaege [Thu, 1 Sep 2011 08:30:10 +0000 (10:30 +0200)]
add isl_pw_aff_union_opt

13 years agoadd isl_pw_aff_union_min
Sven Verdoolaege [Thu, 1 Sep 2011 08:22:09 +0000 (10:22 +0200)]
add isl_pw_aff_union_min

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_le_basic_set
Sven Verdoolaege [Thu, 1 Sep 2011 08:18:18 +0000 (10:18 +0200)]
add isl_aff_le_basic_set

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_qpolynomial_free: return NULL
Sven Verdoolaege [Thu, 1 Sep 2011 14:21:18 +0000 (16:21 +0200)]
isl_qpolynomial_free: return NULL

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoMerge branch 'maint'
Sven Verdoolaege [Wed, 31 Aug 2011 17:38:16 +0000 (19:38 +0200)]
Merge branch 'maint'

13 years agoisl_qpolynomial_rat_cst: handle NULL space
Sven Verdoolaege [Tue, 30 Aug 2011 12:21:12 +0000 (14:21 +0200)]
isl_qpolynomial_rat_cst: handle NULL space

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agobernstein_coefficients_cell: handle NULL poly
Sven Verdoolaege [Tue, 30 Aug 2011 12:14:15 +0000 (14:14 +0200)]
bernstein_coefficients_cell: handle NULL poly

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_printer_to_str: intialize buffer to empty string
Sven Verdoolaege [Thu, 25 Aug 2011 10:10:29 +0000 (12:10 +0200)]
isl_printer_to_str: intialize buffer to empty string

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_map_insert: properly handle named or nested spaces
Sven Verdoolaege [Sat, 27 Aug 2011 08:31:30 +0000 (10:31 +0200)]
isl_map_insert: properly handle named or nested spaces

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_set_flat_product: call isl_map_range_flat_product
Sven Verdoolaege [Fri, 5 Aug 2011 16:02:18 +0000 (18:02 +0200)]
isl_set_flat_product: call isl_map_range_flat_product

A set only has a "range", so we should only compute the product of
that range and not of the domain.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd some isl_map_plain_is_fixed tests
Sven Verdoolaege [Tue, 23 Aug 2011 13:27:39 +0000 (15:27 +0200)]
add some isl_map_plain_is_fixed tests

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_basic_map_neg: gauss result
Sven Verdoolaege [Tue, 23 Aug 2011 13:22:53 +0000 (15:22 +0200)]
isl_basic_map_neg: gauss result

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_dim_get_tuple_id: complain if tuple has no id
Sven Verdoolaege [Tue, 9 Aug 2011 14:45:45 +0000 (16:45 +0200)]
isl_dim_get_tuple_id: complain if tuple has no id

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_dim_get_dim_id: complain if dim has no id
Sven Verdoolaege [Thu, 11 Aug 2011 15:17:49 +0000 (17:17 +0200)]
isl_dim_get_dim_id: complain if dim has no id

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_*_has_tuple_id
Sven Verdoolaege [Fri, 12 Aug 2011 09:32:14 +0000 (11:32 +0200)]
add isl_*_has_tuple_id

The isl_*_git_tuple_id functions cannot be used to find out
whether a dimension has an id as they may also return NULL
on failures.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_*_has_dim_id
Sven Verdoolaege [Thu, 11 Aug 2011 14:33:15 +0000 (16:33 +0200)]
add isl_*_has_dim_id

The isl_*_git_dim_id functions cannot be used to find out
whether a dimension has an id as they may also return NULL
on failures.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agodoc: warn about the limited use of identifiers of individual dimensions
Sven Verdoolaege [Fri, 12 Aug 2011 09:18:37 +0000 (11:18 +0200)]
doc: warn about the limited use of identifiers of individual dimensions

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agodocument isl_map_dim
Sven Verdoolaege [Thu, 11 Aug 2011 15:36:19 +0000 (17:36 +0200)]
document isl_map_dim

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agorename isl_map_insert to isl_set_insert_dims and add it to the docs
Sven Verdoolaege [Thu, 11 Aug 2011 08:21:27 +0000 (10:21 +0200)]
rename isl_map_insert to isl_set_insert_dims and add it to the docs

The new name is more consistent with other functions, especially
isl_map_add_dims.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoMerge branch 'maint'
Sven Verdoolaege [Thu, 11 Aug 2011 08:14:00 +0000 (10:14 +0200)]
Merge branch 'maint'

13 years agoisl_dim_equal: handle NULL input
Sven Verdoolaege [Wed, 10 Aug 2011 17:31:30 +0000 (19:31 +0200)]
isl_dim_equal: handle NULL input

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_dim_tuple_match: handle NULL input
Sven Verdoolaege [Wed, 10 Aug 2011 17:31:16 +0000 (19:31 +0200)]
isl_dim_tuple_match: handle NULL input

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_map_is_subset: a map cannot be as subset of a map in a different space
Sven Verdoolaege [Wed, 10 Aug 2011 08:17:54 +0000 (10:17 +0200)]
isl_map_is_subset: a map cannot be as subset of a map in a different space

The only debatable case is that of an empty map, which in principle
could be considered to be a subset of any map.  This patch considers
empty maps not to be subsets of maps in other spaces.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agodocument isl_map_plain_is_fixed
Sven Verdoolaege [Sat, 6 Aug 2011 20:30:40 +0000 (22:30 +0200)]
document isl_map_plain_is_fixed

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoMerge branch 'maint'
Sven Verdoolaege [Fri, 5 Aug 2011 16:03:39 +0000 (18:03 +0200)]
Merge branch 'maint'

13 years agoisl_set_product: call isl_map_range_product instead of isl_map_product
Sven Verdoolaege [Fri, 5 Aug 2011 16:02:18 +0000 (18:02 +0200)]
isl_set_product: call isl_map_range_product instead of isl_map_product

A set only has a "range", so we should only compute the product of
that range and not of the domain.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_basic_map_remove_dims: properly handle named or nested spaces
Sven Verdoolaege [Fri, 5 Aug 2011 15:55:19 +0000 (17:55 +0200)]
isl_basic_map_remove_dims: properly handle named or nested spaces

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_basic_map_drop: properly handle nested spaces
Sven Verdoolaege [Fri, 5 Aug 2011 15:54:36 +0000 (17:54 +0200)]
isl_basic_map_drop: properly handle nested spaces

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_access_info_compute_flow: plug memory leak on error path
Sven Verdoolaege [Fri, 5 Aug 2011 09:01:02 +0000 (11:01 +0200)]
isl_access_info_compute_flow: plug memory leak on error path

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agodoc: remove "struct" in front of isl_* types
Sebastian Pop [Wed, 3 Aug 2011 22:20:07 +0000 (17:20 -0500)]
doc: remove "struct" in front of isl_* types

Signed-off-by: Sebastian Pop <sebpop@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agodoc: update prototype of isl_constraint_free
Sven Verdoolaege [Thu, 4 Aug 2011 14:49:14 +0000 (16:49 +0200)]
doc: update prototype of isl_constraint_free

It was changed in e2a2317 (reimplement isl_constraint in terms of isl_aff,
Fri Jul 1 17:20:52 2011 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_basic_map_remove_divs: handle NULL input
Sven Verdoolaege [Thu, 4 Aug 2011 13:24:23 +0000 (15:24 +0200)]
isl_basic_map_remove_divs: handle NULL input

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_schedule.c: handle basic maps individually in setup_carry_lp
Sven Verdoolaege [Wed, 3 Aug 2011 19:29:10 +0000 (21:29 +0200)]
isl_schedule.c: handle basic maps individually in setup_carry_lp

Our dependence relations may be unions of basic maps.
When trying to carry dependences we may only be able to carry
some of them at a time.  We therefore need to consider them individually.

Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_set_reset_tuple_id
Sven Verdoolaege [Wed, 3 Aug 2011 12:02:32 +0000 (14:02 +0200)]
add isl_set_reset_tuple_id

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoMerge branch 'maint'
Sven Verdoolaege [Wed, 3 Aug 2011 15:39:51 +0000 (17:39 +0200)]
Merge branch 'maint'

13 years agoisl_dim_range_product: dimension names of domains don't need to match
Sven Verdoolaege [Wed, 3 Aug 2011 13:48:12 +0000 (15:48 +0200)]
isl_dim_range_product: dimension names of domains don't need to match

It's sufficient for the domain tuples to match.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_aff.c: fix up copyright
Sven Verdoolaege [Wed, 3 Aug 2011 12:04:20 +0000 (14:04 +0200)]
isl_aff.c: fix up copyright

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agodoc: fix typos
Sebastian Pop [Wed, 3 Aug 2011 01:13:33 +0000 (20:13 -0500)]
doc: fix typos

Signed-off-by: Sebastian Pop <sebpop@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_aff_floor: reduce coefficients of newly created div
Sven Verdoolaege [Sun, 31 Jul 2011 10:57:01 +0000 (12:57 +0200)]
isl_aff_floor: reduce coefficients of newly created div

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_aff_mod and isl_pw_aff_mod
Sven Verdoolaege [Sat, 30 Jul 2011 09:04:14 +0000 (11:04 +0200)]
add isl_aff_mod and isl_pw_aff_mod

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_int_mul_2exp
Sven Verdoolaege [Sat, 30 Jul 2011 08:52:00 +0000 (10:52 +0200)]
add isl_int_mul_2exp

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoexport isl_pw_aff_foreach_piece
Sven Verdoolaege [Fri, 29 Jul 2011 16:37:24 +0000 (18:37 +0200)]
export isl_pw_aff_foreach_piece

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoadd isl_set_dim_has_{lower,upper}_bound
Sven Verdoolaege [Fri, 29 Jul 2011 09:03:53 +0000 (11:03 +0200)]
add isl_set_dim_has_{lower,upper}_bound

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_stream_read_map: accept assignments to tuple variables
Sven Verdoolaege [Tue, 26 Jul 2011 15:12:49 +0000 (17:12 +0200)]
isl_stream_read_map: accept assignments to tuple variables

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_stream_read_map: accept ternary operators in variable definitions
Sven Verdoolaege [Tue, 26 Jul 2011 14:41:29 +0000 (16:41 +0200)]
isl_stream_read_map: accept ternary operators in variable definitions

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_stream_read_map: handle initial parenthesized affine expressions
Sven Verdoolaege [Tue, 26 Jul 2011 13:39:50 +0000 (15:39 +0200)]
isl_stream_read_map: handle initial parenthesized affine expressions

Before, the parser would assume the expression to be a condition.
Now it can handle both cases.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_stream: support compound tokens
Sven Verdoolaege [Tue, 26 Jul 2011 10:32:14 +0000 (12:32 +0200)]
isl_stream: support compound tokens

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoprivately export isl_token_new
Sven Verdoolaege [Tue, 26 Jul 2011 10:28:14 +0000 (12:28 +0200)]
privately export isl_token_new

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_stream_read_map: accept "!=" in expressions
Sven Verdoolaege [Mon, 25 Jul 2011 10:03:05 +0000 (12:03 +0200)]
isl_stream_read_map: accept "!=" in expressions

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
13 years agoisl_stream_read_map: accept "mod" in expressions
Sven Verdoolaege [Mon, 25 Jul 2011 09:56:45 +0000 (11:56 +0200)]
isl_stream_read_map: accept "mod" in expressions

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>