The binary logarithm, or the logarithm to the base 2, of a number is the number such that . This article looks at how we can determine the integer part of the binary logarithm using integer arithmetic only. Naturally, the binary logarithm is especially easy to work with on (binary) computers and bitwise operations come in handy.

As we saw in a previous post, we have

This means that we seek an integer such that and . We see that is the position of the left-most bit or, equivalently, that it takes bits, but no fewer, to represent the number .

The ceil/floor post also states

which means that we can repeatedly do integer divison by two until we reach zero. To be more specific:

```
template <typename T>
unsigned floor_log2(T v) {
unsigned r = -1;
while (v) { v >>= 1; r++; }
return r;
}
```

The good thing about this algorithm is that it works for all (positive) integer types, provided that bitwise shift right `>>`

or integer division by two is defined. The bad thing is that it is not very fast.

An observation that can lead to faster algorithms is the fact that, as mentioned above, is the position of the left-most bit. Let us address multiple-precision numbers first. Assume that a positive integer is represented as in a previous post as

with and . Now if for some , as is normally the case, we have:

So the problem of computing the integer binary logarithm for a multiple-precision integer of the type stated is reduced to finding the integer binary logarithm of a single -bit digit.

Consider now a positive integer represented using a 16 bit word. Since we are interested in the left-most bit, we can search for it using a kind of binary search method. First we do a bitwise and with the mask to see if the left-most bit is located in the upper or lower part of the word. If it is among the lower 8 bits we simply compute the result for this 8 bit number instead; if it is among the upper 8 bits we compute the result for the upper 8 bits and add 8. We have thus reduced the problem of finding the integer binary logarithm of an 16 bit number to finding the same function of an 8 bit number. This principle can be used recursively until we look at only 1 bit:

```
unsigned floor_log2(uint16_t v) {
static const uint16_t ones = -1;
unsigned r = 0;
if (v & (ones << 8)) { v >>= 8; r += 8; }
if (v & (ones << 4)) { v >>= 4; r += 4; }
if (v & (ones << 2)) { v >>= 2; r += 2; }
if (v & (ones << 1)) { v >>= 1; r += 1; }
return r;
}
```

(Note that this function returns 0 if the argument is 0. The types `uint8_t`

, `uint16_t`

, and so on are defined in `stdint.h`

and `cstdint`

.)

If we look at small numbers, say 8 bit integers, we can do much better with a simple table lookup. For instance:

```
const short floor_log2_table[256] = {
-1, 0, 1,1, 2,2,2,2, 3,3,3,3,3,3,3,3, 4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,
5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,
6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,
6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,
7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,
7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,
7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,
7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7 };
unsigned floor_log2(uint8_t v) {
return floor_log2_table[v];
}
```

For large numbers we can combine the binary search and the table lookup. For 32 bit numbers we get:

```
unsigned floor_log2(uint32_t v) {
static const uint32_t ones = -1;
unsigned r = 0;
if (v & (ones << 16)) { v >>= 16; r += 16; }
if (v & (ones << 8)) { v >>= 8; r += 8; }
return r + floor_log2_table[v];
}
```

This provides a nice trade-off between speed and memory use.

For further reading on the integer binary logarithm, and *many* other aspects related to the binary representation of numbers, I recommend The Art of Computer Programming, Volume 4, Fascicle 1: Bitwise Tricks & Techniques and Binary Decision Diagrams by Donald E. Knuth and Hacker's Delight by Henry S. Warren, Jr. See also these online Bit Twiddling Hacks.

*(Update 2014-03-25: Source code is available as snippet integer_binary_logarithm.)*