cloog_loop_simplify: don't break up domains with union contexts
commit9ec66d39dcf3cdb146d61555a2a26f4d4f7df9fe
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 2 Jan 2011 10:18:24 +0000 (2 11:18 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 2 Jan 2011 10:42:16 +0000 (2 11:42 +0100)
tree14402d99f0f4e13ea8a3d370db7abb9f6d226d39
parentd178b9551541ed363f3d6d0889c18ede2bd0d6bd
cloog_loop_simplify: don't break up domains with union contexts

Before, cloog_loop_simplify would simplify the intersection of
the original domain and the context with respect to the context.
It is, however, sufficient to simplify the original domain itself
with respect to the context.  Moreover, if the context is a union,
then the intersection could needlessly split up the domain into
several parts.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
source/loop.c