cloog_domain_project: drop divs involving level
Commit
256fcba (clast.c: insert extra modulo guards involving loop iterator
inside loop, Wed Mar 11 09:33:53 2009 +0100) added code to detect modulo
constraints on the loop iterator to avoid bounds on loop depending on
floors of expressions involving the loop iterator itself.
However, this code was broken by
4171187 (source/clast.c: clean up insert_for,
Thu Jul 15 11:02:02 2010 +0200) as the constraints involved in the modulo
guards would no longer be removed from the set of constraints used to
construct the bounds of a loop.
Moreover, the original code only handled some special cases.
Here, we take a different approach and remove all integer divisions
that depend on the loop iterator inside cloog_domain_project.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>