xref: /freebsd/sys/contrib/openzfs/module/os/linux/spl/spl-math-compat.c (revision 8a62a2a5659d1839d8799b4274c04469d7f17c78)
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