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

Author: Fabio Bossi bossi@cs.unipr.it Date: Thu Nov 18 19:32:59 2010 +0100

Use ldexp instead of ldexpl for portability reasons.

---

src/Float.templates.hh | 2 +- src/Linear_Form.templates.hh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Float.templates.hh b/src/Float.templates.hh index 8560530..3f88741 100644 --- a/src/Float.templates.hh +++ b/src/Float.templates.hh @@ -114,7 +114,7 @@ const FP_Interval_Type& compute_absolute_error( // We assume that f_base is a power of 2. analyzer_format omega; int power = ld2(f_base) * (1 - f_exponent_bias - f_mantissa_bits); - omega = std::max(static_cast<analyzer_format>(ldexpl(1.0, power)), + omega = std::max(static_cast<analyzer_format>(ldexp(1.0, power)), std::numeric_limits<analyzer_format>::denorm_min());

to_compute->build(i_constraint(GREATER_OR_EQUAL, -omega), diff --git a/src/Linear_Form.templates.hh b/src/Linear_Form.templates.hh index 32fb9cc..408868e 100644 --- a/src/Linear_Form.templates.hh +++ b/src/Linear_Form.templates.hh @@ -421,7 +421,7 @@ Linear_Form<C>::relative_error( C error_propagator; // We assume that f_base is a power of 2. int power = ld2(f_base) * (-f_mantissa_bits); - analyzer_format lb = -static_cast<analyzer_format>(ldexpl(1.0, power)); + analyzer_format lb = -static_cast<analyzer_format>(ldexp(1.0, power));

error_propagator.build(i_constraint(GREATER_OR_EQUAL, lb), i_constraint(LESS_OR_EQUAL, -lb));