isl backend: detect equalities on all sets
commit0608f04cedc77da5320a86df931f4e5ca846e126
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 7 Dec 2009 15:14:39 +0000 (7 16:14 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 8 Dec 2009 10:24:35 +0000 (8 11:24 +0100)
tree2bfdc69b0c28a1b381b25f55a5b1b4ba6623e435
parent31697a25b412ceaca0edfd4736a9594516bd3a07
isl backend: detect equalities on all sets

Detecting equalities in isl used to be fairly expensive, but shouldn't be so
anymore.  This detection can sometimes significantly simplify the generated
code, especially in the presence of modulos.
There is some fallout on the darte example, but that will be fixed
when we move to a newer version of isl in the next commit.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
16 files changed:
source/isl/domain.c
test/isl/cholesky2.c
test/isl/darte.c
test/isl/dartef.f
test/isl/mod4.c
test/isl/orc.c
test/isl/reservoir/cholesky2.c
test/isl/reservoir/lim-lam3.c
test/isl/reservoir/mg-interp.c
test/isl/reservoir/pingali1.c
test/isl/reservoir/pingali5.c
test/isl/reservoir/two.c
test/isl/thomasset.c
test/isl/vivien.c
test/isl/vivien2.c
test/isl/walters.c