Circular shift


In combinatorial mathematics, a circular shift is the operation of rearranging the entries in a tuple, either by moving the final entry to the first position, while shifting all other entries to the next position, or by performing the inverse operation. A circular shift is a special kind of cyclic permutation, which in turn is a special kind of permutation. Formally, a circular shift is a permutation σ of the n entries in the tuple such that either
or
The result of repeatedly applying circular shifts to a given tuple are also called the circular shifts of the tuple.
For example, repeatedly applying circular shifts to the four-tuple successively gives
and then the sequence repeats; this four-tuple therefore has four distinct circular shifts. However, not all n-tuples have n distinct circular shifts. For instance, the 4-tuple only has 2 distinct circular shifts. In general the number of circular shifts of an n-tuple could be any divisor of n, depending on the entries of the tuple.
In computer programming, a bitwise rotation, also known as a circular shift, is a bitwise operation that shifts all bits of its operand. Unlike an arithmetic shift, a circular shift does not preserve a number's sign bit or distinguish a floating-point number's exponent from its significand. Unlike a logical shift, the vacant bit positions are not filled in with zeros but are filled in with the bits that are shifted out of the sequence.

Implementing circular shifts

Circular shifts are used often in cryptography in order to permute bit sequences. Unfortunately, many programming languages, including C, do not have operators or standard functions for circular shifting, even though virtually all processors have bitwise operation instructions for it.
However, some compilers may provide access to the processor instructions by means of intrinsic functions. In addition, some constructs in standard ANSI C code may be optimized by a compiler to the "rotate" assembly language instruction on CPUs that have such an instruction. Most C compilers recognize the following idiom, and compile it to a single 32-bit rotate instruction.

/*
* Shift operations in C are only defined for shift values which are
* not negative and smaller than sizeof * CHAR_BIT.
* The mask, used with bitwise-and, prevents undefined behaviour
* when the shift count is 0 or >= the width of unsigned int.
*/
  1. include // for uint32_t, to get 32-bit-wide rotates, regardless of the size of int.
  2. include // for CHAR_BIT
uint32_t rotl32
uint32_t rotr32

This safe and compiler-friendly implementation was developed by John Regehr, and further polished by Peter Cordes.
A simpler version is often seen when the count is limited to the range of 1 to 31 bits:

uint32_t rotl32

This version is dangerous because if the count is 0 or 32, it asks for a 32-bit shift, which is undefined behaviour in the C language standard. However, it tends to work anyway, because most microprocessors implement value>>32 as either a 32-bit shift or a 0-bit shift, and either one produces the correct result in this application.
For C++, the use of templates can expand the support to all integer types:
  1. include
// https://stackoverflow.com/a/776550/3770260
template
  1. if __cplusplus > 201100L // Apply constexpr to C++ 11 to ease optimization
constexpr
  1. endif // See also https://stackoverflow.com/a/7269693/3770260
INT rol

Example

If the bit sequence 0001 0111 were subjected to a circular shift of one bit position...
If the bit sequence 1001 0110 were subjected to the following operations:

Applications

s are a kind of block code with the property that the circular shift of a codeword will always yield another codeword. This motivates the following general definition: For a string s over an alphabet Σ, let shift denote the set of circular shifts of s,
and for a set L of strings, let shift denote the set of all circular shifts of strings in L. If L is a cyclic code, then shiftL; this is a necessary condition for L being a cyclic language. The operation shift has been studied in formal language theory. For instance, if L is a context-free language, then shift is again context-free. Also, if L is described by a regular expression of length n, there is a regular expression of length O describing shift.