Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2003 Bernardo Innocenti <bernie@develer.com> |
| 3 | * |
| 4 | * Based on former do_div() implementation from asm-parisc/div64.h: |
| 5 | * Copyright (C) 1999 Hewlett-Packard Co |
| 6 | * Copyright (C) 1999 David Mosberger-Tang <davidm@hpl.hp.com> |
| 7 | * |
| 8 | * |
| 9 | * Generic C version of 64bit/32bit division and modulo, with |
| 10 | * 64bit result and 32bit remainder. |
| 11 | * |
| 12 | * The fast case for (n>>32 == 0) is handled inline by do_div(). |
| 13 | * |
| 14 | * Code generated for this function might be very inefficient |
| 15 | * for some CPUs. __div64_32() can be overridden by linking arch-specific |
Nicolas Pitre | dce1eb9 | 2015-11-02 13:02:46 -0500 | [diff] [blame] | 16 | * assembly versions such as arch/ppc/lib/div64.S and arch/sh/lib/div64.S |
| 17 | * or by defining a preprocessor macro in arch/include/asm/div64.h. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 18 | */ |
| 19 | |
Paul Gortmaker | 8bc3bcc | 2011-11-16 21:29:17 -0500 | [diff] [blame] | 20 | #include <linux/export.h> |
| 21 | #include <linux/kernel.h> |
Roman Zippel | 2418f4f | 2008-05-01 04:34:25 -0700 | [diff] [blame] | 22 | #include <linux/math64.h> |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 23 | |
| 24 | /* Not needed on 64bit architectures */ |
| 25 | #if BITS_PER_LONG == 32 |
| 26 | |
Nicolas Pitre | dce1eb9 | 2015-11-02 13:02:46 -0500 | [diff] [blame] | 27 | #ifndef __div64_32 |
David S. Miller | cb8c181 | 2007-04-10 22:10:39 -0700 | [diff] [blame] | 28 | uint32_t __attribute__((weak)) __div64_32(uint64_t *n, uint32_t base) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 29 | { |
| 30 | uint64_t rem = *n; |
| 31 | uint64_t b = base; |
| 32 | uint64_t res, d = 1; |
| 33 | uint32_t high = rem >> 32; |
| 34 | |
| 35 | /* Reduce the thing a bit first */ |
| 36 | res = 0; |
| 37 | if (high >= base) { |
| 38 | high /= base; |
| 39 | res = (uint64_t) high << 32; |
| 40 | rem -= (uint64_t) (high*base) << 32; |
| 41 | } |
| 42 | |
| 43 | while ((int64_t)b > 0 && b < rem) { |
| 44 | b = b+b; |
| 45 | d = d+d; |
| 46 | } |
| 47 | |
| 48 | do { |
| 49 | if (rem >= b) { |
| 50 | rem -= b; |
| 51 | res += d; |
| 52 | } |
| 53 | b >>= 1; |
| 54 | d >>= 1; |
| 55 | } while (d); |
| 56 | |
| 57 | *n = res; |
| 58 | return rem; |
| 59 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 60 | EXPORT_SYMBOL(__div64_32); |
Nicolas Pitre | dce1eb9 | 2015-11-02 13:02:46 -0500 | [diff] [blame] | 61 | #endif |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 62 | |
Randy Dunlap | 6ec72e6 | 2017-09-30 08:43:42 -0700 | [diff] [blame^] | 63 | /** |
| 64 | * div_s64_rem - signed 64bit divide with 64bit divisor and remainder |
| 65 | * @dividend: 64bit dividend |
| 66 | * @divisor: 64bit divisor |
| 67 | * @remainder: 64bit remainder |
| 68 | */ |
Roman Zippel | 2418f4f | 2008-05-01 04:34:25 -0700 | [diff] [blame] | 69 | #ifndef div_s64_rem |
| 70 | s64 div_s64_rem(s64 dividend, s32 divisor, s32 *remainder) |
| 71 | { |
| 72 | u64 quotient; |
| 73 | |
| 74 | if (dividend < 0) { |
| 75 | quotient = div_u64_rem(-dividend, abs(divisor), (u32 *)remainder); |
| 76 | *remainder = -*remainder; |
| 77 | if (divisor > 0) |
| 78 | quotient = -quotient; |
| 79 | } else { |
| 80 | quotient = div_u64_rem(dividend, abs(divisor), (u32 *)remainder); |
| 81 | if (divisor < 0) |
| 82 | quotient = -quotient; |
| 83 | } |
| 84 | return quotient; |
| 85 | } |
| 86 | EXPORT_SYMBOL(div_s64_rem); |
| 87 | #endif |
| 88 | |
Brian Behlendorf | 658716d | 2010-10-26 14:23:10 -0700 | [diff] [blame] | 89 | /** |
Mike Snitzer | eb18cba | 2013-08-20 15:05:17 -0400 | [diff] [blame] | 90 | * div64_u64_rem - unsigned 64bit divide with 64bit divisor and remainder |
| 91 | * @dividend: 64bit dividend |
| 92 | * @divisor: 64bit divisor |
| 93 | * @remainder: 64bit remainder |
| 94 | * |
| 95 | * This implementation is a comparable to algorithm used by div64_u64. |
| 96 | * But this operation, which includes math for calculating the remainder, |
| 97 | * is kept distinct to avoid slowing down the div64_u64 operation on 32bit |
| 98 | * systems. |
| 99 | */ |
| 100 | #ifndef div64_u64_rem |
| 101 | u64 div64_u64_rem(u64 dividend, u64 divisor, u64 *remainder) |
| 102 | { |
| 103 | u32 high = divisor >> 32; |
| 104 | u64 quot; |
| 105 | |
| 106 | if (high == 0) { |
| 107 | u32 rem32; |
| 108 | quot = div_u64_rem(dividend, divisor, &rem32); |
| 109 | *remainder = rem32; |
| 110 | } else { |
| 111 | int n = 1 + fls(high); |
| 112 | quot = div_u64(dividend >> n, divisor >> n); |
| 113 | |
| 114 | if (quot != 0) |
| 115 | quot--; |
| 116 | |
| 117 | *remainder = dividend - quot * divisor; |
| 118 | if (*remainder >= divisor) { |
| 119 | quot++; |
| 120 | *remainder -= divisor; |
| 121 | } |
| 122 | } |
| 123 | |
| 124 | return quot; |
| 125 | } |
| 126 | EXPORT_SYMBOL(div64_u64_rem); |
| 127 | #endif |
| 128 | |
| 129 | /** |
Stanislaw Gruszka | f300213 | 2013-04-30 11:35:07 +0200 | [diff] [blame] | 130 | * div64_u64 - unsigned 64bit divide with 64bit divisor |
Brian Behlendorf | 658716d | 2010-10-26 14:23:10 -0700 | [diff] [blame] | 131 | * @dividend: 64bit dividend |
| 132 | * @divisor: 64bit divisor |
| 133 | * |
| 134 | * This implementation is a modified version of the algorithm proposed |
| 135 | * by the book 'Hacker's Delight'. The original source and full proof |
| 136 | * can be found here and is available for use without restriction. |
| 137 | * |
Heinrich Schuchardt | 28ca84e | 2015-02-26 20:19:03 +0100 | [diff] [blame] | 138 | * 'http://www.hackersdelight.org/hdcodetxt/divDouble.c.txt' |
Brian Behlendorf | 658716d | 2010-10-26 14:23:10 -0700 | [diff] [blame] | 139 | */ |
Stanislaw Gruszka | f300213 | 2013-04-30 11:35:07 +0200 | [diff] [blame] | 140 | #ifndef div64_u64 |
| 141 | u64 div64_u64(u64 dividend, u64 divisor) |
Stephen Hemminger | 3927f2e | 2007-03-25 19:54:23 -0700 | [diff] [blame] | 142 | { |
Brian Behlendorf | 658716d | 2010-10-26 14:23:10 -0700 | [diff] [blame] | 143 | u32 high = divisor >> 32; |
| 144 | u64 quot; |
Stephen Hemminger | 3927f2e | 2007-03-25 19:54:23 -0700 | [diff] [blame] | 145 | |
Brian Behlendorf | 658716d | 2010-10-26 14:23:10 -0700 | [diff] [blame] | 146 | if (high == 0) { |
Stanislaw Gruszka | f300213 | 2013-04-30 11:35:07 +0200 | [diff] [blame] | 147 | quot = div_u64(dividend, divisor); |
Brian Behlendorf | 658716d | 2010-10-26 14:23:10 -0700 | [diff] [blame] | 148 | } else { |
| 149 | int n = 1 + fls(high); |
| 150 | quot = div_u64(dividend >> n, divisor >> n); |
Stephen Hemminger | 3927f2e | 2007-03-25 19:54:23 -0700 | [diff] [blame] | 151 | |
Brian Behlendorf | 658716d | 2010-10-26 14:23:10 -0700 | [diff] [blame] | 152 | if (quot != 0) |
| 153 | quot--; |
Stanislaw Gruszka | f300213 | 2013-04-30 11:35:07 +0200 | [diff] [blame] | 154 | if ((dividend - quot * divisor) >= divisor) |
Brian Behlendorf | 658716d | 2010-10-26 14:23:10 -0700 | [diff] [blame] | 155 | quot++; |
| 156 | } |
Stephen Hemminger | 3927f2e | 2007-03-25 19:54:23 -0700 | [diff] [blame] | 157 | |
Brian Behlendorf | 658716d | 2010-10-26 14:23:10 -0700 | [diff] [blame] | 158 | return quot; |
Stephen Hemminger | 3927f2e | 2007-03-25 19:54:23 -0700 | [diff] [blame] | 159 | } |
Stanislaw Gruszka | f300213 | 2013-04-30 11:35:07 +0200 | [diff] [blame] | 160 | EXPORT_SYMBOL(div64_u64); |
Roman Zippel | 6f6d6a1 | 2008-05-01 04:34:28 -0700 | [diff] [blame] | 161 | #endif |
Stephen Hemminger | 3927f2e | 2007-03-25 19:54:23 -0700 | [diff] [blame] | 162 | |
Brian Behlendorf | 658716d | 2010-10-26 14:23:10 -0700 | [diff] [blame] | 163 | /** |
| 164 | * div64_s64 - signed 64bit divide with 64bit divisor |
| 165 | * @dividend: 64bit dividend |
| 166 | * @divisor: 64bit divisor |
| 167 | */ |
| 168 | #ifndef div64_s64 |
| 169 | s64 div64_s64(s64 dividend, s64 divisor) |
| 170 | { |
| 171 | s64 quot, t; |
| 172 | |
Andrew Morton | 79211c8 | 2015-11-09 14:58:13 -0800 | [diff] [blame] | 173 | quot = div64_u64(abs(dividend), abs(divisor)); |
Brian Behlendorf | 658716d | 2010-10-26 14:23:10 -0700 | [diff] [blame] | 174 | t = (dividend ^ divisor) >> 63; |
| 175 | |
| 176 | return (quot ^ t) - t; |
| 177 | } |
| 178 | EXPORT_SYMBOL(div64_s64); |
| 179 | #endif |
| 180 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 181 | #endif /* BITS_PER_LONG == 32 */ |
Jeremy Fitzhardinge | f595ec9 | 2008-06-12 10:47:56 +0200 | [diff] [blame] | 182 | |
| 183 | /* |
| 184 | * Iterative div/mod for use when dividend is not expected to be much |
| 185 | * bigger than divisor. |
| 186 | */ |
| 187 | u32 iter_div_u64_rem(u64 dividend, u32 divisor, u64 *remainder) |
| 188 | { |
Jeremy Fitzhardinge | d5e181f | 2008-06-12 10:47:58 +0200 | [diff] [blame] | 189 | return __iter_div_u64_rem(dividend, divisor, remainder); |
Jeremy Fitzhardinge | f595ec9 | 2008-06-12 10:47:56 +0200 | [diff] [blame] | 190 | } |
| 191 | EXPORT_SYMBOL(iter_div_u64_rem); |