Sven Verdoolaege [Tue, 4 Sep 2012 12:54:10 +0000 (14:54 +0200)]
hide internal basic_map_identity
This function was exposed by mistake in d07eed3 (rename isl_dim to isl_space,
Sun Aug 21 10:38:41 2011 +0200).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 6 Sep 2012 12:35:55 +0000 (14:35 +0200)]
isl_map_simplify.c: remove_duplicate_divs: preserve known divs
As explained in the commit message of 22c210c (isl_basic_map_gauss:
try not to remove any div definitions, Tue Sep 1 22:59:21 2009 +0200),
we should preserve known divs during isl_basic_map_simplify.
That commit only fixed the possible loss of known divs in
isl_basic_map_gauss. Here we fix the same problem in remove_duplicate_divs.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 22 Aug 2012 12:41:43 +0000 (14:41 +0200)]
isl_basic_map_drop_redundant_divs: don't drop divs that appear in other divs
Divs that appear in the definition of other divs usually occur in at least
4 constraints, so they normally wouldn't get dropped by this function.
However, the div constraints of the other div(s) may have been simplified
or eliminated. This happens in particular on the new test case
due to the optimization introduced in 2592280 (isl_basic_map_simplify:
eliminate known divs that appear with unit coefficient,
Wed May 16 13:51:16 2012 +0200).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 15 Jul 2012 07:06:38 +0000 (09:06 +0200)]
isl_test: generalize subset test
This will make it easier to add additional test cases.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 26 Aug 2012 13:20:53 +0000 (15:20 +0200)]
rename isl_set_dim_has_*_bound to isl_set_dim_has_any_*_bound
The original names more accurately describe functions that check
that there is a bound in each of basic sets.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 2 Sep 2012 13:38:40 +0000 (15:38 +0200)]
relicense isl under the MIT license
Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Andreas Kloeckner <kloeckner@cims.nyu.edu>
Signed-off-by: Todor Stefanov <stefanov@liacs.nl>
Signed-off-by: Sven van Haastregt <svhaastr@liacs.nl>
Signed-off-by: Isabelle Ryl <isabelle.ryl@inria.fr>
Signed-off-by: Mythri Alle <mythri.allel@gmail.com>
Signed-off-by: Wim De Clercq <Wim.DeClercq@lrd.kuleuven.be>
Signed-off-by: Anne Cormier <Anne.Cormier@ens.fr>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 2 Sep 2012 13:33:31 +0000 (15:33 +0200)]
configure.ac: link against same LLVM components as libclang.so
Since 74e0407 (configure.ac: only link against libraries from LLVM
analysis component, Wed Jan 18 16:47:38 2012 +0100), we only link
against some components of LLVM, but the choice of which components
to include was made fairly arbitrarily.
This appeared to work, but fails do so on more recent versions of clang.
Instead, we now link against the same LLVM components as libclang.so.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 2 Sep 2012 10:36:13 +0000 (12:36 +0200)]
Merge branch 'maint'
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 22 Aug 2012 15:29:20 +0000 (17:29 +0200)]
isl_map_intersect: fix error handling
The original code would simply drop basic sets that resulted in errors
instead of propagating the error to the caller.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 22 Aug 2012 09:11:49 +0000 (11:11 +0200)]
isl_access_info_add_source: plug memory leak on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 21 Aug 2012 09:37:57 +0000 (11:37 +0200)]
isl_set_dim_residue_class: correctly consider all basic sets in the set
This commit fixes two closely related problems.
Due to a typo, isl_set_dim_residue_class would only consider one of
the basic sets in the input set. The information obtained from the
individual basic sets was also combined incorrectly.
In particular, the code would insist that all basic sets have the
same residue if they have the same modulo and not consider adjusting
the modulo of the combined basic sets to accommodate for the difference
in residues.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 13 Aug 2012 16:42:04 +0000 (18:42 +0200)]
isl_map_subtract: handle duplicate divs in subtrahend
A simplified basic map is not expected to have duplicate divs,
but it may still happen if a div is discovered by isl_basic_map_gauss
without subsequently being compared to other divs.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 10 Aug 2012 14:54:00 +0000 (16:54 +0200)]
isl_aff_scale_down: check for scaling down by zero
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 8 Aug 2012 08:14:33 +0000 (10:14 +0200)]
add isl_*_list_drop
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 9 Aug 2012 18:38:00 +0000 (20:38 +0200)]
isl_*_list_add: dynamically grow list to accomodate extra element
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 10 Aug 2012 07:36:30 +0000 (09:36 +0200)]
configure.ac: don't allow installation in source or build directory
This will fail at some point during the installation anyway,
so it's better to check early.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 19 Jul 2012 12:01:24 +0000 (14:01 +0200)]
add isl_space_is_range
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 7 Aug 2012 14:46:55 +0000 (16:46 +0200)]
export isl_space_is_domain
We cannot simply export the private isl_space_is_domain however, since
that one is also used in cases where the first argument is a parameter
space and the second argument is a set space.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 7 Aug 2012 12:23:19 +0000 (14:23 +0200)]
doc: document isl_space_is_equal
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 7 Aug 2012 13:45:43 +0000 (15:45 +0200)]
add isl_space_is_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 3 Aug 2012 10:34:46 +0000 (12:34 +0200)]
declare isl_pw_multi_aff_project_domain_on_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 3 Aug 2012 13:23:57 +0000 (15:23 +0200)]
add isl_map_has_tuple_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 4 Aug 2012 09:56:34 +0000 (11:56 +0200)]
AUTHORS: add Mythri Alle
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 12 Jul 2012 09:38:44 +0000 (11:38 +0200)]
isl_printer_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 22 Jul 2012 12:30:23 +0000 (14:30 +0200)]
declare isl_pw_multi_aff_drop_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 9 Jul 2012 10:04:18 +0000 (12:04 +0200)]
export isl_multi_aff_gist_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 1 Mar 2012 16:27:17 +0000 (17:27 +0100)]
extract common implementation of Tarjan's algorithm
We had two nearly identical implementations in isl_schedule.c
and isl_transitive_closure.c.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 15 May 2012 12:15:20 +0000 (14:15 +0200)]
add isl_point_dump
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 12 Apr 2012 12:08:39 +0000 (14:08 +0200)]
isl_union_map_extract_map: ignore parameters in space argument
They may be different from the parameters in the isl_union_map, while
they are irrelevant for determining which map to extract.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 12 Apr 2012 12:07:48 +0000 (14:07 +0200)]
isl_union_map_extract_map: rename dim argument to space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 13 Apr 2012 20:47:59 +0000 (22:47 +0200)]
isl_map_simplify.c: eliminate_var_using_equality: normalize divs after elimination
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 2 Mar 2012 10:38:32 +0000 (11:38 +0100)]
isl_stream_read_map: force result to be a map
In particular, if obj_read returns a set, then turn it into a map.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 1 Mar 2012 10:02:01 +0000 (11:02 +0100)]
isl_stream_read_map: accept rational affine expressions
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 19 Apr 2012 19:55:09 +0000 (21:55 +0200)]
add isl_map_{lexmin,lexmax}_pw_multi_aff
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 15 May 2012 11:00:53 +0000 (13:00 +0200)]
declare isl_map_remove_unknown_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 4 Jul 2012 11:10:58 +0000 (13:10 +0200)]
doc: document isl_set_remove_unknown_divs
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 15 May 2012 11:00:02 +0000 (13:00 +0200)]
declare isl_map_remove_divs_involving_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 3 Apr 2012 11:31:49 +0000 (13:31 +0200)]
add isl_basic_set_remove_divs_involving_dims
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 4 Jul 2012 10:17:43 +0000 (12:17 +0200)]
doc: document isl_set_remove_divs_involving_dims
This function is used by CLooG.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 11 Apr 2012 12:50:48 +0000 (14:50 +0200)]
add isl_basic_set_eliminate
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 9 Apr 2012 15:05:00 +0000 (17:05 +0200)]
add isl_union_set_from_basic_set and isl_union_map_from_basic_map
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Feb 2012 17:53:50 +0000 (18:53 +0100)]
add isl_basic_{set,map}_insert_dims
We already had a (private) isl_basic_map_insert, but we rename it to
isl_basic_map_insert_dims for consistency with isl_map_insert_dims.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 25 Apr 2012 18:03:25 +0000 (20:03 +0200)]
add isl_basic_{set,map}_align_params
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 26 Jun 2012 16:38:37 +0000 (18:38 +0200)]
add isl_union_map_domain_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 21 Jun 2012 13:08:07 +0000 (15:08 +0200)]
declare isl_basic_map_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 3 Apr 2012 08:48:14 +0000 (10:48 +0200)]
add isl_pw_multi_aff_product
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 19 Apr 2012 19:54:19 +0000 (21:54 +0200)]
add isl_pw_multi_aff_union_{lexmin,lexmax}
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 30 Jun 2012 12:47:04 +0000 (14:47 +0200)]
isl_set_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 19 Apr 2012 19:53:21 +0000 (21:53 +0200)]
add isl_multi_aff_lex_{le,ge}_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 19 Apr 2012 19:52:15 +0000 (21:52 +0200)]
declare isl_multi_aff_get_domain_space
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 16 Apr 2012 15:27:00 +0000 (17:27 +0200)]
add isl_multi_aff_identity
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 18 Apr 2012 16:07:07 +0000 (18:07 +0200)]
add isl_aff_neg_basic_set
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 19 Apr 2012 08:54:58 +0000 (10:54 +0200)]
add isl_aff_add_constant_num{,_si}
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 25 Apr 2012 08:51:49 +0000 (10:51 +0200)]
add isl_id_list
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 29 Feb 2012 16:30:38 +0000 (17:30 +0100)]
add isl_*_list_set_*
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jun 2012 13:15:41 +0000 (15:15 +0200)]
add isl_pw_multi_aff_has_tuple_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 28 May 2012 14:16:29 +0000 (16:16 +0200)]
declare isl_pw_aff_get_tuple_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 3 Mar 2012 13:21:09 +0000 (14:21 +0100)]
add isl_map_has_dim_name
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 26 May 2012 13:29:52 +0000 (15:29 +0200)]
add isl_local_space_has_dim_id and isl_local_space_get_dim_id
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 10 May 2012 13:57:06 +0000 (15:57 +0200)]
isl_set_opt: align parameters
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 25 Apr 2012 18:41:14 +0000 (20:41 +0200)]
isl_multi_*_set_*: check that parameters and domains match
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 25 Apr 2012 15:05:16 +0000 (17:05 +0200)]
isl_basic_map_range_product: check that parameters match
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 16 May 2012 11:51:16 +0000 (13:51 +0200)]
isl_basic_map_simplify: eliminate known divs that appear with unit coefficient
They can be eliminated without loss of accuracy and this elimination
results in "simpler" constraints.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 17 May 2012 08:22:23 +0000 (10:22 +0200)]
isl_basic_map_remove_divs_involving_dims: insert bounds before removing divs
The div will be removed using Fourier-Motzkin elimination and the extra
bounds can be used to improve accuracy of the result.
For example, eliminating the div from the following set
{ [i,j,k] : 3 + i + 2j >= 0 and 2 * [(i+2j)/4] <= k }
we now first use the first constraint to derive a lower bound
on the div:
[(i + 2j)/4] >= [-3/4] = -1
During the elimination, this bound can be combined with the upper bound
to result in the additional constraint
k >= -2
Although this technique can be applied in general, it is especially
useful after the next commit, where we will eliminate divs
that appear with a unit coefficient. If the same div also appears
in other constraints with a non-unit coefficient, and we later
decide to eliminate the div, then this technique can be used to
recover some of those constraints so that we can avoid losing accuracy.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 16 May 2012 14:01:24 +0000 (16:01 +0200)]
isl_basic_map_simplify: normalize div expressions
That is, remove common divisors in numerator and denominator.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Tobias Grosser [Thu, 2 Aug 2012 08:52:54 +0000 (10:52 +0200)]
Use an MIT licensed mergesort as the sorting algorithm for isl
This patch replaces the old LGPL licenced quicksort implementation taken
from glibc.
The call sites are adjusted to the fact that isl_sort can now fail
(due to failed memory allocation).
Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 2 Aug 2012 10:06:30 +0000 (12:06 +0200)]
isl_access_info_free: return NULL
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 31 Jul 2012 12:47:26 +0000 (14:47 +0200)]
add isl_printer_print_double
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 30 Jul 2012 09:16:48 +0000 (11:16 +0200)]
doc: add a note on isl_dim_type
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 29 Jul 2012 16:11:23 +0000 (18:11 +0200)]
doc: add a note about isl_*_intersect and parametric sets
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 28 Jul 2012 18:24:32 +0000 (20:24 +0200)]
doc: add missing documentation for some scheduling options
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 27 Jul 2012 16:21:24 +0000 (18:21 +0200)]
Merge branch 'maint'
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 18 Jul 2012 15:52:11 +0000 (17:52 +0200)]
isl_pw_*_realign_domain: plug memory leak on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 19 Jul 2012 11:29:36 +0000 (13:29 +0200)]
isl_handle_error: avoid use of isl_options_get_on_error
isl_options_get_on_error could end up calling isl_handle_error
recursively, resulting in an infinite calling sequence.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 20 Jul 2012 17:41:17 +0000 (19:41 +0200)]
isl_space_extend_domain_with_range: handle ranges with a nested space
The original code would only take into account the number of dimensions
and the tuple name.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 27 Jul 2012 15:17:38 +0000 (17:17 +0200)]
isl_map_eliminate: check for overflow in computation of last dimension
In particular, if the computation of the last dimension overflows,
then at least one of the dimensions is out of bounds.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 27 Jul 2012 16:14:54 +0000 (18:14 +0200)]
isl_*_eliminate: update comments to reflect recent change
In particular, since baf22b7 (isl_*_eliminate: perform integer elimination,
Tue Apr 17 12:29:41 2012 +0200), the elimination is no longer performed
using Fourier-Motzkin (unless the input is marked rational).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 16 Jul 2012 11:09:19 +0000 (13:09 +0200)]
Merge branch 'maint'
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Mon, 16 Jul 2012 11:06:23 +0000 (13:06 +0200)]
isl_multi_aff_set_dim_name: do not set name of elements if type is isl_dim_out
An isl_aff does not keep track of the name of its output dimension.
Even if it did, we would have to change the name of only the specified
element and not of all elements as we did before this commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 5 Jul 2012 06:03:34 +0000 (08:03 +0200)]
add doc/SubmittingPatches to the distribution
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 19 Jun 2012 10:06:22 +0000 (12:06 +0200)]
doc: fix typos
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 17 Apr 2012 10:29:41 +0000 (12:29 +0200)]
isl_*_eliminate: perform integer elimination
The original code would perform the elimination "rationally" by
simply applying Fourier-Motzkin on them. If the input
is an integer set or map, this could drop information on other dimensions.
For example, eliminating the second dimension of
{ [i, j] : i = 2 j }
would result in
{ [i, j] }
while it should result in
{ [i, j] : exists a : i = 2 a }
We now perform an integer elimination (on integer sets and maps).
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 11 Jul 2012 06:36:54 +0000 (08:36 +0200)]
privately export isl_basic_map_insert
We need it in the next commit.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Mythri Alle [Sun, 8 Jul 2012 14:27:01 +0000 (16:27 +0200)]
isl_hash.c: reset the number of entries to 0 when growing the hash table
The hash table is grown by creating a new table and adding the entries
of the old table to the new table. Since the new table starts out as
being empty, the number of entries should be reset to 0.
Not only would the old code result in isl_union_map_n_map returing
the wrong value if the underlying hash table had ever been grown,
it would also result in the table subsequently being grown again
far too early.
Signed-off-by: Mythri Alle <mythri.alle@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Thu, 14 Jun 2012 08:42:12 +0000 (10:42 +0200)]
isl_flow.c: merge isl_restriction_none and isl_restriction_empty
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sat, 9 Jun 2012 13:10:04 +0000 (15:10 +0200)]
isl_tab_basic_map_partial_lexopt: don't normalize intermediate div expressions
The function get_row_parameter_div would call normalize_div before finishing
the construction of the div expression. In particular, it would call
normalize_div before negating the coefficients. Since normalize_div may round
down the constant term, the result of first normalizing and then negating
may result in a different div than first negating and then normalizing.
Call normalize_div only after negating the coefficients.
Reported-by: Alexandre Isoard <alexandre.isoard@ens-lyon.fr>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 3 Jun 2012 13:47:09 +0000 (15:47 +0200)]
isl 0.10
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 3 Jun 2012 15:57:19 +0000 (17:57 +0200)]
isl_space.c: avoid icc warning
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 3 Jun 2012 15:52:16 +0000 (17:52 +0200)]
isl_schedule.c: fix types of enum isl_edge_type iterators
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 3 Jun 2012 15:47:09 +0000 (17:47 +0200)]
isl_input.c: construct_constraints: avoid icc warning
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 3 Jun 2012 15:42:38 +0000 (17:42 +0200)]
isl_handle_error: fix type of error argument
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 3 Jun 2012 13:47:32 +0000 (15:47 +0200)]
update AUTHORS
Sven Verdoolaege [Thu, 24 May 2012 10:28:06 +0000 (12:28 +0200)]
add isl_map_order_lt
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Sun, 27 May 2012 12:21:16 +0000 (14:21 +0200)]
isl_space_unwrap: fix error message
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 30 May 2012 11:35:32 +0000 (13:35 +0200)]
Merge branch 'maint'
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Tue, 29 May 2012 17:45:58 +0000 (19:45 +0200)]
isl_union_set_compute_schedule: fix computation of maximal number of rows
The original computation wasn't documented, but was probably wrong.
The maximal number of schedule rows is now computed in a separate
and documented function.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 30 May 2012 09:03:12 +0000 (11:03 +0200)]
isl_space_insert_dims: fix handling of nested spaces
In particular, if we are inserting parameters, then we should also
insert them in any nested spaces.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Wed, 30 May 2012 10:34:55 +0000 (12:34 +0200)]
isl_restriction_{none,empty}: "take" argument for consistency
The other isl_restriction constructors "take" their arguments,
so it seems more consistent for isl_restriction_none and
isl_restriction_empty to do so as well.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Andreas Kloeckner [Sun, 20 May 2012 21:38:53 +0000 (17:38 -0400)]
Add isl_restriction_get_ctx
Signed-off-by: Andreas Kloeckner <inform@tiker.net>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Sven Verdoolaege [Fri, 18 May 2012 09:43:12 +0000 (11:43 +0200)]
isl_space.c: document name_ok
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>