add isl_basic_map_flat_range_product

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

diff --git a/doc/user.pod b/doc/user.pod
index 17442e9..15bebe9 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1906,6 +1906,9 @@ instead.
        __isl_give isl_set *isl_set_flat_product(
                __isl_take isl_set *set1,
                __isl_take isl_set *set2);
+       __isl_give isl_basic_map *isl_basic_map_flat_range_product(
+               __isl_take isl_basic_map *bmap1,
+               __isl_take isl_basic_map *bmap2);
        __isl_give isl_map *isl_map_flat_range_product(
                __isl_take isl_map *map1,
                __isl_take isl_map *map2);

diff --git a/include/isl/map.h b/include/isl/map.h
index b940062..d0ce21a 100644 (file)
--- a/include/isl/map.h
+++ b/include/isl/map.h
@@ -295,6 +295,8 @@ __isl_give isl_basic_map *isl_basic_map_flat_product(
        __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
 __isl_give isl_map *isl_map_flat_product(__isl_take isl_map *map1,
        __isl_take isl_map *map2);
+__isl_give isl_basic_map *isl_basic_map_flat_range_product(
+       __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2);
 __isl_give isl_map *isl_map_flat_range_product(__isl_take isl_map *map1,
        __isl_take isl_map *map2);
 __isl_give isl_map *isl_map_intersect(__isl_take isl_map *map1,

diff --git a/isl_map.c b/isl_map.c
index 035305e..e31c70d 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -7355,6 +7355,16 @@ error:
        return NULL;
 }
 
+__isl_give isl_basic_map *isl_basic_map_flat_range_product(
+       __isl_take isl_basic_map *bmap1, __isl_take isl_basic_map *bmap2)
+{
+       isl_basic_map *prod;
+
+       prod = isl_basic_map_range_product(bmap1, bmap2);
+       prod = isl_basic_map_flatten_range(prod);
+       return prod;
+}
+
 static __isl_give isl_map *map_product(__isl_take isl_map *map1,
        __isl_take isl_map *map2,
        __isl_give isl_dim *(*dim_product)(__isl_take isl_dim *left,