isl_dim_replace: fix handling of nested spaces

5ad911e (isl_dim_drop: also drop parameters from nested spaces,
Sat Oct 16 14:41:22 2010 +0200) changed isl_dim_drop to also
drop parameters from nested spaces, but it didn't change isl_dim_add
accordingly, breaking isl_dim_replace on isl_dims with nested spaces.

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

support extended PolyLib output format

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

doc: mention LaTeX output format

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

add isl_union_set_identity

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

basic_map_read_polylib: clear newly created divs

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

compute explicit divs for context before calling isl_basic_map_gist

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

add isl_set_flatten

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

isl_dim_flatten: remove space names when internal structure changes

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

isl_stream_read_map: properly parse nested spaces

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

isl_dim_drop: also drop parameters from nested spaces

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

privately export isl_basic_map_reset_dim

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

isl_map_coalesce: handle some cases of pairs of adjacent equalities

We don't want to handle all cases, because coalescing maps that
are too dissimilar may reduce the effectiveness of some decomposition
techniques during the computation of transitive closure.
Right now, we only perform such coalescing if there is exactly
one pair of adjacent equalities.  It's not clear if this is the best
heuristic, but it makes all transitive closure test cases pass.

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

isl_mat_right_inverse: fix memory leak on error path

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

isl_union_pw_qpolynomial_zero: check for NULL input

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

export isl_basic_set_sample_point

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

basis_reduction_templ.c: fix typo in comment

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

export isl_basic_set_reduced_basis

Since this function will now be available from the outside, we
add some more checks and we allow the input to contain equalities.

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

add isl_int_[gs]et_gmp

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

isl_pw_qpolynomial_print: print modulo constraints in ISL_FORMAT_C

In particular, print "i % 2 == 0" instead of "i - 2 * floord(i,2) == 0".

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

export isl_basic_set_lift

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

add isl_union_map_intersect_range

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

add isl_constraint_get_dim_name

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

add isl_set_n_basic_set

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

add isl_pw_qpolynomial_set_dim_name

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

add isl_union_pw_qpolynomial_extract_pw_qpolynomial

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

add isl_union_set_extract_set

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

add isl_union_set_n_set

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

add isl_set_get_dim_name

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

add isl_set_get_tuple_name

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

add isl_union_set_dump for debugging

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

rename isl_map_add to isl_map_add_dims

The new name is more consistent with other functions and avoids confusion
as to what is being added.

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

isl_basic_map_gauss: normalize resulting constraints

When isl_basic_map_gauss is called from isl_basic_map_simplify,
the constraints get normalized already.  However, sometimes the calling
functions wants to only perform isl_basic_map_gauss and then the constraints
should still be normalized.

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

fix return type of isl_union_set_lex_*_union_set

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

isl_basic_set_multiplicative_call: handle parametric input

Due to a mistake in the original implementation, the wrong dimensions
would get dropped from factors of the input in case this input was
parametric.

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

isl_dim_replace: call isl_dim_cow before changing isl_dim

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

export isl_access_info_free

It was thought before that there was no need to export this function,
because it is called implicitly by isl_access_info_compute_flow,
but if some error occurs in the application before the call
to isl_access_info_compute_flow, isl_access_info_free should be
called to free the (partially constructed) isl_access_info.

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

add isl_basic_map_get_tuple_name

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

add isl_basic_map_remove_divs

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

add isl_union_map_compute_flow

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

isl_access_info_compute_flow: preserve dimension specifications

The manipulations on the sink map would destroy the internal
structure of the domain of that map.  By using the appropriate
functions, we can avoid this loss of information.

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

doc: document type of isl_access_info_alloc callback function

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

add isl_union_map_range_map and isl_union_map_domain_map

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

add isl_basic_map_from_domain

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

add isl_union_map_apply_domain

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

add isl_dim_from_domain and isl_dim_from_range

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

doc: document some isl_dim manipulation functions

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

add isl_set_set_tuple_name

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

add isl_basic_{set,map}_from_constraint_matrices

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

add isl_basic_map_{in,}equalities_matrix

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

isl_input.c: accept divs in affine expressions

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

Revert "isl_input.c: read_tuple: construct isl_dim instead of isl_basic_map"

This reverts commit 6373465b50e93c0a8df20fdefe572a2eaebb8490.

It was thought that handling nested dims would be easier when
constructin isl_dims instead of isl_basic_maps during construction.
However, it turns out that using isl_basic_maps works just fine
and avoids carrying around the equalities separately.
Moreover, if we want to be able to parse integer divisions,
then we need to store their definitions somewhere and
an isl_basic_map is the most appropriate way to do so.

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

isl_input.c: obj_read: error out on intermediate NULL results

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

add isl_vec_zero_extend

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

isl_input.c: store div definition in variable

We want to be able to handle divs inside affine expressions and
so we need to store the definition of an existentially quantified
variable somewhere.

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

isl_basic_set_swap_vars: finalize result

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

isl_printer_print_qpolynomial: put parentheses around lone integer division

Otherwise, the integer division could be mistaken for a tuple.

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

add isl_basic_set_multiplicative_call

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

add isl_qpolynomial_one

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

merge isl_basic_set_drop_constraints_involving implementations

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

add isl_basic_map_from_range

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

fix parameter alignment when alignee has zero parameters

The number of parameters was passed as an unsigned integer and
later decremented, leading to an allocation request for a huge
amount of memory.

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

isl 0.04

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

add isl_union_set_lex_[lg][et]_union_set

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

isl_dim_replace: recursively replace parameters in nested dims

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

isl_input.c add_equalities: gauss and finalize result after adding equalities

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

add public API for matrices

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

isl_coalesce.c: fix typos in comment

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

isl_polytope_scan: improve error handling

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

add isl_pw_qpolynomial_split_periods

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

isl_polynomial.c: sort_divs: remove duplicate divs, if any

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

isl_polynomial.c: sort_divs: fix ordering of div rows

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

argument parsing: add ISL_ARG_USER_OPT_CHOICE

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

align parameters of union arguments to binary functions

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

add isl_dim_replace

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

add isl_union_*_dump for debugging

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

clean up isl_pw_qpolynomial_neg

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

isl_union_templ.c: minor clean-up

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

add isl_mat_insert_zero_cols

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

add isl_basic_map_get_ctx

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

isl_map_read_from_str: parse tuple entries with leading minus sign

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

add isl_map_apply_pw_qpolynomial_fold

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

add isl_union_pw_qpolynomial_fold_get_type

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

add isl_pw_qpolynomial_fold_insert_dims

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

add isl_union_pw_qpolynomial_fold_add_union_pw_qpolynomial

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

add type to isl_{union_,}pw_qpolynomial_fold

The inner isl_qpolynomial_folds should all be of the same type,
so we need to keep track of the type at the outer level.

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

fix isl_qpolynomial_fold_reset_dim

In particular, the old version wouldn't cow and it wouldn't change
the dimension of the nested isl_qpolynomials.

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

isl_input.c: read_term: allow terms starting with negative constant

In particular, we used to fail to parse "1-3x" because -3 is treated
as a negative constant.  Now, we treat is in the same way as "1+-3x".

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

isl_union_pw_qpolynomial_add_pw_qpolynomial: don't add empty parts

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

isl_stream_read_obj: read reductions

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

isl_input.c: read_factor: fix read after free in error path

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

isl_stream_error: print unexpected identifier name

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

rename isl_pw_qpolynomial_fold_add to isl_pw_qpolynomial_fold_fold

The new name is more consistent with the naming of
isl_qpolynomial_fold_fold.  Furthermore, it makes sense to perform
addition on isl_pw_qpolynomial_folds, so we prefer to use
the name isl_pw_qpolynomial_fold_add for such a function.

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

doc: minor clarification on operations on union sets

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

add isl_union_set_get_ctx

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

isl_map_gist: also perform gist in universe context

Originally, it didn't make sense to gist in a universe context,
because there were no constraints with respect to which the gist
could be computed.  However, since the more aggressive gist of
d5e1701 (isl_basic_map_gist: be more aggressive in removing constraints)
some contraints can get removed even in a universe context.

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

isl_union_map: construct new isl_union_map on operations that change dimensions

Otherwise, the entries in the hashtable will end up hashed on the wrong
hash value (that of the original isl_dim).

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

isl_union_map_is_empty: fix typo that resulted in memory leaks

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

add isl_basic_map_has_defining_equality

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

add isl_set_get_ctx

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

update .gitignore