isl_pw_qpolynomial_involves_dims: also check whether domains involve dims
commit20c783b3430ffa138f7c51b14331416c950e8194
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 9 May 2011 13:01:08 +0000 (9 15:01 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 9 May 2011 13:01:08 +0000 (9 15:01 +0200)
tree50338f0d65f9d02d7d9985cc4a41af4201715c85
parent1bde440c69c16cab5e35ac09c60cd4d1c5ef36f0
isl_pw_qpolynomial_involves_dims: also check whether domains involve dims

Before, isl_pw_qpolynomial_involves_dims would only check whether the
polynomials associated to the different cells involved any of the indicated
dimensions, but didn't check if the decriptions of the cells involved
any of them.
If isl_pw_qpolynomial_involves_dims is used to check whether
isl_pw_qpolynomial_drop_dims can safely be applied, then clearly we need
to test the cell constraints too.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
include/isl/set.h
isl_map.c
isl_pw_templ.c