add isl_set_substitute

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

add isl_local_space_substitute

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

isl_printer_print_pw_multi_aff: partial support for C output

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

add isl_pw_multi_aff

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

add isl_pw_*_get_dim_id

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

add isl_pw_*_get_dim_name

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

add isl_pw_*_has_tuple_id

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

add isl_pw_*_set_dim_id

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

add isl_pw_*_get_tuple_id

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

add isl_pw_*_get_tuple_name

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

add isl_basic_map_from_multi_aff

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

add isl_multi_aff

An isl_multi_aff object represents a sequence of
zero or more affine expressions, all defined on the same domain space.
As such, they are different from isl_aff_lists as the elements in a list
may have different spaces and no space information is available at all
about empty lists.

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

isl_pw_templ.c: rename align_params_pw_pw_and to include PW

This allows isl_pw_templ.c to be included twice from the same file.

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

add isl_map_dim_max

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

privately export isl_basic_map_foreach_lexopt

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

add isl_basic_map_eliminate

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

add isl_basic_map_has_dim_id

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

Merge branch 'maint'

isl_basic_map_eliminate_vars: gauss result

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

add isl_aff_set_dim_id

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

add isl_local_space_set_dim_id

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

add isl_map_find_dim_by_name

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

add isl_space_find_dim_by_name

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

export isl_pw_aff_intersect_domain

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

export isl_pw_aff_plain_is_equal

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

add generic isl_pw_*_set_tuple_id

For consistency, this means we need to change the prototype of
isl_pw_aff_set_tuple_id.

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

isl_set_intersect: properly handle intersection with parameter domains

isl_set_intersect currently allows one of its arguments to be a parameter
domain while the other is not.  This will probably change in future, but
while we still support this situation, we should make sure that the result
lives in the same space as that of the argument that is not a parameter domain.

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

isl_access_info_compute_flow: align parameters of input may access relations

This part was missing from 13124d3 (isl_access_info_compute_flow: align
parameters of input access relations, Thu Aug 11 14:03:55 2011 +0200).

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

Merge branch 'maint'

fix isl_set_involves_dims

It would only consider the set to involve a dim if _all_ its subsets
would involve the dim, while it should consider the set to involve a
dim if _any_ of its subsets do.

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

add isl_set_plain_is_fixed

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

add isl_set_from_params

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

add isl_space_set_from_params

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

Merge branch 'maint'

isl_qpolynomial_morph: properly handle denominators in morph

Before, the denominator would get ignored during the morphing of the divs.

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

add isl_mat_diag

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

isl_tab_pip.c: sol_for_add: correctly set denominator

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

isl_tab_pip.c: sol_map_add: fix double free on error path

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

isl_stream: accept "==" token

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

add isl_union_pw_*_plain_is_equal

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

add isl_pw_*_plain_is_equal

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

add isl_set_plain_cmp

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

add isl_map_params

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

isl_stream_next_token: treat "-0" as two tokens '-' and '0'

Usually, a '-' followed by a sequence of digits is treated as a single
(negative) number.  When parsing affine expressions, negative numbers
are allowed without a preceding '+'.  However, if "-0" is parsed as '0'
then there is no way of distinguishing between "-0" and "0" and so "-0"
was not allowed in affine expressions.
We now treat "-0" as two tokens, so that it can be used in affine expressions.
The flip side is that "-0" can no longer be used where a single integer
is expected.

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

drop "nparam" argument from isl_{set,map}_read_from_{file,str}

The "nparam" argument is removed because it is inconsistent with
the rest of the API.
The "nparam" argument was only ever useful for reading sets
represented in the original PolyLib format.
For reading maps, it was of limited use because there was no way
of specifying the number of input dimensions.
In both the isl format and the extended PolyLib format, the number
of parameters can be read off from the input.

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

doc: document *_move_dims functions

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

drop isl_div abstraction

The isl_div abstraction has been superseded by the isl_aff abstraction,
so use that instead.

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

isl_{in,}equality_alloc: take isl_local_space intead of isl_space

This makes it easier to construct constraints involving existentially
quantified variables.

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

doc: update example code to change in return type of isl_constraint_set_*

The change happened way back 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>

Merge branch 'maint'

provide full prototypes for some functions with no arguments

Reported-by: Zbigniew Chamski <zbigniew.chamski@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

doc: fix typo

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

add isl_set_gist_params

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

make isl_pw_* object live in a map space

Before, the space of an isl_pw_* object was that of the cells.
Conceptually, however, they map elements from these cells to something
and so their space should be that of a map.
This is especially useful for isl_pw_multi_aff objects that will
be introduced later.  Since we want to be able to convert back and forth
between such objects and isl_maps, we need to keep track of the
complete map space.

isl_aff, isl_qpolynomial and isl_qpolynomial_fold objects now
also live in a map space, although internally, they still keep
track of the domain space.

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

add isl_space_extend_domain_with_range

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

add isl_space_is_domain

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

add isl_local_space_is_set

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

add isl_local_space_domain

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

implement isl_constraint on top of isl_vec

In e2a2317 (reimplement isl_constraint in terms of isl_aff,
Fri Jul 1 17:20:52 2011 +0200), were reimplemented on top of isl_aff
because both objects share many features.
There are also some difference, however, and it is therefore better
to implement isl_constraint directly on top of isl_vec.
In particular, an isl_aff has a denominator, whereas an isl_constraint
does not.  Although the denominator of an isl_aff is usually 1, it may
not always be and could therefore lead to subtle bugs.

Moreover, the space of an isl_constraint may be either that of
a set or a map, whereas, in principle, the domain of isl_aff is always
a set.  We allowed the domain of an isl_aff to be a map when it was
used to implement an isl_constraint, but this was not very clean.
This would become even more dramatic when we change the space of an isl_aff
to be that of a map.

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

add isl_vec_neg

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

isl_aff.c: extract isl_local_space_get_active

This function will also be useful for our new implementation of isl_constraints.

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

isl_output.c: drop redundant "set" argument

We used to have to keep track of whether a given isl_space was that
of a map or a set, but now the isl_space itself contains that information
so we no longer need this extra argument.

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

isl_union_*_alloc: project space onto parameters

Before, we were expecting the user to provide a parameter space,
but we might as well project whatever the user gives us onto
its parameter space.

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

explicitly differentiate between spaces of maps, sets and parameter sets

Before, no distinction was made internally between spaces of maps,
sets and parameter spaces.  In particular, an isl_space with zero
input and output dimensions could have been any of those.
When printing isl_sets and isl_maps, we could keep track of whether
the original object as a set or a map, but parametric domains and
zero-dimensional domains were still printed identically.

Now we explicitly keep track of whether a space is supposed to be
that of a map, set or parametric set.  This means for example that
"[N] -> { [] : N >= 0 }" and "[N] -> { : N >= 0 }" are no longer considered
to be identical.
This may break some code that was using one space in place of another,
especially since until recently there was no official way of creating
a parameter space.

The main advantage is that we can now recognize parameter spaces
and treat them appropriately.  In particular, the domains of affine
expressions can now be correctly identified as being either (possibly
zero-dimensional) sets or parameter domains.

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

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>

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>

isl_map_from_domain_and_range: drop explicit conversion to isl_map

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

isl_set_apply_pw_qpolynomial_fold: drop explicit conversion to isl_map

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

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>

isl_tab_pip.c: fix whitespace issue

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

isl_set_read_from_*: coerce set-like maps into sets

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

isl_input.c: map_read_polylib: convert set-like maps to sets

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

isl_input.c: obj_read: start off from parameter space

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

isl_input.c: represent nested tuple as isl_set

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

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>

isl_basic_set_multiplicative_call: explicitly project on parameter space

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

isl_pw_qpolynomial_fold_bound: explicitly project on parameter space

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

isl_qpolynomial_bound_on_domain_bernstein: explicitly project on parameter space

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

isl_qpolynomial_bound_on_domain_range: explicitly project on parameter space

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

isl_union_map_from_map: explicitly project on parameter space

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

isl_union_map_align_params: explicitly project on parameter space

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

isl_polynomial.c: constant_on_domain: explicitly project on parameter space

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

basic_set_dim_max: explicitly project on parameter space

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

isl_basic_set_compute_vertices: explicitly turn chambers into parameter sets

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

bound.c: explicitly convert context into parameter set

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

pip.c: explicitly convert context into parameter set

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

add isl_pw_qpolynomial_fold_project_domain_on_params

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

add isl_qpolynomial_project_domain_on_params

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

add isl_pw_qpolynomial_project_out

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

add isl_morph_{dom,ran}_params

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

add isl_basic_set_params and isl_set_params

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

add isl_space_params_alloc

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

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>

isl_pw_qpolynomial_fold_bound: simplify construction of target space

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

isl_test.c: properly create set space

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

isl_map_range_map: fix space manipulation

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

isl_map_range: construct correct space for result

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

isl_basic_set_alloc: create basic set in proper set space

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

isl_space_wrap: properly create set space

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

add isl_set_from_pw_aff

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