- ieeefp-tests-devel@lists.common-lisp.net

[ieeefp-tests-devel] Tests for log of negative numbers?
by Raymond Toy 29 Aug '05

29 Aug '05

In the test suite, there are quite a few tests for log of negative numbers. I was in the process of converting the generated tests to return +quiet-<float>-nan-mask+ for :uo tests. However, this caused a huge increase in the number of failures. One of them is SINGLE-LOG-VALUE.41: Form: (PROGN "logs n uo v 80800000 0" (IEEEFP-TESTS::SET-UP-FPCW-STATE :NEAREST) (LET ((IEEEFP-TESTS::RESULT (LOG (IEEE754:MAKE-SINGLE-FLOAT IEEEFP-TESTS::+LEAST-NEGATIVE-NORMALIZED-SINGLE-FLOAT+)))) (IF (COMPLEXP IEEEFP-TESTS::RESULT) T (LET ((IEEEFP-TESTS::RESULT-BITS (IEEE754:SINGLE-FLOAT-BITS IEEEFP-TESTS::RESULT))) (= (LOGAND IEEEFP-TESTS::RESULT-BITS IEEEFP-TESTS::+QUIET-SINGLE-FLOAT-NAN-MASK+) IEEEFP-TESTS::+QUIET-SINGLE-FLOAT-NAN-MASK+))))) Expected value: T The tests expects (log <negative) to be a NaN, but we were passing the test because we returned T because we got a complex result. Is this the desired answer? In terms of the test, I think we should fail the test. When I modify the test to return the logand result and an expected answer of quiet-single-float-nan-mask, we do fail, of course. Another interesting test is single-log-value.54. CMUCL says (log <negative quiet NaN>) is #c(<quiet nan> pi). That's seems debatable. Anyway, I wanted your opinion on whether Lisp should fail single-log-value.41. Ray

1 0

[ieeefp-tests-devel] Testing
by Raymond Toy 29 Aug '05

29 Aug '05

Testing Ray

1 0

[ieeefp-tests-devel] Re: [ieeefp-tests-cvs] CVS update: ieeefp-tests/ieeefp-tests.lisp
by Christophe Rhodes 15 Jun '04

15 Jun '04

Raymond Toy <rtoy(a)common-lisp.net> writes: > o Add support for hypot. This is used to test Lisp's ABS function on > complex values. Cool. I have ucblib-style input files for trunc()/FTRUNCATE in single and double precision. Do you think they should go into ucb/ucblib/, or should we treat that as pristine and place additions somewhere else? Having trunc(), we are most of the way towards getting input files for rint(), which is basically ceil() in rounding mode p, floor() in rounding mode m, trunc() in rounding mode z; it's only complicated in rounding mode n. There does remain a point for discussion, though: what Lisp function, if any, corresponds to rint()? The natural choice would be FROUND, but a case could be made for FROUND to be round-to-nearest always much as FTRUNCATE is round-to-zero always. Perhaps this allows me to bring up a couple of ideas for things which should live in the IEEE754 package? Ideas: * specialised condition types: IEEE754:DIVISION-BY-ZERO and friends. The standard document says that it would be nice for programs to be able to find the faulting instruction and the operands from the handler; it would be nice to attempt to support this, at least for the IEEE-specified operations (+, -, *, /, sqrt and round-to-integer); * functions to get at the individual bits in the fields: IEEE:DOUBLE-FLOAT-EXPONENT and friends. (I'm aware that the exponent field is biased; that makes design interesting) * (maybe) implementations of functions which don't have any corresponding analogue in CL: IEEE754:LOG10? IEEE754:HYPOT? Maybe inspiration could be drawn from the C99 and C0X standards in this regard. Anything else? Cheers, Christophe -- http://www-jcsu.jesus.cam.ac.uk/~csr21/ +44 1223 510 299/+44 7729 383 757 (set-pprint-dispatch 'number (lambda (s o) (declare (special b)) (format s b))) (defvar b "~&Just another Lisp hacker~%") (pprint #36rJesusCollegeCambridge)

2 1

[ieeefp-tests-devel] C results
by Raymond Toy 10 Jun '04

10 Jun '04

Apologies for the long post. I decided it would be useful to see how the C version of the ieeefp-tests works. I've appended the double-float output file generated via GCC on a sparc/solaris8 box. There are some surprises there. CMUCL/sparc has failures on cosh and sin. The C version shows no such errors, but does shows errors on atan2, which doesn't happen on CMUCL/sparc. More study needed, I think. Ray Total 60 tests: pass 60, flags err 0, value err 0, acosd Total 352 tests: pass 352, flags err 0, value err 0, addd Total 77 tests: pass 77, flags err 0, value err 0, asind Value error: atan2d n eq - Input: 80000000 00000000 00000000 00000000 Computed: 00000000 00000000 Expected: 80000000 00000000 - Value error: atan2d n eq ?x Input: 00000000 00000000 80000000 00000000 Computed: 00000000 00000000 Expected: 400921FB 54442D18 ?x Value error: atan2d n eq ?x Input: 80000000 00000000 80000000 00000000 Computed: 00000000 00000000 Expected: C00921FB 54442D18 ?x Total 104 tests: pass 101, flags err 0, value err 3, atan2d ucbtest UCBFAIL in atan2d at line 701 for double Total 57 tests: pass 57, flags err 0, value err 0, atand Total 126 tests: pass 126, flags err 0, value err 0, cabsd Total 99 tests: pass 99, flags err 0, value err 0, ceild Total 53 tests: pass 53, flags err 0, value err 0, cosd Total 68 tests: pass 68, flags err 0, value err 0, coshd Total 383 tests: pass 383, flags err 0, value err 0, divd Total 97 tests: pass 97, flags err 0, value err 0, expd Total 37 tests: pass 37, flags err 0, value err 0, fabsd Total 103 tests: pass 103, flags err 0, value err 0, floord Total 352 tests: pass 352, flags err 0, value err 0, fmodd Total 126 tests: pass 126, flags err 0, value err 0, hypotd Total 89 tests: pass 89, flags err 0, value err 0, log10d Total 83 tests: pass 83, flags err 0, value err 0, logd Total 340 tests: pass 340, flags err 0, value err 0, muld Value error: powd n eq - Input: 7FF00000 00000001 00000000 00000000 Computed: 7FF00000 00000001 Expected: 3FF00000 00000000 - Value error: powd n eq - Input: 7FF80000 00000001 80000000 00000000 Computed: 7FF80000 00000001 Expected: 3FF00000 00000000 - Value error: powd n eq - Input: FFF00000 00000001 00000000 00000000 Computed: FFF00000 00000001 Expected: 3FF00000 00000000 - Value error: powd n eq - Input: FFF80000 00000001 80000000 00000000 Computed: FFF80000 00000001 Expected: 3FF00000 00000000 - Value error: powd n eq d Input: 00000000 00000000 FFEFFFFF FFFFFFFF Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq d Input: 00000000 00000000 80000000 00000001 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq d Input: 80000000 00000000 FFEFFFFF FFFFFFFF Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq d Input: 80000000 00000000 C0000000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq d?x Input: 80000000 00000000 80000000 00000001 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d?x Value error: powd n eq - Input: 7FF02000 00000000 00000000 00000000 Computed: 7FF02000 00000000 Expected: 3FF00000 00000000 - Value error: powd n eq - Input: 7FF02000 00000000 80000000 00000000 Computed: 7FF02000 00000000 Expected: 3FF00000 00000000 - Value error: powd n eq - Input: 7FFFE000 00000000 00000000 00000000 Computed: 7FFFE000 00000000 Expected: 3FF00000 00000000 - Value error: powd n eq - Input: 7FFFE000 00000000 80000000 00000000 Computed: 7FFFE000 00000000 Expected: 3FF00000 00000000 - Value error: powd n eq - Input: FFF02000 00000000 00000000 00000000 Computed: FFF02000 00000000 Expected: 3FF00000 00000000 - Value error: powd n eq - Input: FFF02000 00000000 80000000 00000000 Computed: FFF02000 00000000 Expected: 3FF00000 00000000 - Value error: powd n eq - Input: FFFFE000 00000000 00000000 00000000 Computed: FFFFE000 00000000 Expected: 3FF00000 00000000 - Value error: powd n eq - Input: FFFFE000 00000000 80000000 00000000 Computed: FFFFE000 00000000 Expected: 3FF00000 00000000 - Value error: powd n eq ?xd Input: 80000000 00000000 80000000 00000001 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 ?xd Value error: powd n eq d Input: 00000000 00000000 BFE00000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq d Input: 00000000 00000000 BFF00000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq d Input: 00000000 00000000 C0000000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq d Input: 00000000 00000000 C0220000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq d Input: 00000000 00000000 C0700000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq d Input: 00000000 00000000 C0DFFFC0 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq d Input: 00000000 00000000 C0E00000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq d Input: 80000000 00000000 BFE00000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq d Input: 80000000 00000000 C0700000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq d Input: 80000000 00000000 C0E00000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 d Value error: powd n eq xo Input: 80000000 00000001 C0000000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80000000 00000001 C0DFFF80 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80000000 00000002 C0000000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80000000 00000003 C0700000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80000000 00000003 C0E00000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80040000 00000000 C0000000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80040000 00000001 C0000000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80080000 00000000 C0000000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80080000 00000000 C0E00000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 800FFFFF FFFFFFFF C0000000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80100000 00000000 C0000000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80100000 00000001 C0000000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80100000 00000001 C0700000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80100000 00000001 C0DFFF80 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80100000 00000002 C0000000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80200000 00000000 C0000000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: 80300000 00000000 C0000000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: BC900000 00000000 C06F8000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: BCB00000 00000000 C0704000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: C0000000 00000000 40900000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: C0700000 00000000 40A00000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: C0F00000 00000000 40900000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: FFE00000 00000000 40700000 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Value error: powd n eq xo Input: FFE00000 00000000 40DFFF80 00000000 Computed: FFF00000 00000000 Expected: 7FF00000 00000000 xo Total 1543 tests: pass 1491, flags err 0, value err 52, powd ucbtest UCBFAIL in powd at line 701 for double Total 52 tests: pass 52, flags err 0, value err 0, sind Total 72 tests: pass 72, flags err 0, value err 0, sinhd Total 102 tests: pass 102, flags err 0, value err 0, sqrtd Total 321 tests: pass 321, flags err 0, value err 0, subd Total 54 tests: pass 54, flags err 0, value err 0, tand Total 72 tests: pass 72, flags err 0, value err 0, tanhd UCBFAIL clib_DP.output , 25 out of 25 tests completed

2 2

[ieeefp-tests-devel] Symbolic printing of well-known values
by Raymond Toy 08 Jun '04

08 Jun '04

Here is a patch that replaces some of the numbers in the tests with symbolic values so that it's easier to see what the tests are trying to do. I'm sure not all the well-known values have been converted, but this is a start. Ray

2 4

[ieeefp-tests-devel] test (and welcome) take 5
by Christophe Rhodes 08 Jun '04

08 Jun '04

Hello, Feel free to check stuff in to cvs. This mail is more of a test than anything else. Cheers, Christophe -- http://www-jcsu.jesus.cam.ac.uk/~csr21/ +44 1223 510 299/+44 7729 383 757 (set-pprint-dispatch 'number (lambda (s o) (declare (special b)) (format s b))) (defvar b "~&Just another Lisp hacker~%") (pprint #36rJesusCollegeCambridge)

1 0