isl_schedule_node_band_split: preserve isolate option
commit6d403703b5140843ef3e2a49147365e801c8147e
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 30 Jan 2016 09:13:47 +0000 (30 10:13 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 13 Jun 2016 13:37:29 +0000 (13 15:37 +0200)
tree1458fb9faa334f2c56a8ecde1379db72d082d1f2
parent7219135d4bd1bb1c0b9b4c453d95f43c891b2152
isl_schedule_node_band_split: preserve isolate option

The isolate option was not preserved by the initial implementation,
presumably because for a band there is no way of knowing which
position it has in the schedule tree, while the isolate option
depends on this position.
By passing in the schedule depth to the internal functions,
these function are able to split the isolate option over
the two bands.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
isl_schedule_band.c
isl_schedule_node.c
isl_schedule_tree.c
isl_schedule_tree.h