diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2009-02-22 16:58:56 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2009-02-23 12:15:15 +0100 |
commit | 015ef4c8f9146687c4dde01d57bd8575cbc0e49b (patch) | |
tree | 256f5551d81174a92580fb4fd5aef94b729d5aa3 /isl_map.c | |
parent | 04277e3b5d001bed05e27a3dbc88a7f7bbfbd089 (diff) | |
download | isl-015ef4c8f9146687c4dde01d57bd8575cbc0e49b.tar.gz isl-015ef4c8f9146687c4dde01d57bd8575cbc0e49b.tar.bz2 isl-015ef4c8f9146687c4dde01d57bd8575cbc0e49b.zip |
add isl_basic_map_detect_equalities
Diffstat (limited to 'isl_map.c')
-rw-r--r-- | isl_map.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -521,6 +521,7 @@ void isl_basic_map_inequality_to_equality( bmap->ineq++; F_CLR(bmap, ISL_BASIC_MAP_NORMALIZED); F_CLR(bmap, ISL_BASIC_MAP_NORMALIZED_DIVS); + F_CLR(bmap, ISL_BASIC_MAP_ALL_EQUALITIES); } int isl_basic_map_alloc_inequality(struct isl_basic_map *bmap) @@ -534,6 +535,7 @@ int isl_basic_map_alloc_inequality(struct isl_basic_map *bmap) F_CLR(bmap, ISL_BASIC_MAP_NO_IMPLICIT); F_CLR(bmap, ISL_BASIC_MAP_NO_REDUNDANT); F_CLR(bmap, ISL_BASIC_MAP_NORMALIZED); + F_CLR(bmap, ISL_BASIC_MAP_ALL_EQUALITIES); isl_seq_clr(bmap->ineq[bmap->n_ineq] + 1 + isl_basic_map_total_dim(bmap), bmap->extra - bmap->n_div); |