From raymond.toy at ericsson.com Mon Aug 29 20:12:34 2005 From: raymond.toy at ericsson.com (Raymond Toy) Date: Mon, 29 Aug 2005 16:12:34 -0400 Subject: [ieeefp-tests-devel] Testing Message-ID: Testing Ray From raymond.toy at ericsson.com Mon Aug 29 20:14:24 2005 From: raymond.toy at ericsson.com (Raymond Toy) Date: Mon, 29 Aug 2005 16:14:24 -0400 Subject: [ieeefp-tests-devel] Tests for log of negative numbers? Message-ID: 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--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 ) is #c( pi). That's seems debatable. Anyway, I wanted your opinion on whether Lisp should fail single-log-value.41. Ray