generalize isl_multi_aff_identity

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

add isl_pw_aff_zero_on_domain

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

add isl_pw_aff_var_on_domain

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

add isl_aff_var_on_domain

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

isl_input.c: obj_read_body: simplify error handling

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

add isl_basic_set_drop_constraints_not_involving_dims

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

add isl_{set,map}_drop_constraints_involving_dims

We implement these functions on top of the existing
isl_basic_set_drop_constraints_involving which handles dimensions
in terms of absolute positions.  We may want to convert the users
of this old function over to the new functions at some point.

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

add isl_set_unshifted_simple_hull

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

isl_stream_read_union_map: force result to be a map

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

add isl_union_map_subtract_range

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

isl_set_from_pw_multi_aff: handle NULL input

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

isl_union_map.c: plain_injective_on_range: silence clang warning

Recent clangs complain that "n" may be used uninitialized in the call
to free_isl_fixed_map_array.  However, this only happens data.v is NULL,
in which case free_isl_fixed_map_array does not even look at n.

By moving the initialization of n up, we can silence this warning.

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

isl_transitive_closure.c: union_components: avoid invalid access on error path

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

isl_range.c qpolynomial_bound_on_domain_range: avoid invalid access on error path

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

isl_convex_hull.c: initial_facet_constraint: avoid invalid access on error path

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

isl_map_union: special case universal input

In particular, there is no need to construct a new isl_map
as we can simply return the universal input map.

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

isl_map_gist: special case universal and equal inputs

In both these cases, the solution is trivial and we do not need to
go into the regular computation.
Moreover, if the inputs are equal but not convex, then the original
code would not be able to come to the conclusion that the gist
is the universe.

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

export isl_set_plain_cmp

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

doc: clarify use of identifiers

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

add isl_basic_set_remove_unknown_divs

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

and isl_pw_aff_tdiv_q and isl_pw_aff_tdiv_r

These are useful for expressing the result of the corresponding C operators.

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

add isl_pw_aff_div

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

add isl_set_is_disjoint

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

isl_map_plain_is_disjoint: special case obviously empty inputs

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

isl_basic_map_is_empty: special case universal input

In particular, there is no need to compute any sample point on
universal inputs.

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

isl_map_plain_is_disjoint: fix error handling

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

isl_aff.c: fix typo in comment

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

isl_aff_normalize: combine identical divs

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

isl_aff_normalize: plug in divs with denominator one

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

extract out isl_local_space_substitute_seq

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

extract out common isl_seq_substitute

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

isl_aff_normalize: sort divs in local space of affine expression

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

add isl_local_space_swap_div

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

privately export isl_mat_cmp_div

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

fix isl_union_map_detect_equalities memory management annotation

The signature of that function had accidently an __isl_keep annotation
instead of an __isl_take. Fix this such that the signature in the
header matches the signature of the implementation.

Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

add isl_map_uncurry

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

add isl_union_map_subtract_domain

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

isl_pw_*_gist: avoid intersection of domain with context

The intersection was introduced in cf42ba2 (isl_pw_qpolynomial_gist:
substitute equalities in polynomials, Mon Oct 25 13:49:22 2010 +0200)
in order to be able to detect and exploit equalities in the intersection.
However, there is no need to change the domain itself as we can just
as well use a temporary object.

Intersecting the domain with the context is not what the user would
expect as the purpose of the gist operation is to only keep the most
salient information, which is quite the opposite of introducing
extra constraints.

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

isl_map_intersect_domain: avoid useless double reverse

Implementing isl_map_intersect_domain in terms of isl_map_intersect_range
was easier than a proper implementation, but the two calls to
isl_map_reverse can lead to needless inefficiencies.

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

isl_map_intersect_{range,domain}: stop allowing intersection with parameter set

The test was in fact too liberal and would also allow presumably unintended
cases.  Users should call isl_map_intersect_params instead.

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

isl_map_intersect: special case universal input

In particular, there is no need to construct a new isl_map
if one of the arguments to isl_map_intersect is obviously universal.

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

add isl_constraint_list

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

add isl_pw_multi_aff_set_pw_aff

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

add isl_pw_multi_aff_identity

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

declare isl_pw_multi_aff_align_params

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

declare isl_basic_map_remove_divs_involving_dims

This function was added in 720f32e (add isl_set_remove_divs_involving_dims,
Wed Oct 27 13:04:04 2010 +0200), but was not exported.

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

add isl_vec_fdiv_r

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

add isl_*_list_insert

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

declare isl_map_fix

This function was added in 72ccd88 (add isl_set_fix,
Wed Oct 21 14:04:29 2009 +0200), but was not exported.

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

add isl_basic_map_upper_bound_si

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

add isl_basic_map_order_ge

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

declare isl_aff_zero_basic_set

This function was added in 6dc44e1 (add isl_pw_aff_eq_set,
Sat Jul 9 12:28:59 2011 +0200), but was not exported.

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

add isl_vec_concat

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

isl_vec_free: return NULL

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

isl_map_free: return NULL

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

isl_basic_set_free: return NULL

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

isl_basic_map_free: return NULL

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

isl_space_free: return NULL

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

isl_basic_map_gauss: also set progress if a div expression has been detected

The div expression may be equal to that of another div and one of them
should then be eliminated in the next iteration of isl_basic_map_simplify.

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

isl_tarjan_graph_init: document the order of the components in the result

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

isl_aff.c: document isl_aff_normalize

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

isl_aff.c: fix typo in comment

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

hide internal check_help

This function was exposed by mistake when it was introduced in 387317a
(isl_args_parse: optionally ignore --help, Thu Mar 22 17:03:47 2012 +0100).

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

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>

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>

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>

isl_test: generalize subset test

This will make it easier to add additional test cases.

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

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>

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>

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>

Merge branch 'maint'

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

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>

isl_access_info_add_source: plug memory leak on error path

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

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>

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>

isl_aff_scale_down: check for scaling down by zero

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

add isl_*_list_drop

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

isl_*_list_add: dynamically grow list to accomodate extra element

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

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>

add isl_space_is_range

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

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>

doc: document isl_space_is_equal

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

add isl_space_is_map

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

declare isl_pw_multi_aff_project_domain_on_params

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

add isl_map_has_tuple_name

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

AUTHORS: add Mythri Alle

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

isl_printer_free: return NULL

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

declare isl_pw_multi_aff_drop_dims

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

export isl_multi_aff_gist_params

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

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>

add isl_point_dump

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

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>

isl_union_map_extract_map: rename dim argument to space

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

isl_map_simplify.c: eliminate_var_using_equality: normalize divs after elimination

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

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>

isl_stream_read_map: accept rational affine expressions

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

add isl_map_{lexmin,lexmax}_pw_multi_aff

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

declare isl_map_remove_unknown_divs

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

doc: document isl_set_remove_unknown_divs

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

declare isl_map_remove_divs_involving_dims

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