| commit | 44355e8310315a48495db86fcffb8d900ee9292d | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 26 Aug 2013 13:18:36 +0000 (26 15:18 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 26 Aug 2013 17:24:04 +0000 (26 19:24 +0200) | ||
| tree | cf3a083d4097f054794e8c7e691bb28c82cb7cc2 | treesnapshot (tar.gz zip) |
| parent | bf19b4da725deff1f109478e4f577b54e09d08e7 | commitdiff |
isl_union_set_compute_schedule: fix check for progress in carry_dependences
Commit 6b21b75 (isl_union_set_compute_schedule: ensure carry_dependences
makes progress, Sun Nov 4 16:30:54 2012 +0100) introduced a test
for trivial solutions in order to avoid recomputing the same trivial
solution over and over, but it failed to take into account that
the coefficients computed in carry_dependences correspond to
the original iterators and not on the result of a change of basis.
As a result the test could mistakenly flag some perfectly fine solutions
as trivial and vice versa.
Fix the test by performing the change of basis on the computed solution.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Commit 6b21b75 (isl_union_set_compute_schedule: ensure carry_dependences
makes progress, Sun Nov 4 16:30:54 2012 +0100) introduced a test
for trivial solutions in order to avoid recomputing the same trivial
solution over and over, but it failed to take into account that
the coefficients computed in carry_dependences correspond to
the original iterators and not on the result of a change of basis.
As a result the test could mistakenly flag some perfectly fine solutions
as trivial and vice versa.
Fix the test by performing the change of basis on the computed solution.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_schedule.c | diffblobblamehistory |