| commit | 9a97a1a466d19f8c8acf58867670898546507b63 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 23 Mar 2017 11:22:08 +0000 (23 12:22 +0100) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Thu, 25 May 2017 14:13:31 +0000 (25 16:13 +0200) | ||
| tree | 2ac995b8ab39dd08dfa1a223edffed3aff6121aa | treesnapshot (tar.gz zip) |
| parent | 8fb5e220ba17d25e1ea2e4bebd91ae606c863f0c | commitdiff |
isl_scheduler.c: compute_schedule_finish_band: also carry coincidence edges
In particular, if the Pluto-like scheduler did not find a solution and
if the schedule_outer_coincidence option is set,
then the failure to find a solution may be due to the coincidence
constraints.
Theoretically, there may be no validity constraints, but only
coincidence constraints, in which case some of those coincidence
constraints should get carried in order to make progress.
Include the coincidence constraints under these circumstances.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
In particular, if the Pluto-like scheduler did not find a solution and
if the schedule_outer_coincidence option is set,
then the failure to find a solution may be due to the coincidence
constraints.
Theoretically, there may be no validity constraints, but only
coincidence constraints, in which case some of those coincidence
constraints should get carried in order to make progress.
Include the coincidence constraints under these circumstances.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_scheduler.c | diffblobblamehistory |