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

isl_printer_print_map: fix printing in latex format

It was broken by e094707 (isl_output.c: extract out common print_dim).

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

isl_set_wrap_facet: normalize resulting facet constraint

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

isl_coalesce.c: fix typo in comment

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

isl_pw_qpolynomial_intersect_domain: simplify polynomials using equalities

We now use any equalities we find in the intersected domain.
Perhaps we should check if the intersection had any effect
on the equalities first.

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

isl_qpolynomial_move_dims: plug memory leak and fix reordering of divs

In particular, when divs got reordered, the new order would not
be reflected in the associated upoly.

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

add isl_pw_qpolynomial_read_from_str

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

add isl_qpolynomial_fold_substitute

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

isl_pw_qpolynomial_intersect_domain: drop pieces that end up having empty domain

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

isl_map_product: used nested spaces in result

That is, the product of A -> B and C -> D now has dimension
[A -> C] -> [B -> D].  This allows us to keep all information
about the spaces A, B, C, D, including their names and any
prior nestings.

Since it sometimes also useful to have concatenated spaces in the result,
we also introduct isl_map_flat_product, which produces what isl_map_product
used to produce.

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

isl_pw_qpolynomial_bound: handle isl_pw_qpolynomials with wrapped domains

In particular, compute a bound over the range of the wrapped relation,
instead of over the entire relation.

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

support nested isl_dims

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

doc: fix typo

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

export isl_dim_tuple_match

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

isl_output.c: extract out common print_dim

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

isl_input.c: read_tuple: construct isl_dim instead of isl_basic_map

Since the tuples may contain affine expressions in terms of earlier
dimensions, it made sense to collect both the dimension information
and the possible equalities in a single object, i.e., an isl_basic_map.
However, when we introduce nested dimension specifications, we will
want to construct isl_dims recursively and then it makes more sense
to construct operate on isl_dims and to collect the equalities
in a separate data structure.

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

doc: remove description of how to get the piplib submodule

The submodule was actually removed way back in 309036c (add copyright
statements).

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

isl_printer_print_pw_qpolynomial_fold: print dim as set instead of map

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

add isl_pw_qpolynomial_insert_dims

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

add isl_set_insert

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

add isl_basic_map_image_is_bounded

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

avoid NULL pointer exception in isl_basic_map_n_*

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

fix isl_pw_qpolynomial_reset_dim

The original implementation would only reset the dims of
the domains and not of the quasi-polynomials.

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

add isl_mat_add_rows

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

add isl_mat_add_zero_cols

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

export isl_basic_map_move_dims

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

hide isl_dim internals

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

add isl_dim_get_ctx

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

isl_basic_map_reset_dim: finalize result

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

isl_transitive_closure.c: anonymize input map during incremental computation

Most other operations inside the transitive closure computation
implicitly drop the tuple names, so we have to drop them explicitly
here for the maps to remain compatible.

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

isl_transitive_closure.c: keep track of domains for Floyd-Warshall

When applying Floyd-Warshall to an isl_map, we don't care about
the domains anymore after we have grouped them.
However, when applying Floyd-Warshall to an isl_union_map, we
use the domains do initialize the grid with maps of the right
dimension.  We therefore need to order the domains according
to the group number so that the calling function has a chance
to find them.

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

isl_dim_drop: always remove tuple name, even if number of dims to drop is zero

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

isl_dim_set_tuple_name: allow explicit removal of tuple name

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

add support for union sets and relations

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

isl_transitive_closure.c: extract out some reusable code

In particular, the code will also be useful for computing transitive
closures of union maps.

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

add isl_pw_qpolynomial_reset_dim

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

add isl_map_has_equal_dim

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

add isl_dim_get_hash

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

isl_dim: allow specification of tuple names

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

isl_map_from_domain_and_range: implement in terms of isl_map_apply_range

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

isl_basic_map_domain: properly set dimension of result

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

privately export isl_set_reset_dim and isl_map_reset_dim

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

isl_map_read: extract out read_var_def

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

isl_hash_table_foreach: pass pointer to entry data

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

isl_hash_table_foreach: add user argument

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

isl_transitive_closure.c: fix double free on error path

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

isl_map_gist: use simple hull instead of convex hull

isl is still not very good at computing convex hulls.

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

isl_map.c: fix typo

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

isl_cat: read generic objects

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

isl_printer: add NULL checks

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