isl_set_get_stride: remove local variables from local space of offset
commit281ed863a8f8d3b84b87296a72208202ee7c9857
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 7 Jun 2018 08:56:12 +0000 (7 10:56 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 7 Jun 2018 08:56:12 +0000 (7 10:56 +0200)
tree4884c428141f44dbd04078587decbd2b16679de4
parenteb6c2c12b5910dd3ba8d4bb254bf3047ffce0d57
isl_set_get_stride: remove local variables from local space of offset

The offset is derived from a constraint with integer divisions,
with the integer divisions removed from the affine expression.
However, those integer divisions were left in the local space
of the affine expression, resulting in the offset not being
obviously equal to the same affine expression without those
extra variables in the local space.
Remove them.

Reported-by: Oleksandr Zinenko <oleksandr.zinenko@inria.fr>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_aff_private.h
isl_stride.c