Add isl_*_drop_unused_params
commit6eb5b11ffcddcbbe1d7e4820f9bb87b0be02e607
authorTobias Grosser <tobias@grosser.es>
Fri, 20 Apr 2018 07:03:38 +0000 (20 09:03 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 23 Apr 2018 18:12:39 +0000 (23 20:12 +0200)
tree44d88ac5053d1d098b873adc494a3e3bce8e0c67
parentc332ac25f451090e821d6779cbc3a03712a13e2d
Add isl_*_drop_unused_params

Add functions to drop parameters that are not referenced by the isl object.

When using named parameters and (align_params), isl objects tend to
accumulate many parameter dimensions over time. To improve the
performance on later operations (due to working on lower dimensional
objects) and because the printed sets are more readable, it is useful to
be able to drop unused parameter dimensions.

These functions require all parameters to be named as otherwise
it would be difficult to tell what the meaning is
of the remaining parameters.

Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
doc/user.pod
include/isl/aff.h
include/isl/map.h
include/isl/polynomial.h
include/isl/set.h
isl_map.c
isl_pw_templ.c
isl_test.c