[Sbcl-commits] CVS: sbcl/tests compiler.pure.lisp,1.133,1.134

[Nathan F. <nf...@us...>]

Update of /cvsroot/sbcl/sbcl/tests
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv800/tests

Modified Files:
	compiler.pure.lisp 
Log Message:
0.9.9.23:
	More fixes courtesy of PFD's ansi-tests:
	...%LOGBITP had its arglist reversed.  Oops;
	...be more proactive in declaring the types of constant arguments
	   in the %LOGBITP VOPs to avoid bogosity.


Index: compiler.pure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/compiler.pure.lisp,v
retrieving revision 1.133
retrieving revision 1.134
diff -u -d -r1.133 -r1.134
--- compiler.pure.lisp	7 Feb 2006 16:23:41 -0000	1.133
+++ compiler.pure.lisp	8 Feb 2006 19:19:29 -0000	1.134
@@ -1955,3 +1955,25 @@
                               (%f3 0 a))))
                    0)))
               22)))
+
+;;; MISC.626: bandaged AVER was still wrong
+(assert (eql -829253
+	     (funcall
+	      (compile
+	       nil
+	       '(lambda (a)
+		  (declare (type (integer -902970 2) a))
+		  (declare (optimize (space 2) (debug 0) (compilation-speed 1)
+				     (speed 0) (safety 3)))
+		  (prog2 (if (logbitp 30 a) 0 (block b3 0)) a)))
+	      -829253)))
+
+;; MISC.628: constant-folding %LOGBITP was buggy
+(assert (eql t
+	     (funcall
+	      (compile
+	       nil
+	       '(lambda ()
+		  (declare (optimize (safety 3) (space 3) (compilation-speed 3)
+				     (speed 0) (debug 1)))
+		  (not (not (logbitp 0 (floor 2147483651 (min -23 0))))))))))