use isl_pw_affs to represent array bounds instead of isl_pw_qpolynomial_folds
commit512c9d1ae54f37ab2cfb7c4dc8e6e8d94429f99a
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 29 Jun 2011 11:53:18 +0000 (29 13:53 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 7 Jul 2011 21:21:26 +0000 (7 23:21 +0200)
tree6cc172b01cfd869549566c419bea5db7fb1f2304
parentf2aac78a8eadba644a315593b8dbf0fff439a919
use isl_pw_affs to represent array bounds instead of isl_pw_qpolynomial_folds

The array bounds are (piecewise) affine expression, so an isl_pw_aff
is a better fit.  isl_pw_aff objects are also easier to manipulate.
They weren't used from the start because isl didn't support isl_pw_aff
objects when this code was written.
Another benefit of using isl_pw_affs is that the bound can be computed exactly.

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