July 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(floating_point): Added linearization of cast expressions along with a
by Fabio Bossi 29 Jul '10

29 Jul '10

Module: ppl/ppl Branch: floating_point Commit: e7b16c31a4cbd4f654222054b031ab3ec437bd68 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7b16c31a4cb… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 29 16:48:03 2010 +0200 Added linearization of cast expressions along with a simple test. Consistently use typedefs. --- src/Concrete_Expression.defs.hh | 4 +- src/linearize.hh | 77 +++++++++++++++++++++++++-- tests/Concrete_Expression/C_Expr.defs.hh | 22 ++++---- tests/Concrete_Expression/C_Expr.inlines.hh | 16 +++--- tests/Concrete_Expression/linearize.cc | 27 +++++++++- 5 files changed, 120 insertions(+), 26 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=e7b16c31…

1 0

[GIT] ppl/ppl(floating_point): Corrected the policy values.
by Fabio Bossi 29 Jul '10

29 Jul '10

Module: ppl/ppl Branch: floating_point Commit: 253cc5c29243856d96d5d73b9d5acfc18e4d5a39 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=253cc5c29243… Author: Fabio Bossi <bossi(a)cs.unipr.it> Date: Thu Jul 29 15:34:08 2010 +0200 Corrected the policy values. Make check now works again. --- src/Concrete_Expression.defs.hh | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Concrete_Expression.defs.hh b/src/Concrete_Expression.defs.hh index dc937ad..7aa09e7 100644 --- a/src/Concrete_Expression.defs.hh +++ b/src/Concrete_Expression.defs.hh @@ -117,13 +117,13 @@ private: }; struct Integer_Interval_Info_Policy { - const_bool_nodef(store_special, false); - const_bool_nodef(store_open, true); + const_bool_nodef(store_special, true); + const_bool_nodef(store_open, false); const_bool_nodef(cache_empty, true); const_bool_nodef(cache_singleton, true); const_bool_nodef(cache_normalized, false); const_int_nodef(next_bit, 0); - const_bool_nodef(may_be_empty, false); + const_bool_nodef(may_be_empty, true); const_bool_nodef(may_contain_infinity, false); const_bool_nodef(check_empty_result, false); const_bool_nodef(check_inexact, false);

1 0

[GIT] ppl/ppl(floating_point): Merge branch 'master' into floating_point
by Roberto Bagnara 29 Jul '10

29 Jul '10

Module: ppl/ppl Branch: floating_point Commit: 3e682219b5f19c1ce1cd7a849c7d55d2524fedc7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e682219b5f1… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 29 14:15:40 2010 +0200 Merge branch 'master' into floating_point ---

1 0

[GIT] ppl/ppl(floating_point): Unwanted assertions removed.
by Roberto Bagnara 29 Jul '10

29 Jul '10

Module: ppl/ppl Branch: floating_point Commit: ab1d650d0dcb0d122abf3d965c16ebdf94ac3325 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab1d650d0dcb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 29 14:15:10 2010 +0200 Unwanted assertions removed. --- src/DB_Row.templates.hh | 2 -- 1 files changed, 0 insertions(+), 2 deletions(-) diff --git a/src/DB_Row.templates.hh b/src/DB_Row.templates.hh index 8684c04..765e719 100644 --- a/src/DB_Row.templates.hh +++ b/src/DB_Row.templates.hh @@ -39,7 +39,6 @@ DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U& y) { bump_size(); } #else // PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS - PPL_ASSERT(y_size > 0); if (y_size > 0) { assign_r(vec_[0], y[0], ROUND_UP); bump_size(); @@ -100,7 +99,6 @@ DB_Row_Impl_Handler<T>::Impl::copy_construct_coefficients(const Impl& y) { bump_size(); } #else // PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS - PPL_ASSERT(y_size > 0); if (y_size > 0) { vec_[0] = y.vec_[0]; bump_size();

1 0

[GIT] ppl/ppl(floating_point): Fixed a bug in DB_Row_Impl_Handler<T>::Impl: :expand_within_capacity(dimension_type).
by Roberto Bagnara 29 Jul '10

29 Jul '10

Module: ppl/ppl Branch: floating_point Commit: 4a26e69ad62c5c2b9d256f20392289d3161fc7bb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a26e69ad62c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 29 11:24:08 2010 +0200 Fixed a bug in DB_Row_Impl_Handler<T>::Impl::expand_within_capacity(dimension_type). This affected only compilers not supporting flexible arrays. --- src/DB_Row.templates.hh | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/DB_Row.templates.hh b/src/DB_Row.templates.hh index e886b61..8684c04 100644 --- a/src/DB_Row.templates.hh +++ b/src/DB_Row.templates.hh @@ -58,9 +58,11 @@ DB_Row_Impl_Handler<T>:: Impl::expand_within_capacity(const dimension_type new_size) { PPL_ASSERT(size() <= new_size && new_size <= max_size()); #if !PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS - // vec_[0] is already constructed. - if (size() == 0 && new_size > 0) + if (size() == 0 && new_size > 0) { + // vec_[0] is already constructed: we just need to assign +infinity. + assign_r(vec_[0], PLUS_INFINITY, ROUND_NOT_NEEDED); bump_size(); + } #endif // Construct in direct order: will destroy in reverse order. for (dimension_type i = size(); i < new_size; ++i) {

1 0

[GIT] ppl/ppl(floating_point): Fixed a bug in DB_Row_Impl_Handler<T>::Impl: :construct_upward_approximation(const U&).
by Roberto Bagnara 29 Jul '10

29 Jul '10

Module: ppl/ppl Branch: floating_point Commit: faddfe9c6c24c08d38d9cd7b3d07f9966b1cd015 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faddfe9c6c24… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 29 09:22:05 2010 +0200 Fixed a bug in DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U&). This prevented compilation with compilers not supporting flexible arrays. --- src/DB_Row.templates.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/DB_Row.templates.hh b/src/DB_Row.templates.hh index 7c09573..e886b61 100644 --- a/src/DB_Row.templates.hh +++ b/src/DB_Row.templates.hh @@ -41,7 +41,7 @@ DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U& y) { #else // PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS PPL_ASSERT(y_size > 0); if (y_size > 0) { - vec_[0] = y[0]; + assign_r(vec_[0], y[0], ROUND_UP); bump_size(); // Construct in direct order: will destroy in reverse order. for (dimension_type i = 1; i < y_size; ++i) {

1 0

[GIT] ppl/ppl(floating_point): Added missing inclusion.
by Roberto Bagnara 29 Jul '10

29 Jul '10

Module: ppl/ppl Branch: floating_point Commit: 6e11577095f565d2016f1b72656b31df64066a53 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6e11577095f5… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Jul 27 21:39:45 2010 +0200 Added missing inclusion. --- src/termination.templates.hh | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/src/termination.templates.hh b/src/termination.templates.hh index 8582e22..2a92f75 100644 --- a/src/termination.templates.hh +++ b/src/termination.templates.hh @@ -28,6 +28,7 @@ site: http://www.cs.unipr.it/ppl/ . */ #include "Generator.defs.hh" #include "Constraint_System.defs.hh" #include "C_Polyhedron.defs.hh" +#include "NNC_Polyhedron.defs.hh" #include <stdexcept>

1 0

[GIT] ppl/ppl(master): Unwanted assertions removed.
by Roberto Bagnara 29 Jul '10

29 Jul '10

Module: ppl/ppl Branch: master Commit: ab1d650d0dcb0d122abf3d965c16ebdf94ac3325 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab1d650d0dcb… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 29 14:15:10 2010 +0200 Unwanted assertions removed. --- src/DB_Row.templates.hh | 2 -- 1 files changed, 0 insertions(+), 2 deletions(-) diff --git a/src/DB_Row.templates.hh b/src/DB_Row.templates.hh index 8684c04..765e719 100644 --- a/src/DB_Row.templates.hh +++ b/src/DB_Row.templates.hh @@ -39,7 +39,6 @@ DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U& y) { bump_size(); } #else // PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS - PPL_ASSERT(y_size > 0); if (y_size > 0) { assign_r(vec_[0], y[0], ROUND_UP); bump_size(); @@ -100,7 +99,6 @@ DB_Row_Impl_Handler<T>::Impl::copy_construct_coefficients(const Impl& y) { bump_size(); } #else // PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS - PPL_ASSERT(y_size > 0); if (y_size > 0) { vec_[0] = y.vec_[0]; bump_size();

1 0

[GIT] ppl/ppl(master): Fixed a bug in DB_Row_Impl_Handler<T>::Impl:: expand_within_capacity(dimension_type).
by Roberto Bagnara 29 Jul '10

29 Jul '10

Module: ppl/ppl Branch: master Commit: 4a26e69ad62c5c2b9d256f20392289d3161fc7bb URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a26e69ad62c… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 29 11:24:08 2010 +0200 Fixed a bug in DB_Row_Impl_Handler<T>::Impl::expand_within_capacity(dimension_type). This affected only compilers not supporting flexible arrays. --- src/DB_Row.templates.hh | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/DB_Row.templates.hh b/src/DB_Row.templates.hh index e886b61..8684c04 100644 --- a/src/DB_Row.templates.hh +++ b/src/DB_Row.templates.hh @@ -58,9 +58,11 @@ DB_Row_Impl_Handler<T>:: Impl::expand_within_capacity(const dimension_type new_size) { PPL_ASSERT(size() <= new_size && new_size <= max_size()); #if !PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS - // vec_[0] is already constructed. - if (size() == 0 && new_size > 0) + if (size() == 0 && new_size > 0) { + // vec_[0] is already constructed: we just need to assign +infinity. + assign_r(vec_[0], PLUS_INFINITY, ROUND_NOT_NEEDED); bump_size(); + } #endif // Construct in direct order: will destroy in reverse order. for (dimension_type i = size(); i < new_size; ++i) {

1 0

[GIT] ppl/ppl(master): Fixed a bug in DB_Row_Impl_Handler<T>::Impl:: construct_upward_approximation(const U&).
by Roberto Bagnara 29 Jul '10

29 Jul '10

Module: ppl/ppl Branch: master Commit: faddfe9c6c24c08d38d9cd7b3d07f9966b1cd015 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=faddfe9c6c24… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Thu Jul 29 09:22:05 2010 +0200 Fixed a bug in DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U&). This prevented compilation with compilers not supporting flexible arrays. --- src/DB_Row.templates.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/src/DB_Row.templates.hh b/src/DB_Row.templates.hh index 7c09573..e886b61 100644 --- a/src/DB_Row.templates.hh +++ b/src/DB_Row.templates.hh @@ -41,7 +41,7 @@ DB_Row_Impl_Handler<T>::Impl::construct_upward_approximation(const U& y) { #else // PPL_CXX_SUPPORTS_FLEXIBLE_ARRAYS PPL_ASSERT(y_size > 0); if (y_size > 0) { - vec_[0] = y[0]; + assign_r(vec_[0], y[0], ROUND_UP); bump_size(); // Construct in direct order: will destroy in reverse order. for (dimension_type i = 1; i < y_size; ++i) {

1 0