Module: ppl/ppl Branch: master Commit: 2d797ef5eb5d3063420592c72007afb3683d7437 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d797ef5eb5d3...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Dec 29 22:24:42 2009 +0100

Expected failures revised.

---

tests/Floating_Point_Expression/digitalfilters1.cc | 2 +- tests/Floating_Point_Expression/polyhedron1.cc | 14 ++++++++++++-- tests/Floating_Point_Expression/polyhedron2.cc | 18 ++++++++++++++++-- 3 files changed, 29 insertions(+), 5 deletions(-)

diff --git a/tests/Floating_Point_Expression/digitalfilters1.cc b/tests/Floating_Point_Expression/digitalfilters1.cc index dfd87c4..2d21541 100644 --- a/tests/Floating_Point_Expression/digitalfilters1.cc +++ b/tests/Floating_Point_Expression/digitalfilters1.cc @@ -932,7 +932,7 @@ BEGIN_MAIN DO_TEST_F8(test01); DO_TEST_F8(test02); DO_TEST_F8(test03); - DO_TEST_F64(test04); + DO_TEST_F32A(test04); DO_TEST_F8(test05); DO_TEST_F8(test06); DO_TEST_F64(test07); diff --git a/tests/Floating_Point_Expression/polyhedron1.cc b/tests/Floating_Point_Expression/polyhedron1.cc index 8d2be03..161c3a9 100644 --- a/tests/Floating_Point_Expression/polyhedron1.cc +++ b/tests/Floating_Point_Expression/polyhedron1.cc @@ -260,8 +260,18 @@ BEGIN_MAIN DO_TEST(test01); DO_TEST(test02); DO_TEST(test03); - DO_TEST_F32A(test04); - DO_TEST_F32(test05); + if (sizeof(ANALYZER_FP_FORMAT) == 4) { + DO_TEST_F32A(test04); + DO_TEST_F64A(test05); + } + else if (sizeof(ANALYZER_FP_FORMAT) == 8) { + DO_TEST_F64A(test04); + DO_TEST_F64(test05); + } + else { + DO_TEST_F64(test04); + DO_TEST_F64(test05); + } DO_TEST(test06); DO_TEST(test07); END_MAIN diff --git a/tests/Floating_Point_Expression/polyhedron2.cc b/tests/Floating_Point_Expression/polyhedron2.cc index 1b21f16..e5e892d 100644 --- a/tests/Floating_Point_Expression/polyhedron2.cc +++ b/tests/Floating_Point_Expression/polyhedron2.cc @@ -222,6 +222,20 @@ BEGIN_MAIN DO_TEST(test01); DO_TEST(test02); DO_TEST(test03); - DO_TEST_F32(test04); - DO_TEST_F64A(test05); + if (sizeof(ANALYZER_FP_FORMAT) == 4) { + DO_TEST_F32(test04); +#ifdef NDEBUG + DO_TEST_F16(test05); +#else + DO_TEST_F64A(test05); +#endif + } + else if (sizeof(ANALYZER_FP_FORMAT) == 8) { + DO_TEST_F64(test04); + DO_TEST_F64A(test05); + } + else { + DO_TEST_F64(test04); + DO_TEST_F64(test05); + } END_MAIN