isl_map_affine_hull: avoid computing explicit representations for divs
commita2cbe44114f6904aed6f94608cbef8dafc70db9a
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 15 Jan 2012 15:12:59 +0000 (15 16:12 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 30 Mar 2013 11:37:05 +0000 (30 12:37 +0100)
tree20b078e3222ec6213c2259cee00b2138640fc8d2
parent70abe446e835f53768f8f7e1631e75332d354058
isl_map_affine_hull: avoid computing explicit representations for divs

If an existentially quantified variable is not determined by an equality
then it should have little effect on the overall affine hull.
There should therefor be no need to compute explicit representations
for these existentially quantified variables, which is a possibly costly
operation and which can result in large number of basic maps.

Instead, we first compute the affine hull of each basic map separately,
extract an explicit representation for existentially quantified variables
determined by an equality and then remove all unknown divs before aligning
the divs over the basic maps.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_affine_hull.c
isl_test.c