From: Alexey D. <ade...@us...> - 2003-07-18 05:47:26
|
Update of /cvsroot/sbcl/sbcl/tests In directory sc8-pr-cvs1:/tmp/cvs-serv7345/tests Modified Files: compiler.pure.lisp Log Message: 0.8.1.40: * Fix optimizer of BIT-NOT; * remove explicit type check in PEEK-CHAR. Index: compiler.pure.lisp =================================================================== RCS file: /cvsroot/sbcl/sbcl/tests/compiler.pure.lisp,v retrieving revision 1.50 retrieving revision 1.51 diff -u -d -r1.50 -r1.51 --- compiler.pure.lisp 3 Jul 2003 19:21:32 -0000 1.50 +++ compiler.pure.lisp 18 Jul 2003 05:47:23 -0000 1.51 @@ -471,3 +471,12 @@ (declare (double-float x)) (let ((y (* x pi))) (atan y y)))) + +;; bogus optimization of BIT-NOT +(multiple-value-bind (result x) + (eval '(let ((x (eval #*1001))) + (declare (optimize (speed 2) (space 3)) + (type (bit-vector) x)) + (values (bit-not x nil) x))) + (assert (equal x #*1001)) + (assert (equal result #*0110))) |