From: Leslie P. P. <sk...@vi...> - 2009-06-29 08:39:11
|
% time sh run-tests.sh float.pure.lisp /running tests on '/home/sky/sbcl.git/tests/../src/runtime/sbcl --core /home/sky/sbcl.git/tests/../output/sbcl.core --noinform --no-sysinit --no-userinit --noprint --disable-debugger' ; loading system definition from ; /home/sky/projects/lisp/sbcl.git/contrib/sb-posix/sb-posix.asd into ; #<PACKAGE "ASDF0"> ; loading system definition from ; /home/sky/projects/lisp/sbcl.git/contrib/sb-grovel/sb-grovel.asd into ; #<PACKAGE "ASDF1"> ; registering #<SYSTEM SB-GROVEL {AD5A799}> as SB-GROVEL ; registering #<SYSTEM SB-POSIX {B4119F1}> as SB-POSIX ; registering #<SYSTEM SB-POSIX-TESTS {A9A6AA1}> as SB-POSIX-TESTS STYLE-WARNING: Couldn't grovel for SIGEMT (unknown to the C compiler). STYLE-WARNING: Couldn't grovel for S_IFWHT (unknown to the C compiler). STYLE-WARNING: Couldn't grovel for O_NOFOLLOW (unknown to the C compiler). STYLE-WARNING: Couldn't grovel for O_DIRECTORY (unknown to the C compiler). STYLE-WARNING: Couldn't grovel for O_DIRECT (unknown to the C compiler). // Running pure tests (#<FUNCTION RUN-TESTS::LOAD-TEST>) // Running /home/sky/projects/lisp/sbcl.git/tests/float.pure.lisp ; in: LAMBDA NIL ; (FLOAT-RADIX "notfloat") ; ; caught WARNING: ; Asserted type FLOAT conflicts with derived type ; (VALUES (SIMPLE-ARRAY CHARACTER (8)) &OPTIONAL). ; See also: ; The SBCL Manual, Node "Handling of Types" ; ; compilation unit finished ; caught 1 WARNING condition ; in: LAMBDA NIL ; (SCALE-FLOAT 1.0d0 (1+ MOST-POSITIVE-FIXNUM)) ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-OVERFLOW signalled ; Operation was SCALE-FLOAT, operands (1.0d0 536870912). ; (SCALE-FLOAT 1.0 MOST-POSITIVE-FIXNUM) ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-OVERFLOW signalled ; Operation was SCALE-FLOAT, operands (1.0 536870911). ; ; compilation unit finished ; caught 2 STYLE-WARNING conditions ::: Running (:SCALE-FLOAT-OVERFLOW :BUG-372) ::: Success (:SCALE-FLOAT-OVERFLOW :BUG-372) ; in: LAMBDA NIL ; (COS (TAN (ROUND 0))) ; ; note: unable to avoid inline argument range check ; because the argument range (SINGLE-FLOAT) was not within 2^64 ; ; compilation unit finished ; printed 1 note ; in: LAMBDA NIL ; (SIN (TAN (ROUND 0))) ; ; note: unable to avoid inline argument range check ; because the argument range (SINGLE-FLOAT) was not within 2^64 ; ; compilation unit finished ; printed 1 note ; in: LAMBDA NIL ; (TAN (TAN (ROUND 0))) ; ; note: unable to avoid inline argument range check ; because the argument range (SINGLE-FLOAT) was not within 2^64 ; ; compilation unit finished ; printed 1 note ::: Running (:ADDITION-OVERFLOW :BUG-372) ::: Success (:ADDITION-OVERFLOW :BUG-372) ::: Running :COMPLEX-FLOAT-STACK ::: Success :COMPLEX-FLOAT-STACK ; in: LAMBDA NIL ; (/ 0.0 0.0) ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; caught STYLE-WARNING: ; Lisp error during constant folding: ; arithmetic error FLOATING-POINT-INVALID-OPERATION signalled ; ; compilation unit finished ; caught 30 STYLE-WARNING conditions ::: Running :NAN-COMPARISONS ::: Success :NAN-COMPARISONS ::: Running :LOG-INT/DOUBLE-ACCURACY ::: Success :LOG-INT/DOUBLE-ACCURACY ::: Running :LOG-BASE-ZERO-RETURN-TYPE ; in: LAMBDA (X Y) ; (LOG X Y) ; ; note: unable to ; optimize ; due to type uncertainty: ; The result is a (VALUES ; (OR SINGLE-FLOAT DOUBLE-FLOAT (COMPLEX SINGLE-FLOAT) ; (COMPLEX DOUBLE-FLOAT)) ; &OPTIONAL), not a (VALUES FLOAT &REST T). ; ; note: unable to ; optimize ; due to type uncertainty: ; The result is a (VALUES ; (OR SINGLE-FLOAT DOUBLE-FLOAT (COMPLEX SINGLE-FLOAT) ; (COMPLEX DOUBLE-FLOAT)) ; &OPTIONAL), not a (VALUES FLOAT &REST T). ; ; note: unable to ; optimize ; due to type uncertainty: ; The result is a (VALUES ; (OR SINGLE-FLOAT DOUBLE-FLOAT (COMPLEX SINGLE-FLOAT) ; (COMPLEX DOUBLE-FLOAT)) ; &OPTIONAL), not a (VALUES FLOAT &REST T). ; ; note: unable to ; optimize ; due to type uncertainty: ; The result is a (VALUES ; (OR SINGLE-FLOAT DOUBLE-FLOAT (COMPLEX SINGLE-FLOAT) ; (COMPLEX DOUBLE-FLOAT)) ; &OPTIONAL), not a (VALUES FLOAT &REST T). ; ; compilation unit finished ; printed 4 notes ::: Success :LOG-BASE-ZERO-RETURN-TYPE ; in: LAMBDA NIL ; (NREVERSE VAL) ; ; caught STYLE-WARNING: ; The return value of NREVERSE should not be discarded. ; ; compilation unit finished ; caught 1 STYLE-WARNING condition ::: Running :FLOAT-ARITHMETIC ::: Success :FLOAT-ARITHMETIC // Running pure tests (#<FUNCTION RUN-TESTS::CLOAD-TEST>) // Running impure tests (#<FUNCTION RUN-TESTS::LOAD-TEST>) // Running impure tests (#<FUNCTION RUN-TESTS::CLOAD-TEST>) // Running impure tests (#<FUNCTION RUN-TESTS::SH-TEST>) Finished running tests. All tests succeeded ok //apparent success (reached end of run-tests.sh normally) Mon Jun 29 10:22:59 CEST 2009 sh run-tests.sh float.pure.lisp 23.08s user 1.40s system 99% cpu 24.713 total I'm not sure how serious these style warnings are or whether the time elapsed is unusually high but when I run float.pure.lisp as part of the whole test suite (i.e. by just running run-tests.sh without any arg) I get a heap exhaustion after a long wait following ; caught STYLE-WARNING: ; The return value of NREVERSE should not be discarded. When running SBCL with a DSS of 1024 the memory suffices. This is 1.0.29.54 on GNU/Linux x86. Leslie -- http://www.linkedin.com/in/polzer |
From: Paul K. <pv...@pv...> - 2009-06-29 13:14:20
|
On 29-Jun-09, at 4:39 AM, Leslie P. Polzer wrote: [...] > I'm not sure how serious these style warnings are or whether the time > elapsed is unusually high but when I run float.pure.lisp as part of > the > whole test suite (i.e. by just running run-tests.sh without any arg) > I get > a heap exhaustion after a long wait following > > ; caught STYLE-WARNING: > ; The return value of NREVERSE should not be discarded. > > When running SBCL with a DSS of 1024 the memory suffices. > > This is 1.0.29.54 on GNU/Linux x86. Does inserting (gc :full t) before (with-test (:name :float- arithmetic) ...) suffice to fix that problem? It is a fairly large function (once inlining is taken into account). If not, I'll modify the test case to compile into more, smaller, chunks. Paul Khuong |
From: Leslie P. P. <sk...@vi...> - 2009-06-29 14:30:14
|
Paul Khuong wrote: > Does inserting (gc :full t) before (with-test (:name :float- > arithmetic) ...) suffice to fix that problem? Yes, that works. Leslie -- http://www.linkedin.com/in/polzer |