/[ieeefp-tests]/ieeefp-tests/Notes
ViewVC logotype

Contents of /ieeefp-tests/Notes

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.1 - (show annotations)
Thu Aug 25 18:05:25 2005 UTC (8 years, 7 months ago) by rtoy
Branch: MAIN
CVS Tags: HEAD
Initial revision.
1 -*- Mode: text -*-
2
3 This file contains some random notes about the tests and also about
4 the test failures.
5
6
7 CMUCL
8 -----
9
10 o SINGLE-LOG-VALUE.39 is computing log(-0.0) and expects negative
11 infinity for the result. But CMUCL returns a complex instead. I
12 think this is a consequence of having signed floats, but also note
13 that IEEE754 requires sqrt(-0.0) to be -0.0, which CMUCL does
14 return.
15
16 There are tests failing for this reason: SINGLE-LOG-VALUE.46,
17 SINGLE-LOG-VALUE.165, SINGLE-LOG-VALUE.225, DOUBLE-LOG-VALUE.39,
18 DOUBLE-LOG-VALUE.46, DOUBLE-LOG-VALUE.164, DOUBLE-LOG-VALUE.225,
19 DOUBLE-LOG-VALUE.224
20
21 Same issue with SINGLE-LOG10-VALUE.55 and friends.
22
23 I'm not sure what is right.
24
25 o Round off errors occur in quite a few tests, including
26 SINGLE-SIN-VAOLUE.122, SINGLE-SIN-VALUE.155, SINGLE-COS-VALUE.39,
27 SINGLE-COS-VALUE.56, SINGLE-COS-VALUE.156, SINGLE-COS-VALUE.170,
28 DOUBLE-COS-VALUE.117, and so on.
29
30 o COSH-VALUE.67 returns infinity instead of most positive float. I
31 think this is an issue with gcc and libc on Solaris. When compiled
32 with Sun C, this test passes. There is some magic happening when
33 compiled with Sun C because gcc uses exactly the same library as Sun
34 C, but Sun C must link in some additional special library to make
35 cosh work.
36
37 o SINGLE-ASIN-VALUE.41 actually produces an error. It's in
38 complex-asin, trying to integer-decode-float a NaN. There are quite
39 a few other errors caused by this.
40
41 o SINGLE-ABS-VALUE.8, SINGLE-ABS-VALUE.16 fail on Sparc because it
42 seems the fabs instruction on Sparc doesn't properly convert a
43 trapping NaN to a quiet NaN. Instead it just returns the trapping
44 NaN, after zapping the sign bit.
45
46 o SINGLE-FTRUNCATE-VALUE.199 and friends fail because ftruncate
47 doesn't convert the trapping NaN to a quiet NaN. We could probably
48 fix these.

  ViewVC Help
Powered by ViewVC 1.1.5