May 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(products): Added method frequency() to the Polyhedron and BD Shape domains.
by Patricia Hill 21 May '09

21 May '09

Module: ppl/ppl Branch: products Commit: e13382fd6d7a7f31b23d3b1b377a04043be11780 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e13382fd6d7a… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu May 21 09:32:39 2009 +0100 Added method frequency() to the Polyhedron and BD Shape domains. This corresponds to the method frequency() already added to the Grid domain. For these domains it checks if the expression has a constant value and if so, returns true and gives the value (with frequency 0). Otherwise it returns false. --- src/BD_Shape.defs.hh | 33 ++++++ src/BD_Shape.templates.hh | 108 ++++++++++++++++++- src/Polyhedron.defs.hh | 33 ++++++ src/Polyhedron_public.cc | 87 +++++++++++++++ tests/BD_Shape/Makefile.am | 3 + tests/BD_Shape/frequency1.cc | 231 ++++++++++++++++++++++++++++++++++++++++ tests/Polyhedron/Makefile.am | 3 + tests/Polyhedron/frequency1.cc | 231 ++++++++++++++++++++++++++++++++++++++++ 8 files changed, 728 insertions(+), 1 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=e13382fd…

1 0

[GIT] ppl/ppl(master): Test test02() overflows with 16 bit checked integers .
by Enea Zaffanella 20 May '09

20 May '09

Module: ppl/ppl Branch: master Commit: 7a810826f459bd918da77b554c632fe6f909829f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a810826f459… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Wed May 20 13:16:36 2009 +0200 Test test02() overflows with 16 bit checked integers. --- tests/Polyhedron/wrap2.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/tests/Polyhedron/wrap2.cc b/tests/Polyhedron/wrap2.cc index 363c28f..ca9e8dd 100644 --- a/tests/Polyhedron/wrap2.cc +++ b/tests/Polyhedron/wrap2.cc @@ -94,5 +94,5 @@ test02() { BEGIN_MAIN DO_TEST_F8(test01); - DO_TEST_F8(test02); + DO_TEST_F16(test02); END_MAIN

1 0

[GIT] ppl/ppl(master): Added a warning about non-integrality for wrap_assign().
by Patricia Hill 20 May '09

20 May '09

Module: ppl/ppl Branch: master Commit: 4a2e47bc3c0bf3b040d046ba34bccf039f5847a0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4a2e47bc3c0b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:38:14 2009 +0100 Added a warning about non-integrality for wrap_assign(). Previous reverted commit which had the same message was wrongly done in the products branch. --- src/Grid.defs.hh | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index fd15980..628638e 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -1516,6 +1516,12 @@ public: \exception std::invalid_argument Thrown if \p *this is dimension-incompatible with one of the Variable objects contained in \p vars or with <CODE>*pcs</CODE>. + + \warning + It is assumed that variables in \p Vars represent integers. Thus, + where the extra cost is negligible, the integrality of these + variables is enforced; possibly causing a non-integral grid to + become empty. */ void wrap_assign(const Variables_Set& vars, Bounded_Integer_Type_Width w,

1 0

[GIT] ppl/ppl(products): Revert " Added a warning about non-integrality for wrap_assign()."
by Patricia Hill 20 May '09

20 May '09

Module: ppl/ppl Branch: products Commit: 97e641dd651baeccc600dc077ad7690e6e382649 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=97e641dd651b… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:36:26 2009 +0100 Revert "Added a warning about non-integrality for wrap_assign()." This reverts commit 6b9f28ad503f1d43da7a876c4bee7eae9eba185a. --- src/Grid.defs.hh | 6 ------ 1 files changed, 0 insertions(+), 6 deletions(-) diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index ed6bc78..f823a76 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -1549,12 +1549,6 @@ public: \exception std::invalid_argument Thrown if \p *this is dimension-incompatible with one of the Variable objects contained in \p vars or with <CODE>*pcs</CODE>. - - \warning - It is assumed that variables in \p Vars represent integers. Thus, - where the extra cost is negligible, the integrality of these - variables is enforced; possibly causing a non-integral grid to - become empty. */ void wrap_assign(const Variables_Set& vars, Bounded_Integer_Type_Width w,

1 0

[GIT] ppl/ppl(products): Added a warning about non-integrality for wrap_assign().
by Patricia Hill 20 May '09

20 May '09

Module: ppl/ppl Branch: products Commit: 6b9f28ad503f1d43da7a876c4bee7eae9eba185a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6b9f28ad503f… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:28:58 2009 +0100 Added a warning about non-integrality for wrap_assign(). --- src/Grid.defs.hh | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index f823a76..ed6bc78 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -1549,6 +1549,12 @@ public: \exception std::invalid_argument Thrown if \p *this is dimension-incompatible with one of the Variable objects contained in \p vars or with <CODE>*pcs</CODE>. + + \warning + It is assumed that variables in \p Vars represent integers. Thus, + where the extra cost is negligible, the integrality of these + variables is enforced; possibly causing a non-integral grid to + become empty. */ void wrap_assign(const Variables_Set& vars, Bounded_Integer_Type_Width w,

1 0

[GIT] ppl/ppl(products): Some tests are expected to fail with 8-bit integers.
by Patricia Hill 20 May '09

20 May '09

Module: ppl/ppl Branch: products Commit: 047b85ccd0ddca80f0557b4218a7b8cd61f591f1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=047b85ccd0dd… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed May 20 08:25:26 2009 +0100 Some tests are expected to fail with 8-bit integers. --- .../constraintsproduct1.cc | 2 +- tests/Partially_Reduced_Product/smashproduct1.cc | 2 +- tests/Partially_Reduced_Product/timeelapse1.cc | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/Partially_Reduced_Product/constraintsproduct1.cc b/tests/Partially_Reduced_Product/constraintsproduct1.cc index 10cf4b3..6d592a3 100644 --- a/tests/Partially_Reduced_Product/constraintsproduct1.cc +++ b/tests/Partially_Reduced_Product/constraintsproduct1.cc @@ -541,6 +541,6 @@ BEGIN_MAIN DO_TEST(test08); DO_TEST(test09); DO_TEST(test10); - DO_TEST(test11); + DO_TEST_F8(test11); DO_TEST(test12); END_MAIN diff --git a/tests/Partially_Reduced_Product/smashproduct1.cc b/tests/Partially_Reduced_Product/smashproduct1.cc index 6e159cc..92be69e 100644 --- a/tests/Partially_Reduced_Product/smashproduct1.cc +++ b/tests/Partially_Reduced_Product/smashproduct1.cc @@ -653,7 +653,7 @@ BEGIN_MAIN DO_TEST(test13); DO_TEST(test14); DO_TEST(test15); - DO_TEST(test16); + DO_TEST_F8(test16); DO_TEST(test17); DO_TEST(test18); END_MAIN diff --git a/tests/Partially_Reduced_Product/timeelapse1.cc b/tests/Partially_Reduced_Product/timeelapse1.cc index 13d12a3..fee9c52 100644 --- a/tests/Partially_Reduced_Product/timeelapse1.cc +++ b/tests/Partially_Reduced_Product/timeelapse1.cc @@ -110,6 +110,6 @@ test02() { } // namespace BEGIN_MAIN - DO_TEST(test01); + DO_TEST_F8(test01); DO_TEST(test02); END_MAIN

1 0

[GIT] ppl/ppl(master): Non-standard commas removed.
by Roberto Bagnara 20 May '09

20 May '09

Module: ppl/ppl Branch: master Commit: 7be6fde8d1aee21a74fa8a64ebaca8e74fe834ff URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7be6fde8d1ae… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed May 20 08:12:09 2009 +0200 Non-standard commas removed. --- src/Result.defs.hh | 2 +- src/globals.types.hh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Result.defs.hh b/src/Result.defs.hh index ae68372..dd58d2d 100644 --- a/src/Result.defs.hh +++ b/src/Result.defs.hh @@ -155,7 +155,7 @@ enum Result { V_UNKNOWN_POS_OVERFLOW = V_NAN | (11 << 8), //! \hideinitializer The computed result is not representable. - V_UNREPRESENTABLE = 1 << 7, + V_UNREPRESENTABLE = 1 << 7 }; diff --git a/src/globals.types.hh b/src/globals.types.hh index 546445d..569f965 100644 --- a/src/globals.types.hh +++ b/src/globals.types.hh @@ -91,7 +91,7 @@ enum Bounded_Integer_Type_Width { BITS_64 = 64, //! \hideinitializer 128 bits. - BITS_128 = 128, + BITS_128 = 128 }; /*! \brief \ingroup PPL_CXX_interface

1 0

[GIT] ppl/ppl(products): Removed redundant test files.
by Patricia Hill 19 May '09

19 May '09

Module: ppl/ppl Branch: products Commit: 49daa080642e8ffdf26942422490a0c8a1e140c9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=49daa080642e… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 19 17:15:53 2009 +0100 Removed redundant test files. --- tests/Partially_Reduced_Product/directproduct2.cc | 471 ---------- tests/Partially_Reduced_Product/directproduct3.cc | 722 -------------- tests/Partially_Reduced_Product/directproduct4.cc | 358 ------- tests/Partially_Reduced_Product/directproduct5.cc | 601 ------------ tests/Partially_Reduced_Product/directproduct6.cc | 719 -------------- .../partiallyreducedproduct1.cc | 845 ----------------- .../partiallyreducedproduct2.cc | 993 -------------------- .../partiallyreducedproduct3.cc | 751 --------------- .../partiallyreducedproduct4.cc | 278 ------ 9 files changed, 0 insertions(+), 5738 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=49daa080…

1 0

[GIT] ppl/ppl(products): Revised the tests so as to follow the organization for other domains.
by Patricia Hill 19 May '09

19 May '09

Module: ppl/ppl Branch: products Commit: b981fa2a283c3113769955bbfd85d4af5e1485d7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b981fa2a283c… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Tue May 19 17:07:14 2009 +0100 Revised the tests so as to follow the organization for other domains. Apart from the operation tests, there are specific tests for each reduction operator. Selected tests (in the Makefile) can be checked with the given component order and with the component domains reversed. --- tests/Partially_Reduced_Product/Makefile.am | 128 ++++- tests/Partially_Reduced_Product/addcongruences1.cc | 100 +++ tests/Partially_Reduced_Product/addconstraints1.cc | 285 ++++++++ tests/Partially_Reduced_Product/affineimage1.cc | 88 +++ tests/Partially_Reduced_Product/bounded1.cc | 57 ++ .../boundedaffineimage1.cc | 268 ++++++++ tests/Partially_Reduced_Product/bounds1.cc | 687 ++++++++++++++++++++ tests/Partially_Reduced_Product/concatenate1.cc | 70 ++ tests/Partially_Reduced_Product/congruences1.cc | 95 +++ tests/Partially_Reduced_Product/constraints1.cc | 98 +++ .../constraintsproduct1.cc | 27 +- tests/Partially_Reduced_Product/contains1.cc | 102 +++ tests/Partially_Reduced_Product/difference1.cc | 140 ++++ tests/Partially_Reduced_Product/dimension1.cc | 83 +++ tests/Partially_Reduced_Product/directproduct1.cc | 485 +------------- tests/Partially_Reduced_Product/discrete1.cc | 100 +++ tests/Partially_Reduced_Product/disjoint1.cc | 162 +++++ tests/Partially_Reduced_Product/equals1.cc | 82 +++ tests/Partially_Reduced_Product/frombdshape1.cc | 64 ++ tests/Partially_Reduced_Product/frombox1.cc | 86 +++ tests/Partially_Reduced_Product/fromgrid1.cc | 61 ++ .../fromoctagonalshape1.cc | 64 ++ tests/Partially_Reduced_Product/frompolyhedron1.cc | 119 ++++ tests/Partially_Reduced_Product/fromproduct1.cc | 178 +++++ .../generalizedaffineimage1.cc | 261 ++++++++ tests/Partially_Reduced_Product/intersection1.cc | 124 ++++ tests/Partially_Reduced_Product/isempty1.cc | 94 +++ tests/Partially_Reduced_Product/isuniverse1.cc | 83 +++ tests/Partially_Reduced_Product/maxmin1.cc | 248 +++++++ .../partially_reduced_product_test.hh | 29 + .../refinewithcongruences1.cc | 264 ++++++++ .../refinewithconstraints1.cc | 341 ++++++++++ tests/Partially_Reduced_Product/relations1.cc | 315 +++++++++ tests/Partially_Reduced_Product/smashproduct1.cc | 659 +++++++++++++++++++ tests/Partially_Reduced_Product/spacedims1.cc | 286 ++++++++ tests/Partially_Reduced_Product/timeelapse1.cc | 115 ++++ tests/Partially_Reduced_Product/topclosed1.cc | 94 +++ tests/Partially_Reduced_Product/topclosure1.cc | 67 ++ tests/Partially_Reduced_Product/upperbound1.cc | 190 ++++++ tests/Partially_Reduced_Product/widening1.cc | 108 +++ 40 files changed, 6426 insertions(+), 481 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=b981fa2a…

1 0

[GIT] ppl/ppl(master): Corrected a typo in the known result of a wrap_assign test.
by Enea Zaffanella 19 May '09

19 May '09

Module: ppl/ppl Branch: master Commit: ee3ef52f2db8f380a5b2ab8addd9cf8a17635a05 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee3ef52f2db8… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Tue May 19 13:44:06 2009 +0200 Corrected a typo in the known result of a wrap_assign test. (Please, double check that it was indeed a typo.) --- tests/Polyhedron/wrap1.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/tests/Polyhedron/wrap1.cc b/tests/Polyhedron/wrap1.cc index e8077a7..63aa5ca 100644 --- a/tests/Polyhedron/wrap1.cc +++ b/tests/Polyhedron/wrap1.cc @@ -587,7 +587,7 @@ test20() { ph.wrap_assign(vars, BITS_8, UNSIGNED, OVERFLOW_WRAPS, &cs, 16, false); C_Polyhedron known_result(2); - known_result.add_constraint(2*x >= 0); + known_result.add_constraint(2*x >= 1); known_result.add_constraint(3*x <= 2); known_result.add_constraint(y >= 0); known_result.add_constraint(y <= 1);

1 0