isl_schedule_constraints: add support for conditional validity constraints
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 24 Mar 2012 11:09:09 +0000 (12:09 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 18 Sep 2013 11:09:59 +0000 (13:09 +0200)
commit2a665500370d4fa9230911a499e7dbde0b997442
treecbe6c97c073b449e49186fdd6942b284d919fe01
parentef29a727c9af11c2c64b0b8cabfb526ad8a8e0a5
isl_schedule_constraints: add support for conditional validity constraints

Conditional validity constraints only need to be respected if any
of the adjacent condition constraints have a non-zero dependence distance.
They can be used to ignore ordering constraints on live ranges as
long as the live ranges are local to the band that is being constructed.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/schedule.h
isl_schedule.c
isl_schedule_private.h
isl_test.c