use an isl_multi_pw_aff to represent a skip condition
commit40ba1a0701984349d72bcfed7c90ad81cb327151
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 17 Jun 2013 19:53:13 +0000 (17 21:53 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 27 Jul 2013 09:09:10 +0000 (27 11:09 +0200)
treefeb1d8ac9f9b95fbcb5c7403952f36dd7bdf31cb
parent785e32ec169e76ef5bcec2440770776431251f9c
use an isl_multi_pw_aff to represent a skip condition

In particular, use either an affine expression or an access to a variable.
Note that this commit not only changes the representation from an isl_set
to an isl_multi_pw_aff, it also changes the space in which these objects
live.  The new representation has a zero-dimensional domain rather than
a parametric domain since that is what most users expect in the end.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
scan.cc
scop.c
scop.h