| commit | fb9f927f27dd57ceb297cff4ba7bd57ef65b4a32 | |
| author | Sebastian Pop <sebpop@gmail.com> | |
| Thu, 11 Feb 2010 17:35:49 +0000 (11 11:35 -0600) | ||
| committer | Sebastian Pop <sebpop@gmail.com> | |
| Thu, 11 Feb 2010 17:35:49 +0000 (11 11:35 -0600) | ||
| tree | f19528a1480efdaaf6ff84d849ba9aa36d53f1fa | treesnapshot (tar.gz zip) |
| parent | d62403e1bad99886cb81c697a8cc66bd04045b1f | commitdiff |
Fix http://gcc.gnu.org/PR43012
GCC PR 43012 [1] is caused by a bug in CLooG-PPL: clast_equal_add transforms
17i - 13 >= 0 to i + 1 >= 0 (instead of i - 1 >= 0). The fix is to always
perform a division that rounds to minus infinity (mathematically, given
di + n >= 0, produce (sig d)i + floor(n/abs(d)) >= 0).
Note that the patch does not adjust MODULO because it is not used later.
Thanks.
Alexander Monakov
[1]: http://gcc.gnu.org/PR43012
GCC PR 43012 [1] is caused by a bug in CLooG-PPL: clast_equal_add transforms
17i - 13 >= 0 to i + 1 >= 0 (instead of i - 1 >= 0). The fix is to always
perform a division that rounds to minus infinity (mathematically, given
di + n >= 0, produce (sig d)i + floor(n/abs(d)) >= 0).
Note that the patch does not adjust MODULO because it is not used later.
Thanks.
Alexander Monakov
[1]: http://gcc.gnu.org/PR43012
| source/ppl/clast.c | diffblobblamehistory |