isl_schedule_constraints_compute_schedule: produce schedule tree based schedule
commit16f65efd80e465fee7f216d4bf1ce09a4ce41eed
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 28 Jul 2013 16:40:18 +0000 (28 18:40 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 9 Feb 2015 14:08:22 +0000 (9 15:08 +0100)
tree40f9ac494c9c8f22ce336608e9557e2aa4856ab6
parent452d4f75fa7430c579800897111b28a72b4b3c33
isl_schedule_constraints_compute_schedule: produce schedule tree based schedule

By constructing a schedule tree directly, we no longer need to keep
track of the extra band data that would allow us to extract a band
forest from the schedule graph nodes.

Since schedule trees will also be used for other purposes, we now
explicitly keep track of whether a band is permutable.  In particular,
we mark those bands that were constructed using the Pluto like
scheduler as permutable, even if they contain only a single dimension.
If we have to resort to any Feautrier style scheduling then
these bands are not marked permutable.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
isl_scheduler.c