1 // SPDX-License-Identifier: GPL-2.0
5 * Based on former do_div() implementation from asm-parisc/div64.h:
6 * Copyright (C) 1999 Hewlett-Packard Co
10 * Generic C version of 64bit/32bit division and modulo, with
11 * 64bit result and 32bit remainder.
13 * The fast case for (n>>32 == 0) is handled inline by do_div().
15 * Code generated for this function might be very inefficient
16 * for some CPUs. __div64_32() can be overridden by linking arch-specific
17 * assembly versions such as arch/ppc/lib/div64.S and arch/sh/lib/div64.S
18 * or by defining a preprocessor macro in arch/include/asm/div64.h.
21 #include <linux/bitops.h>
22 #include <linux/export.h>
23 #include <linux/math.h>
24 #include <linux/math64.h>
25 #include <linux/minmax.h>
26 #include <linux/log2.h>
28 /* Not needed on 64bit architectures */
29 #if BITS_PER_LONG == 32
32 uint32_t __attribute__((weak)) __div64_32(uint64_t *n, uint32_t base)
37 uint32_t high = rem >> 32;
39 /* Reduce the thing a bit first */
43 res = (uint64_t) high << 32;
44 rem -= (uint64_t) (high*base) << 32;
47 while ((int64_t)b > 0 && b < rem) {
64 EXPORT_SYMBOL(__div64_32);
68 s64 div_s64_rem(s64 dividend, s32 divisor, s32 *remainder)
73 quotient = div_u64_rem(-dividend, abs(divisor), (u32 *)remainder);
74 *remainder = -*remainder;
78 quotient = div_u64_rem(dividend, abs(divisor), (u32 *)remainder);
84 EXPORT_SYMBOL(div_s64_rem);
88 * div64_u64_rem - unsigned 64bit divide with 64bit divisor and remainder
89 * @dividend: 64bit dividend
90 * @divisor: 64bit divisor
91 * @remainder: 64bit remainder
93 * This implementation is a comparable to algorithm used by div64_u64.
94 * But this operation, which includes math for calculating the remainder,
95 * is kept distinct to avoid slowing down the div64_u64 operation on 32bit
99 u64 div64_u64_rem(u64 dividend, u64 divisor, u64 *remainder)
101 u32 high = divisor >> 32;
106 quot = div_u64_rem(dividend, divisor, &rem32);
110 quot = div_u64(dividend >> n, divisor >> n);
115 *remainder = dividend - quot * divisor;
116 if (*remainder >= divisor) {
118 *remainder -= divisor;
124 EXPORT_SYMBOL(div64_u64_rem);
128 * div64_u64 - unsigned 64bit divide with 64bit divisor
129 * @dividend: 64bit dividend
130 * @divisor: 64bit divisor
132 * This implementation is a modified version of the algorithm proposed
133 * by the book 'Hacker's Delight'. The original source and full proof
134 * can be found here and is available for use without restriction.
136 * 'http://www.hackersdelight.org/hdcodetxt/divDouble.c.txt'
139 u64 div64_u64(u64 dividend, u64 divisor)
141 u32 high = divisor >> 32;
145 quot = div_u64(dividend, divisor);
148 quot = div_u64(dividend >> n, divisor >> n);
152 if ((dividend - quot * divisor) >= divisor)
158 EXPORT_SYMBOL(div64_u64);
162 s64 div64_s64(s64 dividend, s64 divisor)
166 quot = div64_u64(abs(dividend), abs(divisor));
167 t = (dividend ^ divisor) >> 63;
169 return (quot ^ t) - t;
171 EXPORT_SYMBOL(div64_s64);
174 #endif /* BITS_PER_LONG == 32 */
177 * Iterative div/mod for use when dividend is not expected to be much
178 * bigger than divisor.
180 u32 iter_div_u64_rem(u64 dividend, u32 divisor, u64 *remainder)
182 return __iter_div_u64_rem(dividend, divisor, remainder);
184 EXPORT_SYMBOL(iter_div_u64_rem);
186 #ifndef mul_u64_u64_div_u64
187 u64 mul_u64_u64_div_u64(u64 a, u64 b, u64 c)
189 u64 res = 0, div, rem;
192 /* can a * b overflow ? */
193 if (ilog2(a) + ilog2(b) > 62) {
195 * Note that the algorithm after the if block below might lose
196 * some precision and the result is more exact for b > a. So
197 * exchange a and b if a is bigger than b.
199 * For example with a = 43980465100800, b = 100000000, c = 1000000000
200 * the below calculation doesn't modify b at all because div == 0
201 * and then shift becomes 45 + 26 - 62 = 9 and so the result
202 * becomes 4398035251080. However with a and b swapped the exact
203 * result is calculated (i.e. 4398046510080).
209 * (b * a) / c is equal to
214 * if nothing overflows. Can the 1st multiplication
215 * overflow? Yes, but we do not care: this can only
216 * happen if the end result can't fit in u64 anyway.
218 * So the code below does
223 div = div64_u64_rem(b, c, &rem);
227 shift = ilog2(a) + ilog2(b) - 62;
237 return res + div64_u64(a * b, c);
239 EXPORT_SYMBOL(mul_u64_u64_div_u64);