Classic Round-Up Variant of Fast Unsigned Division by Constants: Algorithm and Full Proof

Yifei Li

Integer division instruction is generally expensive in most architectures. If the divisor is constant, the division can be transformed into combinations of several inexpensive inte…