isl_morph.c: add_strides: clear newly added divs
commit695637f732ded0e12820db997e5b7b3a046754cc
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 16 May 2012 14:25:11 +0000 (16 16:25 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 17 May 2012 08:41:32 +0000 (17 10:41 +0200)
tree4c887f85539f86c00bda1b47498669a00c1a8159
parentc5267d53ffcc639b1f332acc8de36ec537ab6d86
isl_morph.c: add_strides: clear newly added divs

Although we know what the divs should look like, we leave it to
isl_basic_map_simplify to extract them from the equalities we add.
However, we should at least mark them as (initially) unknown as
isl_basic_map_simplify may perform some other simplifications based
on the div expressions.

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