isl_map_coalesce: optionally bound the coefficients of wrapping constraints
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 11 Apr 2012 08:54:37 +0000 (10:54 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 13 Apr 2012 14:10:31 +0000 (16:10 +0200)
commit239513e261653abee0bca3949ddaa23df404b870
treef286c8981ad8cba52a35b91c195f4767122138da
parent77f8b4bf10067e3fab6694b1c9002cb0dab8791f
isl_map_coalesce: optionally bound the coefficients of wrapping constraints

One of the methods for combining pairs of basic relations is based on wrapping.
The coefficients of these wrapping constraints may be much larger than
those of the constraints in the input.  If isl_map_coalesce is called
to simplify the representation of a relation, then constraints with
large coefficients are typically undesirable.  We therefore do not allow
the coefficients in the wrapping constraints to be larger than those
in the input, but we allow the user to override this choice.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/options.h
isl_coalesce.c
isl_options.c
isl_options_private.h
isl_test.c