isl_qpolynomial_substitute_equalities: eliminate integer divisions by 1
commit32c7339975c6c14e9826cfe3617a4521ade84f66
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 3 Nov 2010 20:15:25 +0000 (3 21:15 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 4 Nov 2010 21:21:52 +0000 (4 22:21 +0100)
treec45d1e55fd3379ebec92d20a4756268ba7bba932
parent8a3a75e90b68df76b137d2ee264e0f3cfcb0df3b
isl_qpolynomial_substitute_equalities: eliminate integer divisions by 1

In particular, replace them by the dividend.

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