isl_union_set_compute_schedule: ignore backward proximity edges on split
commit3f5dad44850a76f19e59ad126ae66bfef55d5e3f
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 14 Apr 2012 21:21:55 +0000 (14 23:21 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 18 Apr 2012 07:55:20 +0000 (18 09:55 +0200)
tree569409252c735bbe88bdb501e52bd8a18aeb6a28
parent11927df08e42876dd1d2df20c1c436f40551afaa
isl_union_set_compute_schedule: ignore backward proximity edges on split

Proximity edges are not taken into account during the detection
of strongly connected components.  When we split the dependence graph
based on these SCCs, we may therefore have proximity edges that go
back from a SCC behind the split to a SCC ahead of the split.  These should
be ignored, just like those edges that go from ahead of the split to behind
the split.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_schedule.c