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