Module: ppl/ppl Branch: floating_point Commit: 32a8e23b60707354fb5c8393b6ccc640976382b1 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32a8e23b60707...

Author: Roberto Amadini r.amadini@virgilio.it Date: Mon Oct 5 17:53:37 2009 +0200

Removed comments.

---

tests/Floating_Point_Expression/digitalfilters1.cc | 30 ++++++++----------- 1 files changed, 13 insertions(+), 17 deletions(-)

diff --git a/tests/Floating_Point_Expression/digitalfilters1.cc b/tests/Floating_Point_Expression/digitalfilters1.cc index 1e47843..b778e38 100644 --- a/tests/Floating_Point_Expression/digitalfilters1.cc +++ b/tests/Floating_Point_Expression/digitalfilters1.cc @@ -106,8 +106,9 @@ test01() { Constraint_System cs; // FIXME: It's a temporary solution, waiting for a complete // implementation of ANALYZED_FP_FORMAT. - //ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max(); PPL_DIRTY_TEMP_COEFFICIENT(M); + ANALYZED_FP_FORMAT max; + max.set_max(false); //assign_r(M, max, ROUND_DOWN); assign_r(M, 200, ROUND_DOWN); cs.insert(Y <= M); @@ -187,11 +188,12 @@ test02() { "*** if (R >= D) Y = S + D; ***");

bd.upper_bound_assign(bd_begin); - Constraint_System cs(abstract_store.constraints()); + Constraint_System cs; // FIXME: It's a temporary solution, waiting for a complete // implementation of ANALYZED_FP_FORMAT. - //ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max(); PPL_DIRTY_TEMP_COEFFICIENT(M); + ANALYZED_FP_FORMAT max; + max.set_max(false); //assign_r(M, max, ROUND_DOWN); assign_r(M, 200, ROUND_DOWN); cs.insert(Y <= M); @@ -274,8 +276,9 @@ test03() { Constraint_System cs; // FIXME: It's a temporary solution, waiting for a complete // implementation of ANALYZED_FP_FORMAT. - //ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max(); PPL_DIRTY_TEMP_COEFFICIENT(M); + ANALYZED_FP_FORMAT max; + max.set_max(false); //assign_r(M, max, ROUND_DOWN); assign_r(M, 200, ROUND_DOWN); cs.insert(Y <= M); @@ -364,8 +367,9 @@ test04() { Constraint_System cs; // FIXME: It's a temporary solution, waiting for a complete // implementation of ANALYZED_FP_FORMAT. - //ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max(); PPL_DIRTY_TEMP_COEFFICIENT(M); + ANALYZED_FP_FORMAT max; + max.set_max(false); //assign_r(M, max, ROUND_DOWN); assign_r(M, 200, ROUND_DOWN); cs.insert(Y <= M); @@ -473,8 +477,9 @@ test05() { Constraint_System cs; // FIXME: It's a temporary solution, waiting for a complete // implementation of ANALYZED_FP_FORMAT. - //ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max(); PPL_DIRTY_TEMP_COEFFICIENT(M); + ANALYZED_FP_FORMAT max; + max.set_max(false); //assign_r(M, max, ROUND_DOWN); assign_r(M, 200, ROUND_DOWN); cs.insert(Y <= M); @@ -590,22 +595,13 @@ test06() { Constraint_System cs; // FIXME: It's a temporary solution, waiting for a complete // implementation of ANALYZED_FP_FORMAT. - //ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max(); PPL_DIRTY_TEMP_COEFFICIENT(M); + ANALYZED_FP_FORMAT max; + max.set_max(false); //assign_r(M, max, ROUND_DOWN); assign_r(M, 200, ROUND_DOWN); cs.insert(Y <= M); cs.insert(Y >= -M); - // FIXME: not sound. - // ANALYZED_FP_FORMAT max = std::numeric_limits<ANALYZED_FP_FORMAT>::max(); - // NOTE: std::max() not correct, try use following solution. - // ANALYZED_FP_FORMAT max; - // max.set_max(false); - //PPL_DIRTY_TEMP_COEFFICIENT(M); - //assign_r(M, max, ROUND_DOWN); - //cs.insert(Y <= M); - //cs.insert(Y >= -M); - ph.limited_BHRZ03_extrapolation_assign(ph_begin, cs); Box<FP_Interval> box(ph); print_constraints(box, "*** after widening ***");