summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
raw | patch | inline | side by side (parent: eb3bff9)
isl_basic_map_plain_unshifted_simple_hull: explicitly remove existentials
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 25 May 2024 10:53:53 +0000 (25 12:53 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 25 May 2024 13:04:53 +0000 (25 15:04 +0200)
The function isl_basic_map_drop_constraints_involving_unknown_divs
usually also ends up removing of the existentially quantified
variables, but this is not guaranteed.
Explicitly call isl_basic_map_remove_unknown_divs to make sure
they are removed.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_convex_hull.c patch | blob | blame | history

diff --git a/isl_convex_hull.c b/isl_convex_hull.c
index a15092e..b86dfd6 100644 (file)
--- a/isl_convex_hull.c
+++ b/isl_convex_hull.c
@@ -2618,6 +2618,8 @@ __isl_give isl_basic_map *isl_basic_map_plain_unshifted_simple_hull(
 
        bmap1 = isl_basic_map_drop_constraints_involving_unknown_divs(bmap1);
        bmap2 = isl_basic_map_drop_constraints_involving_unknown_divs(bmap2);
+       bmap1 = isl_basic_map_remove_unknown_divs(bmap1);
+       bmap2 = isl_basic_map_remove_unknown_divs(bmap2);
        bmap1 = isl_basic_map_order_divs(bmap1);
        bmap2 = isl_basic_map_align_divs(bmap2, bmap1);
        bmap1 = isl_basic_map_align_divs(bmap1, bmap2);