1 This module provides an implementation of ROTATE-BYTE, described at
2 <http://www.cliki.net/ROTATE-BYTE">. Its inclusion is hoped to
5 (1) to provide the necessary functionality for implementations of
6 cryptographic and hashing algorithms (e.g. MD5);
8 (2) to provide an example of the things that can be achieved by using
9 the external but unsupported interfaces to the compiler.
11 Included in the module as of 2003-02-11 is an efficient implementation
12 of unsigned 32-bit rotation for the x86; when the compiler can prove
13 that the rotation in question is of an (UNSIGNED-BYTE 32) over the
14 byte specifier (BYTE 32 0), it will compile directly to machine
15 rotation instructions. Patches for similar functionality on other
16 platforms are welcome.