scheduler: allow to bound the coefficients in the calculated schedule
authorTobias Grosser <tobias@grosser.es>
Sun, 19 Feb 2012 13:05:50 +0000 (14:05 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 19 Feb 2012 17:30:29 +0000 (18:30 +0100)
commit2b54bb607bfc666dfee01c6332e347d0c253335f
tree2b98bfb36e991dd7ed0d3dd7027d7ac88d75ec03
parentb57971ad29e2acff5e02e6849d86b5b401c44759
scheduler: allow to bound the coefficients in the calculated schedule

isl already supports the bounding of the constant term of the calculated
schedule, but within polybench there are several cases where bounding
the coefficients of parameter and variable dimensions is also needed.

With a bound of 20 Polly can run the isl scheduler on all polybench 2.0 kernels
and takes for each less than 5 seconds, whereas without the bound five test
cases had scheduling times larger than 40 seconds. This is still slower, than
scheduling with gist simplified dependences but it yields better results.
The bounded, non-gist-simplified schedule yields for dynprog, lu, reg_detect
and trmm to faster code compared to scheduling with gist simplified
dependences. For gramschmidt it yields slower code.

Signed-off-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
doc/user.pod
include/isl/schedule.h
isl_options.c
isl_options_private.h
isl_schedule.c