On some rare machines where branching is expensive, the below obvious approach to find minimum can be slow as it uses branching.
Below are the methods to get minimum(or maximum) without using branching. Typically, the obvious approach is best, though.
Method 1(Use XOR and comparison operator)
Minimum of x and y will be
y ^ ((x ^ y) & -(x < y))
It works because if x < y, then -(x = y, then -(x < y) will be all zeros, so r = y ^ ((x ^ y) & 0) = y. On some machines, evaluating (x < y) as 0 or 1 requires a branch instruction, so there may be no advantage.
To find the maximum, use
x ^ ((x ^ y) & -(x < y));
Minimum of 15 and 6 is 6 Maximum of 15 and 6 is 15
Method 2(Use subtraction and shift)
If we know that
INT_MIN <= (x - y) <= INT_MAX
, then we can use the following, which are faster because (x – y) only needs to be evaluated once.
Minimum of x and y will be
y + ((x - y) & ((x - y) >>(sizeof(int) * CHAR_BIT - 1)))
This method shifts the subtraction of x and y by 31 (if size of integer is 32). If (x-y) is smaller than 0, then (x -y)>>31 will be 1. If (x-y) is greater than or equal to 0, then (x -y)>>31 will be 0.
So if x >= y, we get minimum as y + (x-y)&0 which is y.
If x < y, we get minimum as y + (x-y)&1 which is x.
Similarly, to find the maximum use
x - ((x - y) & ((x - y) >> (sizeof(int) * CHAR_BIT - 1)))
Note that the 1989 ANSI C specification doesn’t specify the result of signed right-shift, so above method is not portable. If exceptions are thrown on overflows, then the values of x and y should be unsigned or cast to unsigned for the subtractions to avoid unnecessarily throwing an exception, however the right-shift needs a signed operand to produce all one bits when negative, so cast to signed there.
- Compute the integer absolute value (abs) without branching
- Find maximum XOR of given integer in a stream of integers
- Minimum number of elements to be removed to make XOR maximum
- Compute the parity of a number using XOR and table look-up
- Compute modulus division by a power-of-2-number
- How to sum two integers without using arithmetic operators in C/C++?
- Hamming distance between two Integers
- Bitwise recursive addition of two integers
- Detect if two integers have opposite signs
- Smallest of three integers without comparison operators
- Compare two integers without using any Comparison operator
- Check if given four integers (or sides) make rectangle
- Divide two integers without using multiplication, division and mod operator
- Number of mismatching bits in the binary representation of two integers
- Find the missing element in an array of integers represented in binary format