isl_qpolynomial_fold_fold_on_domain: eliminate obviously equal entries
commitfbcc763acafab8b181a078430e7ddd4a3c87085e
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 2 May 2015 12:23:26 +0000 (2 14:23 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 2 May 2015 12:24:22 +0000 (2 14:24 +0200)
tree413d6d8bdd25f5f9228b9f4cb9b8dd55ced7d76f
parent8e21cf3bcce18579d38f85818e0e172751a04859
isl_qpolynomial_fold_fold_on_domain: eliminate obviously equal entries

Such obviously equal entries are currently already being eliminated
based on the sign of their difference, but in case of infinite values
this is the result of a bug in the determination of the sign of a NaN.
This bug will be fixed in the next commit, so we first need to
introduce another way of eliminating duplicate infinite values.

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