+
+;;; test with (contrived) register pressure on the x86 to ensure that the
+;;; rotatee doesn't get clobbered by the count.
+
+(defun ub32-reg-pressure (count integer)
+ (declare (type (unsigned-byte 32) integer)
+ (type (integer -31 31) count))
+ (rotate-byte count (byte 32 0) (ldb (byte 32 0) (+ (* 67 count)
+ integer))))
+
+(assert (= (ub32-reg-pressure 1 5) 144))
+(assert (= (ub32-reg-pressure 5 5) 10880))
+(assert (= (ub32-reg-pressure 5 (ash 1 26)) 2147494368))
+(assert (= (ub32-reg-pressure 5 (ash 1 27)) 10721))
+
+(defun ub64/c (integer)
+ (declare (type (unsigned-byte 64) integer))
+ (rotate-byte 6 (byte 64 0) integer))
+
+(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)
+ (type (integer -63 63) count))
+ (rotate-byte count (byte 64 0) integer))
+
+(assert (= (ub64 6 5) 320))
+(assert (= (ub64 6 1) 64))
+(assert (= (ub64 6 (ash 1 57)) (ash 1 63)))
+(assert (= (ub64 6 (ash 1 58)) 1))