isl_schedule.c: setup_lp: extract out count_bound_coefficient_constraints

We will be able to reuse it in the next commit.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scheduler: also (optionally) bound coefficients computed by carry_dependences

2b54bb6 (scheduler: allow to bound the coefficients in the calculated schedule,
Sun Feb 19 14:05:50 2012 +0100) introduced an option to bound the coefficients
of the calculated schedule, but it would only bound the coefficients
of that part of the schedule computed by the core scheduler in
compute_schedule_wcc.

Also make the option apply to that part of the schedule
(if any) computed by the fallback carry_dependences.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_stream_read_obj: return isl_obj_val instead of isl_obj_int

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

It has been superseded by isl_val_obj.

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

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
polyhedron_sample.c: avoid use of isl_vec internals

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

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

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
hide undocumented *_solve_lp functions

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

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

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_*_eval: return an isl_val instead of an isl_qpolynomial

These functions have always returned a rational value, but until
recently, the only way we could represent such a rational value
was as a (degenerate) isl_qpolynomial.  Now that we have an isl_val
abstraction, we can return a proper rational value.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
remove possible use of piplib completely

When the piplib submodule was removed in ff1ea6b (properly remove piplib
submodule, Wed Jan 13 09:59:16 2010 +0100), we still allowed for the use
of an external piplib.  However, the code that supports this use of piplib
has probably not been tested recently and can only hinder further refactorings.
We therefore remove it completely.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_ilp_private.h to distribution

This was missing from 6272dbd (deprecate isl_int,
Fri May 3 18:31:59 2013 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Merge branch 'maint'
complain on memory allocation failure

Before, we would silenty abort the computation, without giving the user
any hint as to why the computation was aborted.
The error message is printed using isl_die so that it can still be
suppressed if desired by the user.

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

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

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_input.c: fix typo in comment

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

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