cloog_constraint_equal_type: treat all modulo guards as affine expressions
commit4735f4d3ae401ed204604f71ef95164100e486ae
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 22 Mar 2009 13:16:11 +0000 (22 14:16 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 22 Mar 2009 21:05:42 +0000 (22 22:05 +0100)
tree33caabb21282ae0a91dc8fb416708ac0e75f431d
parentc0e93c7a05aed74ad3d5a6e12d200ac9f73d2ca1
cloog_constraint_equal_type: treat all modulo guards as affine expressions

Only affine expressions are used in simplifying modulo guards
and earlier modulo guards are prime candidates for simplifying
or even removing more deeply nested modulo guards.

Also remove a stale comment while we are at it.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
source/isl/constraints.c
source/polylib/matrix.c
test/isl/darte.c
test/isl/dartef.f
test/isl/reservoir/tang-xue1.c
test/polylib/reservoir/tang-xue1.c [copied from test/isl/reservoir/tang-xue1.c with 57% similarity]