isl_tab_basic_map_partial_lexopt: don't normalize intermediate div expressions
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 9 Jun 2012 13:10:04 +0000 (15:10 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 9 Jun 2012 13:29:36 +0000 (15:29 +0200)
commit7e9213eaf6364d5619fca8d230bf1df1b26bdc17
tree82464373e181bd2d5d17df16fa421c395878c67d
parent9fe3e28eba0fa07d33bca85e481ff057c803c83d
isl_tab_basic_map_partial_lexopt: don't normalize intermediate div expressions

The function get_row_parameter_div would call normalize_div before finishing
the construction of the div expression.  In particular, it would call
normalize_div before negating the coefficients.  Since normalize_div may round
down the constant term, the result of first normalizing and then negating
may result in a different div than first negating and then normalizing.
Call normalize_div only after negating the coefficients.

Reported-by: Alexandre Isoard <alexandre.isoard@ens-lyon.fr>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_tab_pip.c
isl_test.c