| commit | e97fe2e5d96122f2583384d59273ae756fe063aa | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 23 May 2015 13:15:04 +0000 (23 15:15 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 26 May 2015 13:34:27 +0000 (26 15:34 +0200) | ||
| tree | 508bd620e00c717eadb66e9dcb88f25db77d1da9 | treesnapshot (tar.gz zip) |
| parent | b7c78ffc17aeca475586855ebd42484c47a67384 | commitdiff |
isl_schedule_constraints_compute_schedule: handle conflicting domain and context
compute_schedule implicitly assumes that the input dependence graph
has at least one node. The assumption then ends up getting enforced
by sort_statements. Even though isl_schedule_constraints_compute_schedule
already checks for an empty input domain, a conflict between domain
and context would only get discovered later.
Skip compute_schedule if such a conflict occurs.
Reported-by: Michael Kruse <MichaelKruse@meinersbur.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
compute_schedule implicitly assumes that the input dependence graph
has at least one node. The assumption then ends up getting enforced
by sort_statements. Even though isl_schedule_constraints_compute_schedule
already checks for an empty input domain, a conflict between domain
and context would only get discovered later.
Skip compute_schedule if such a conflict occurs.
Reported-by: Michael Kruse <MichaelKruse@meinersbur.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_scheduler.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |