From 7793262ff0dd657798c7b1054e1113da97274890 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Mon, 16 Feb 2009 13:45:23 +0100 Subject: [PATCH] add isl_map_fast_is_empty --- include/isl_map.h | 1 + isl_map.c | 5 +++++ 2 files changed, 6 insertions(+) diff --git a/include/isl_map.h b/include/isl_map.h index 53d720a..92963da 100644 --- a/include/isl_map.h +++ b/include/isl_map.h @@ -237,6 +237,7 @@ struct isl_map *isl_map_from_basic_map(struct isl_basic_map *bmap); struct isl_map *isl_map_from_set(struct isl_set *set, struct isl_dim *dim); struct isl_set *isl_set_from_map(struct isl_map *map); +int isl_map_fast_is_empty(struct isl_map *map); int isl_map_is_empty(struct isl_map *map); int isl_map_is_subset(struct isl_map *map1, struct isl_map *map2); int isl_map_is_equal(struct isl_map *map1, struct isl_map *map2); diff --git a/isl_map.c b/isl_map.c index 647e611..96f0b45 100644 --- a/isl_map.c +++ b/isl_map.c @@ -3251,6 +3251,11 @@ int isl_map_is_empty(struct isl_map *map) return 1; } +int isl_map_fast_is_empty(struct isl_map *map) +{ + return map->n == 0; +} + int isl_set_is_empty(struct isl_set *set) { return isl_map_is_empty((struct isl_map *)set); -- 2.7.4