[PPL-devel] [GIT] ppl/ppl(master): Output is exact also with some added needless zeroes .

[Abramo Bagnara]

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

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Mon Mar 26 14:51:48 2012 +0200

Output is exact also with some added needless zeroes.

---

 m4/ac_cxx_float_exact_output.m4 |   18 ++++++++++++------
 1 files changed, 12 insertions(+), 6 deletions(-)

diff --git a/m4/ac_cxx_float_exact_output.m4 b/m4/ac_cxx_float_exact_output.m4
index 16f683f..4851d63 100644
--- a/m4/ac_cxx_float_exact_output.m4
+++ b/m4/ac_cxx_float_exact_output.m4
@@ -84,14 +84,20 @@ convert(uint32_t x) {
 
 int
 main() {
-  if (check(convert(0xaaacccaaU),
-            "-3.069535185924732179074680971098132431507110595703125e-13")
+  if ((check(convert(0xaaacccaaU),
+             "-3.069535185924732179074680971098132431507110595703125e-13")
+       || check(convert(0xaaacccaaU),
+                "-3.069535185924732179074680971098132431507110595703125e-013"))
       && check(convert(0xcccaaaccU),
                "-106255968")
-      && check(convert(0x00000001U),
-               "1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-45")
-      && check(convert(0x80000001U),
-               "-1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-45"))
+      && (check(convert(0x00000001U),
+                "1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-45")
+          || check(convert(0x00000001U),
+                   "1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-045"))
+      && (check(convert(0x80000001U),
+               "-1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-45")
+          || check(convert(0x80000001U),
+                   "-1.40129846432481707092372958328991613128026194187651577175706828388979108268586060148663818836212158203125e-045")))
     return 0;
   else
     return 1;