1*8a62a2a5SMartin Matuska // SPDX-License-Identifier: GPL-2.0-or-later
2*8a62a2a5SMartin Matuska /*
3*8a62a2a5SMartin Matuska * Copyright (C) 2007-2010 Lawrence Livermore National Security, LLC.
4*8a62a2a5SMartin Matuska * Copyright (C) 2007 The Regents of the University of California.
5*8a62a2a5SMartin Matuska * Produced at Lawrence Livermore National Laboratory (cf, DISCLAIMER).
6*8a62a2a5SMartin Matuska * Written by Brian Behlendorf <behlendorf1@llnl.gov>.
7*8a62a2a5SMartin Matuska * UCRL-CODE-235197
8*8a62a2a5SMartin Matuska *
9*8a62a2a5SMartin Matuska * This file is part of the SPL, Solaris Porting Layer.
10*8a62a2a5SMartin Matuska *
11*8a62a2a5SMartin Matuska * The SPL is free software; you can redistribute it and/or modify it
12*8a62a2a5SMartin Matuska * under the terms of the GNU General Public License as published by the
13*8a62a2a5SMartin Matuska * Free Software Foundation; either version 2 of the License, or (at your
14*8a62a2a5SMartin Matuska * option) any later version.
15*8a62a2a5SMartin Matuska *
16*8a62a2a5SMartin Matuska * The SPL is distributed in the hope that it will be useful, but WITHOUT
17*8a62a2a5SMartin Matuska * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
18*8a62a2a5SMartin Matuska * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
19*8a62a2a5SMartin Matuska * for more details.
20*8a62a2a5SMartin Matuska *
21*8a62a2a5SMartin Matuska * You should have received a copy of the GNU General Public License along
22*8a62a2a5SMartin Matuska * with the SPL. If not, see <http://www.gnu.org/licenses/>.
23*8a62a2a5SMartin Matuska *
24*8a62a2a5SMartin Matuska * Solaris Porting Layer (SPL) Generic Implementation.
25*8a62a2a5SMartin Matuska */
26*8a62a2a5SMartin Matuska
27*8a62a2a5SMartin Matuska #include <sys/isa_defs.h>
28*8a62a2a5SMartin Matuska #include <sys/sysmacros.h>
29*8a62a2a5SMartin Matuska
30*8a62a2a5SMartin Matuska /*
31*8a62a2a5SMartin Matuska * 64-bit math support for 32-bit platforms. Compilers will generatee
32*8a62a2a5SMartin Matuska * references to the functions here if required.
33*8a62a2a5SMartin Matuska */
34*8a62a2a5SMartin Matuska
35*8a62a2a5SMartin Matuska #if BITS_PER_LONG == 32
36*8a62a2a5SMartin Matuska
37*8a62a2a5SMartin Matuska /*
38*8a62a2a5SMartin Matuska * Support 64/64 => 64 division on a 32-bit platform. While the kernel
39*8a62a2a5SMartin Matuska * provides a div64_u64() function for this we do not use it because the
40*8a62a2a5SMartin Matuska * implementation is flawed. There are cases which return incorrect
41*8a62a2a5SMartin Matuska * results as late as linux-2.6.35. Until this is fixed upstream the
42*8a62a2a5SMartin Matuska * spl must provide its own implementation.
43*8a62a2a5SMartin Matuska *
44*8a62a2a5SMartin Matuska * This implementation is a slightly modified version of the algorithm
45*8a62a2a5SMartin Matuska * proposed by the book 'Hacker's Delight'. The original source can be
46*8a62a2a5SMartin Matuska * found here and is available for use without restriction.
47*8a62a2a5SMartin Matuska *
48*8a62a2a5SMartin Matuska * http://www.hackersdelight.org/HDcode/newCode/divDouble.c
49*8a62a2a5SMartin Matuska */
50*8a62a2a5SMartin Matuska
51*8a62a2a5SMartin Matuska /*
52*8a62a2a5SMartin Matuska * Calculate number of leading of zeros for a 64-bit value.
53*8a62a2a5SMartin Matuska */
54*8a62a2a5SMartin Matuska static int
nlz64(uint64_t x)55*8a62a2a5SMartin Matuska nlz64(uint64_t x)
56*8a62a2a5SMartin Matuska {
57*8a62a2a5SMartin Matuska register int n = 0;
58*8a62a2a5SMartin Matuska
59*8a62a2a5SMartin Matuska if (x == 0)
60*8a62a2a5SMartin Matuska return (64);
61*8a62a2a5SMartin Matuska
62*8a62a2a5SMartin Matuska if (x <= 0x00000000FFFFFFFFULL) { n = n + 32; x = x << 32; }
63*8a62a2a5SMartin Matuska if (x <= 0x0000FFFFFFFFFFFFULL) { n = n + 16; x = x << 16; }
64*8a62a2a5SMartin Matuska if (x <= 0x00FFFFFFFFFFFFFFULL) { n = n + 8; x = x << 8; }
65*8a62a2a5SMartin Matuska if (x <= 0x0FFFFFFFFFFFFFFFULL) { n = n + 4; x = x << 4; }
66*8a62a2a5SMartin Matuska if (x <= 0x3FFFFFFFFFFFFFFFULL) { n = n + 2; x = x << 2; }
67*8a62a2a5SMartin Matuska if (x <= 0x7FFFFFFFFFFFFFFFULL) { n = n + 1; }
68*8a62a2a5SMartin Matuska
69*8a62a2a5SMartin Matuska return (n);
70*8a62a2a5SMartin Matuska }
71*8a62a2a5SMartin Matuska
72*8a62a2a5SMartin Matuska /*
73*8a62a2a5SMartin Matuska * Newer kernels have a div_u64() function but we define our own
74*8a62a2a5SMartin Matuska * to simplify portability between kernel versions.
75*8a62a2a5SMartin Matuska */
76*8a62a2a5SMartin Matuska static inline uint64_t
__div_u64(uint64_t u,uint32_t v)77*8a62a2a5SMartin Matuska __div_u64(uint64_t u, uint32_t v)
78*8a62a2a5SMartin Matuska {
79*8a62a2a5SMartin Matuska (void) do_div(u, v);
80*8a62a2a5SMartin Matuska return (u);
81*8a62a2a5SMartin Matuska }
82*8a62a2a5SMartin Matuska
83*8a62a2a5SMartin Matuska /*
84*8a62a2a5SMartin Matuska * Implementation of 64-bit unsigned division for 32-bit machines.
85*8a62a2a5SMartin Matuska *
86*8a62a2a5SMartin Matuska * First the procedure takes care of the case in which the divisor is a
87*8a62a2a5SMartin Matuska * 32-bit quantity. There are two subcases: (1) If the left half of the
88*8a62a2a5SMartin Matuska * dividend is less than the divisor, one execution of do_div() is all that
89*8a62a2a5SMartin Matuska * is required (overflow is not possible). (2) Otherwise it does two
90*8a62a2a5SMartin Matuska * divisions, using the grade school method.
91*8a62a2a5SMartin Matuska */
92*8a62a2a5SMartin Matuska uint64_t
__udivdi3(uint64_t u,uint64_t v)93*8a62a2a5SMartin Matuska __udivdi3(uint64_t u, uint64_t v)
94*8a62a2a5SMartin Matuska {
95*8a62a2a5SMartin Matuska uint64_t u0, u1, v1, q0, q1, k;
96*8a62a2a5SMartin Matuska int n;
97*8a62a2a5SMartin Matuska
98*8a62a2a5SMartin Matuska if (v >> 32 == 0) { // If v < 2**32:
99*8a62a2a5SMartin Matuska if (u >> 32 < v) { // If u/v cannot overflow,
100*8a62a2a5SMartin Matuska return (__div_u64(u, v)); // just do one division.
101*8a62a2a5SMartin Matuska } else { // If u/v would overflow:
102*8a62a2a5SMartin Matuska u1 = u >> 32; // Break u into two halves.
103*8a62a2a5SMartin Matuska u0 = u & 0xFFFFFFFF;
104*8a62a2a5SMartin Matuska q1 = __div_u64(u1, v); // First quotient digit.
105*8a62a2a5SMartin Matuska k = u1 - q1 * v; // First remainder, < v.
106*8a62a2a5SMartin Matuska u0 += (k << 32);
107*8a62a2a5SMartin Matuska q0 = __div_u64(u0, v); // Seconds quotient digit.
108*8a62a2a5SMartin Matuska return ((q1 << 32) + q0);
109*8a62a2a5SMartin Matuska }
110*8a62a2a5SMartin Matuska } else { // If v >= 2**32:
111*8a62a2a5SMartin Matuska n = nlz64(v); // 0 <= n <= 31.
112*8a62a2a5SMartin Matuska v1 = (v << n) >> 32; // Normalize divisor, MSB is 1.
113*8a62a2a5SMartin Matuska u1 = u >> 1; // To ensure no overflow.
114*8a62a2a5SMartin Matuska q1 = __div_u64(u1, v1); // Get quotient from
115*8a62a2a5SMartin Matuska q0 = (q1 << n) >> 31; // Undo normalization and
116*8a62a2a5SMartin Matuska // division of u by 2.
117*8a62a2a5SMartin Matuska if (q0 != 0) // Make q0 correct or
118*8a62a2a5SMartin Matuska q0 = q0 - 1; // too small by 1.
119*8a62a2a5SMartin Matuska if ((u - q0 * v) >= v)
120*8a62a2a5SMartin Matuska q0 = q0 + 1; // Now q0 is correct.
121*8a62a2a5SMartin Matuska
122*8a62a2a5SMartin Matuska return (q0);
123*8a62a2a5SMartin Matuska }
124*8a62a2a5SMartin Matuska }
125*8a62a2a5SMartin Matuska EXPORT_SYMBOL(__udivdi3);
126*8a62a2a5SMartin Matuska
127*8a62a2a5SMartin Matuska #ifndef abs64
128*8a62a2a5SMartin Matuska /* CSTYLED */
129*8a62a2a5SMartin Matuska #define abs64(x) ({ uint64_t t = (x) >> 63; ((x) ^ t) - t; })
130*8a62a2a5SMartin Matuska #endif
131*8a62a2a5SMartin Matuska
132*8a62a2a5SMartin Matuska /*
133*8a62a2a5SMartin Matuska * Implementation of 64-bit signed division for 32-bit machines.
134*8a62a2a5SMartin Matuska */
135*8a62a2a5SMartin Matuska int64_t
__divdi3(int64_t u,int64_t v)136*8a62a2a5SMartin Matuska __divdi3(int64_t u, int64_t v)
137*8a62a2a5SMartin Matuska {
138*8a62a2a5SMartin Matuska int64_t q, t;
139*8a62a2a5SMartin Matuska q = __udivdi3(abs64(u), abs64(v));
140*8a62a2a5SMartin Matuska t = (u ^ v) >> 63; // If u, v have different
141*8a62a2a5SMartin Matuska return ((q ^ t) - t); // signs, negate q.
142*8a62a2a5SMartin Matuska }
143*8a62a2a5SMartin Matuska EXPORT_SYMBOL(__divdi3);
144*8a62a2a5SMartin Matuska
145*8a62a2a5SMartin Matuska /*
146*8a62a2a5SMartin Matuska * Implementation of 64-bit unsigned modulo for 32-bit machines.
147*8a62a2a5SMartin Matuska */
148*8a62a2a5SMartin Matuska uint64_t
__umoddi3(uint64_t dividend,uint64_t divisor)149*8a62a2a5SMartin Matuska __umoddi3(uint64_t dividend, uint64_t divisor)
150*8a62a2a5SMartin Matuska {
151*8a62a2a5SMartin Matuska return (dividend - (divisor * __udivdi3(dividend, divisor)));
152*8a62a2a5SMartin Matuska }
153*8a62a2a5SMartin Matuska EXPORT_SYMBOL(__umoddi3);
154*8a62a2a5SMartin Matuska
155*8a62a2a5SMartin Matuska /* 64-bit signed modulo for 32-bit machines. */
156*8a62a2a5SMartin Matuska int64_t
__moddi3(int64_t n,int64_t d)157*8a62a2a5SMartin Matuska __moddi3(int64_t n, int64_t d)
158*8a62a2a5SMartin Matuska {
159*8a62a2a5SMartin Matuska int64_t q;
160*8a62a2a5SMartin Matuska boolean_t nn = B_FALSE;
161*8a62a2a5SMartin Matuska
162*8a62a2a5SMartin Matuska if (n < 0) {
163*8a62a2a5SMartin Matuska nn = B_TRUE;
164*8a62a2a5SMartin Matuska n = -n;
165*8a62a2a5SMartin Matuska }
166*8a62a2a5SMartin Matuska if (d < 0)
167*8a62a2a5SMartin Matuska d = -d;
168*8a62a2a5SMartin Matuska
169*8a62a2a5SMartin Matuska q = __umoddi3(n, d);
170*8a62a2a5SMartin Matuska
171*8a62a2a5SMartin Matuska return (nn ? -q : q);
172*8a62a2a5SMartin Matuska }
173*8a62a2a5SMartin Matuska EXPORT_SYMBOL(__moddi3);
174*8a62a2a5SMartin Matuska
175*8a62a2a5SMartin Matuska /*
176*8a62a2a5SMartin Matuska * Implementation of 64-bit unsigned division/modulo for 32-bit machines.
177*8a62a2a5SMartin Matuska */
178*8a62a2a5SMartin Matuska uint64_t
__udivmoddi4(uint64_t n,uint64_t d,uint64_t * r)179*8a62a2a5SMartin Matuska __udivmoddi4(uint64_t n, uint64_t d, uint64_t *r)
180*8a62a2a5SMartin Matuska {
181*8a62a2a5SMartin Matuska uint64_t q = __udivdi3(n, d);
182*8a62a2a5SMartin Matuska if (r)
183*8a62a2a5SMartin Matuska *r = n - d * q;
184*8a62a2a5SMartin Matuska return (q);
185*8a62a2a5SMartin Matuska }
186*8a62a2a5SMartin Matuska EXPORT_SYMBOL(__udivmoddi4);
187*8a62a2a5SMartin Matuska
188*8a62a2a5SMartin Matuska /*
189*8a62a2a5SMartin Matuska * Implementation of 64-bit signed division/modulo for 32-bit machines.
190*8a62a2a5SMartin Matuska */
191*8a62a2a5SMartin Matuska int64_t
__divmoddi4(int64_t n,int64_t d,int64_t * r)192*8a62a2a5SMartin Matuska __divmoddi4(int64_t n, int64_t d, int64_t *r)
193*8a62a2a5SMartin Matuska {
194*8a62a2a5SMartin Matuska int64_t q, rr;
195*8a62a2a5SMartin Matuska boolean_t nn = B_FALSE;
196*8a62a2a5SMartin Matuska boolean_t nd = B_FALSE;
197*8a62a2a5SMartin Matuska if (n < 0) {
198*8a62a2a5SMartin Matuska nn = B_TRUE;
199*8a62a2a5SMartin Matuska n = -n;
200*8a62a2a5SMartin Matuska }
201*8a62a2a5SMartin Matuska if (d < 0) {
202*8a62a2a5SMartin Matuska nd = B_TRUE;
203*8a62a2a5SMartin Matuska d = -d;
204*8a62a2a5SMartin Matuska }
205*8a62a2a5SMartin Matuska
206*8a62a2a5SMartin Matuska q = __udivmoddi4(n, d, (uint64_t *)&rr);
207*8a62a2a5SMartin Matuska
208*8a62a2a5SMartin Matuska if (nn != nd)
209*8a62a2a5SMartin Matuska q = -q;
210*8a62a2a5SMartin Matuska if (nn)
211*8a62a2a5SMartin Matuska rr = -rr;
212*8a62a2a5SMartin Matuska if (r)
213*8a62a2a5SMartin Matuska *r = rr;
214*8a62a2a5SMartin Matuska return (q);
215*8a62a2a5SMartin Matuska }
216*8a62a2a5SMartin Matuska EXPORT_SYMBOL(__divmoddi4);
217*8a62a2a5SMartin Matuska
218*8a62a2a5SMartin Matuska #if defined(__arm) || defined(__arm__)
219*8a62a2a5SMartin Matuska /*
220*8a62a2a5SMartin Matuska * Implementation of 64-bit (un)signed division for 32-bit arm machines.
221*8a62a2a5SMartin Matuska *
222*8a62a2a5SMartin Matuska * Run-time ABI for the ARM Architecture (page 20). A pair of (unsigned)
223*8a62a2a5SMartin Matuska * long longs is returned in {{r0, r1}, {r2,r3}}, the quotient in {r0, r1},
224*8a62a2a5SMartin Matuska * and the remainder in {r2, r3}. The return type is specifically left
225*8a62a2a5SMartin Matuska * set to 'void' to ensure the compiler does not overwrite these registers
226*8a62a2a5SMartin Matuska * during the return. All results are in registers as per ABI
227*8a62a2a5SMartin Matuska */
228*8a62a2a5SMartin Matuska void
__aeabi_uldivmod(uint64_t u,uint64_t v)229*8a62a2a5SMartin Matuska __aeabi_uldivmod(uint64_t u, uint64_t v)
230*8a62a2a5SMartin Matuska {
231*8a62a2a5SMartin Matuska uint64_t res;
232*8a62a2a5SMartin Matuska uint64_t mod;
233*8a62a2a5SMartin Matuska
234*8a62a2a5SMartin Matuska res = __udivdi3(u, v);
235*8a62a2a5SMartin Matuska mod = __umoddi3(u, v);
236*8a62a2a5SMartin Matuska {
237*8a62a2a5SMartin Matuska register uint32_t r0 asm("r0") = (res & 0xFFFFFFFF);
238*8a62a2a5SMartin Matuska register uint32_t r1 asm("r1") = (res >> 32);
239*8a62a2a5SMartin Matuska register uint32_t r2 asm("r2") = (mod & 0xFFFFFFFF);
240*8a62a2a5SMartin Matuska register uint32_t r3 asm("r3") = (mod >> 32);
241*8a62a2a5SMartin Matuska
242*8a62a2a5SMartin Matuska asm volatile(""
243*8a62a2a5SMartin Matuska : "+r"(r0), "+r"(r1), "+r"(r2), "+r"(r3) /* output */
244*8a62a2a5SMartin Matuska : "r"(r0), "r"(r1), "r"(r2), "r"(r3)); /* input */
245*8a62a2a5SMartin Matuska
246*8a62a2a5SMartin Matuska return; /* r0; */
247*8a62a2a5SMartin Matuska }
248*8a62a2a5SMartin Matuska }
249*8a62a2a5SMartin Matuska EXPORT_SYMBOL(__aeabi_uldivmod);
250*8a62a2a5SMartin Matuska
251*8a62a2a5SMartin Matuska void
__aeabi_ldivmod(int64_t u,int64_t v)252*8a62a2a5SMartin Matuska __aeabi_ldivmod(int64_t u, int64_t v)
253*8a62a2a5SMartin Matuska {
254*8a62a2a5SMartin Matuska int64_t res;
255*8a62a2a5SMartin Matuska uint64_t mod;
256*8a62a2a5SMartin Matuska
257*8a62a2a5SMartin Matuska res = __divdi3(u, v);
258*8a62a2a5SMartin Matuska mod = __umoddi3(u, v);
259*8a62a2a5SMartin Matuska {
260*8a62a2a5SMartin Matuska register uint32_t r0 asm("r0") = (res & 0xFFFFFFFF);
261*8a62a2a5SMartin Matuska register uint32_t r1 asm("r1") = (res >> 32);
262*8a62a2a5SMartin Matuska register uint32_t r2 asm("r2") = (mod & 0xFFFFFFFF);
263*8a62a2a5SMartin Matuska register uint32_t r3 asm("r3") = (mod >> 32);
264*8a62a2a5SMartin Matuska
265*8a62a2a5SMartin Matuska asm volatile(""
266*8a62a2a5SMartin Matuska : "+r"(r0), "+r"(r1), "+r"(r2), "+r"(r3) /* output */
267*8a62a2a5SMartin Matuska : "r"(r0), "r"(r1), "r"(r2), "r"(r3)); /* input */
268*8a62a2a5SMartin Matuska
269*8a62a2a5SMartin Matuska return; /* r0; */
270*8a62a2a5SMartin Matuska }
271*8a62a2a5SMartin Matuska }
272*8a62a2a5SMartin Matuska EXPORT_SYMBOL(__aeabi_ldivmod);
273*8a62a2a5SMartin Matuska #endif /* __arm || __arm__ */
274*8a62a2a5SMartin Matuska
275*8a62a2a5SMartin Matuska #endif /* BITS_PER_LONG */
276