merge shared isl_multi_*_align_params declaration

This was missing from a6db6e8 (merge shared isl_multi_* declarations,
Tue Apr 30 20:45:00 2013 +0200), resulting in isl_multi_val_align_params
getting documented without being declared in 930939a (add isl_multi_val,
Tue Apr 30 21:20:16 2013 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
add isl_multi_*_scale_multi_val

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

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

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

We want to remove isl_union_pw_multi_aff_scale_vec, so we have
to use isl_union_pw_multi_aff_scale_multi_val instead.
This means we have to convert the input isl_vec to an isl_multi_val.
We probably want to change the argument of isl_band_tile from
an isl_vec to an isl_multi_val, but this would break compatibility.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
remove *_scale_vec functions

They have been superseded by *_scale_multi_val functions, which provide
a nicer interface.  Since the *_scale_vec functions were introduced
after the latest release, removing them does not cause any backward
compatibility problems.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc: explain that isl_ints will be removed in future releases

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Makefile.am: add isl_val_private.h to libisl.la sources

This was missing from 73d4b81 (add isl_val abstraction,
Sun Apr 21 22:59:57 2013 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_constraint_private.h: perform proper includes

This was missing from 87904b9 (implement isl_constraint on top of isl_vec,
Mon Aug 29 15:34:59 2011 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_printer_print_map: make printing order of disjuncts platform independent

In particular, the printing order is based on a sort of the affine hulls
of the disjuncts.  If some of these affine hulls are the same, then the
comparison routine will leave their order open.  Different implementations
of qsort may therefore produce different results.  By using isl_sort instead,
we can avoid this platform dependence.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
try and avoid depending on mpz_gcdext internals

The results of mpz_gcdext are not uniquely defined and may depend
on the version of GMP used.  Since the results may influence the
construction of the stride offset in detect_stride in isl_ast_build.c,
this may result in user visible differences.

We therefore try to obtain more consistent results by analyzing
the results of the installed version of GMP and calling a modified
version of mpz_gcdext if needed.  This modified version may not
be complete and may still have to be extended.  In the worst case,
we may have to revert to the open-coded version that was removed in
10a7f8a (isl_ast_build.c: use isl_int_gcdext instead of open-coded version,
Wed Apr 17 17:51:55 2013 +0200).

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

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

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
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>