diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2012-01-16 16:55:44 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2012-01-16 16:55:44 +0100 |
commit | 328c78f7d2fdc3068a2a7232149d6d0b35a35c8d (patch) | |
tree | f8b4e55c7624c19d53a189afe6152289d4d4066d /isl_sample.c | |
parent | 8d08ef6dbc93594d3551b6a19037009a8a810062 (diff) | |
download | isl-328c78f7d2fdc3068a2a7232149d6d0b35a35c8d.tar.gz isl-328c78f7d2fdc3068a2a7232149d6d0b35a35c8d.tar.bz2 isl-328c78f7d2fdc3068a2a7232149d6d0b35a35c8d.zip |
isl_tab_from_basic_map: preserve all constraints in input when tracking
If the user wants to keep track of a basic map representation of the tableau,
then we need to make sure that the initial tableau corresponds exactly to
the input. In particular, we need to make sure that no (redundant) constraints
are removed.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'isl_sample.c')
-rw-r--r-- | isl_sample.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/isl_sample.c b/isl_sample.c index ec63745e..d25a5c9c 100644 --- a/isl_sample.c +++ b/isl_sample.c @@ -657,7 +657,7 @@ static struct isl_vec *sample_bounded(struct isl_basic_set *bset) ctx = bset->ctx; - tab = isl_tab_from_basic_set(bset); + tab = isl_tab_from_basic_set(bset, 1); if (tab && tab->empty) { isl_tab_free(tab); ISL_F_SET(bset, ISL_BASIC_SET_EMPTY); @@ -666,8 +666,6 @@ static struct isl_vec *sample_bounded(struct isl_basic_set *bset) return sample; } - if (isl_tab_track_bset(tab, isl_basic_set_copy(bset)) < 0) - goto error; if (!ISL_F_ISSET(bset, ISL_BASIC_SET_NO_IMPLICIT)) if (isl_tab_detect_implicit_equalities(tab) < 0) goto error; @@ -746,7 +744,7 @@ static struct isl_vec *rational_sample(struct isl_basic_set *bset) if (!bset) return NULL; - tab = isl_tab_from_basic_set(bset); + tab = isl_tab_from_basic_set(bset, 0); sample = isl_tab_get_sample_value(tab); isl_tab_free(tab); |