From 4bcf8fc629fcb4883fd4b8906ee84974fdf4a9a3 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 13 Feb 2011 09:22:14 +0100 Subject: [PATCH] isl_basic_map_fast_cmp: differentiate between rational and integer sets Signed-off-by: Sven Verdoolaege --- isl_map.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/isl_map.c b/isl_map.c index 5b3281e..2aa42f1 100644 --- a/isl_map.c +++ b/isl_map.c @@ -6784,6 +6784,9 @@ int isl_basic_map_fast_cmp(const __isl_keep isl_basic_map *bmap1, if (bmap1 == bmap2) return 0; + if (ISL_F_ISSET(bmap1, ISL_BASIC_MAP_RATIONAL) != + ISL_F_ISSET(bmap2, ISL_BASIC_MAP_RATIONAL)) + return ISL_F_ISSET(bmap1, ISL_BASIC_MAP_RATIONAL) ? -1 : 1; if (isl_basic_map_n_param(bmap1) != isl_basic_map_n_param(bmap2)) return isl_basic_map_n_param(bmap1) - isl_basic_map_n_param(bmap2); if (isl_basic_map_n_in(bmap1) != isl_basic_map_n_in(bmap2)) -- 2.7.4