X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Farith.impure.lisp;h=e4c7e7d6b46b331554bbefddc8ad9c018ec4ca2d;hb=3a618201c9f2370bb8784217a866d000371769e5;hp=27948bd93f02e19e061df4fc684e062b4017e5ad;hpb=b2c2a4e56cde254cc6c73b43704189b4b54ac834;p=sbcl.git

diff --git a/tests/arith.impure.lisp b/tests/arith.impure.lisp
index 27948bd..e4c7e7d 100644
--- a/tests/arith.impure.lisp
+++ b/tests/arith.impure.lisp
@@ -73,7 +73,6 @@
 	   (type (unsigned-byte 32) x)
 	   (type (integer -40 0) y))
   (ash x y))
-
 (defun what-about-with-constants (x)
   (declare (optimize speed) (type (unsigned-byte 32) x))
   (ash x -32))
@@ -83,14 +82,20 @@
 	     (if (< i 32)
 		 (1- (ash 1 (- 32 i)))
 	         0))))
-
 (assert (= (what-about-with-constants (1- (ash 1 32))) 0))
 
 (defun one-more-test-case-to-catch-sparc (x y)
   (declare (optimize speed (safety 0))
 	   (type (unsigned-byte 32) x) (type (integer -40 2) y))
   (the (unsigned-byte 32) (ash x y)))
-
 (assert (= (one-more-test-case-to-catch-sparc (1- (ash 1 32)) -40) 0))
+
+(defun 64-bit-logcount (x)
+  (declare (optimize speed) (type (unsigned-byte 54) x))
+  (logcount x))
+(assert (= (64-bit-logcount (1- (ash 1 24))) 24))
+(assert (= (64-bit-logcount (1- (ash 1 32))) 32))
+(assert (= (64-bit-logcount (1- (ash 1 48))) 48))
+(assert (= (64-bit-logcount (1- (ash 1 54))) 54))
 
 (sb-ext:quit :unix-status 104)