Rotate-left-64
- Signature
(rotate-left-64 x places) → *
- Arguments
- x — The bit vector to be rotated left.
- places — The number of places to rotate left.
Definitions and Theorems
Function: rotate-left-64$inline
(defun rotate-left-64$inline (x places)
(declare (type (unsigned-byte 64) x)
(type (unsigned-byte 64) places))
(let ((__function__ 'rotate-left-64))
(declare (ignorable __function__))
(mbe
:logic (rotate-left x 64 places)
:exec
(let*
((x (mbe :logic (loghead 64 x) :exec x))
(places (mbe :logic (lnfix places)
:exec places))
(places (mbe :logic (mod places 64)
:exec
(if (< places 64)
(the (integer 0 63) places)
(the (integer 0 63) (rem places 64)))))
(low-num (the (integer 0 64) (- 64 places)))
(mask (the (unsigned-byte 64)
(1- (the (unsigned-byte 65)
(ash 1 low-num)))))
(xl (the (unsigned-byte 64)
(logand x mask)))
(xh (the (unsigned-byte 64)
(logand x
(the (signed-byte 65) (lognot mask)))))
(xh-shift (the (unsigned-byte 64)
(ash xh (the (integer -64 0) (- low-num)))))
(xl-shift (the (unsigned-byte 64)
(ash (the (unsigned-byte 64) xl)
(the (integer 0 64) places))))
(ans (the (unsigned-byte 64)
(logior xl-shift xh-shift))))
ans))))
