fix ROTATE-BYTE on 64-bit words using constant negative rotation

[sbcl.git] / contrib / sb-rotate-byte / rotate-byte-tests.lisp

diff --git a/contrib/sb-rotate-byte/rotate-byte-tests.lisp b/contrib/sb-rotate-byte/rotate-byte-tests.lisp
index 11f9b63..6e6b7f6 100644 (file)
--- a/contrib/sb-rotate-byte/rotate-byte-tests.lisp
+++ b/contrib/sb-rotate-byte/rotate-byte-tests.lisp
@@ -73,10 +73,14 @@
   (declare (type (unsigned-byte 64) integer))
   (rotate-byte 6 (byte 64 0) integer))
 
-(assert (= (ub64/c 5) 320))
-(assert (= (ub64/c 1) 64))
-(assert (= (ub64/c (ash 1 57)) (ash 1 63)))
-(assert (= (ub64/c (ash 1 58)) 1))
+(defun ub64/-c (integer)
+  (declare (type (unsigned-byte 64) integer))
+  (rotate-byte -6 (byte 64 0) integer))
+
+(assert (= (ub64/-c 320) 5))
+(assert (= (ub64/-c 64) 1))
+(assert (= (ub64/-c (ash 1 63)) (ash 1 57)))
+(assert (= (ub64/-c 1) (ash 1 58)))
 
 (defun ub64 (count integer)
   (declare (type (unsigned-byte 64) integer)