cloog_loop_specialize: only specialize with convex domain
commitfae4b02ad190dab96798769b2698659e52b77c00
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 24 Oct 2010 14:45:34 +0000 (24 16:45 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 27 Oct 2010 13:57:07 +0000 (27 15:57 +0200)
tree8dd34113a98002c2b97680f7b0edc9f2da6b2e56
parent97ddb42962f9cc98e8a65b02479c8d720cdfbb87
cloog_loop_specialize: only specialize with convex domain

It the result of projecting the inner domain somehow ends up
being non-convex, which may happen if existentially quantified
variable definitions need to be recomputed, then skip the specialization
for the domain at hand.

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