From 4c259271be462dff66735c10ec9f5b9235d3b884 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 12 Jun 2011 11:20:00 +0200 Subject: [PATCH] add isl_basic_map_flat_range_product Signed-off-by: Sven Verdoolaege --- doc/user.pod | 3 +++ include/isl/map.h | 2 ++ isl_map.c | 10 ++++++++++ 3 files changed, 15 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 17442e97..15bebe94 100644 --- 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 b9400622..d0ce21a3 100644 --- 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 035305e5..e31c70d4 100644 --- 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, -- 2.11.4.GIT