longlong.h revision 1.3 1 1.1 mrg /* longlong.h -- definitions for mixed size 32/64 bit arithmetic.
2 1.1 mrg
3 1.3 mrg Copyright 1991-1994, 1996, 1997, 1999-2005, 2007-2009, 2011-2016 Free Software
4 1.3 mrg Foundation, Inc.
5 1.1 mrg
6 1.3 mrg This file is part of the GNU MP Library.
7 1.1 mrg
8 1.3 mrg The GNU MP Library is free software; you can redistribute it and/or modify
9 1.3 mrg it under the terms of either:
10 1.3 mrg
11 1.3 mrg * the GNU Lesser General Public License as published by the Free
12 1.3 mrg Software Foundation; either version 3 of the License, or (at your
13 1.3 mrg option) any later version.
14 1.3 mrg
15 1.3 mrg or
16 1.3 mrg
17 1.3 mrg * the GNU General Public License as published by the Free Software
18 1.3 mrg Foundation; either version 2 of the License, or (at your option) any
19 1.3 mrg later version.
20 1.3 mrg
21 1.3 mrg or both in parallel, as here.
22 1.3 mrg
23 1.3 mrg The GNU MP Library is distributed in the hope that it will be useful, but
24 1.3 mrg WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
25 1.3 mrg or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
26 1.3 mrg for more details.
27 1.3 mrg
28 1.3 mrg You should have received copies of the GNU General Public License and the
29 1.3 mrg GNU Lesser General Public License along with the GNU MP Library. If not,
30 1.3 mrg see https://www.gnu.org/licenses/. */
31 1.1 mrg
32 1.1 mrg /* You have to define the following before including this file:
33 1.1 mrg
34 1.1 mrg UWtype -- An unsigned type, default type for operations (typically a "word")
35 1.1 mrg UHWtype -- An unsigned type, at least half the size of UWtype
36 1.1 mrg UDWtype -- An unsigned type, at least twice as large a UWtype
37 1.1 mrg W_TYPE_SIZE -- size in bits of UWtype
38 1.1 mrg
39 1.1 mrg SItype, USItype -- Signed and unsigned 32 bit types
40 1.1 mrg DItype, UDItype -- Signed and unsigned 64 bit types
41 1.1 mrg
42 1.1 mrg On a 32 bit machine UWtype should typically be USItype;
43 1.1 mrg on a 64 bit machine, UWtype should typically be UDItype.
44 1.1 mrg
45 1.1 mrg Optionally, define:
46 1.1 mrg
47 1.1 mrg LONGLONG_STANDALONE -- Avoid code that needs machine-dependent support files
48 1.1 mrg NO_ASM -- Disable inline asm
49 1.1 mrg
50 1.1 mrg
51 1.1 mrg CAUTION! Using this version of longlong.h outside of GMP is not safe. You
52 1.1 mrg need to include gmp.h and gmp-impl.h, or certain things might not work as
53 1.1 mrg expected.
54 1.1 mrg */
55 1.1 mrg
56 1.1 mrg #define __BITS4 (W_TYPE_SIZE / 4)
57 1.1 mrg #define __ll_B ((UWtype) 1 << (W_TYPE_SIZE / 2))
58 1.1 mrg #define __ll_lowpart(t) ((UWtype) (t) & (__ll_B - 1))
59 1.1 mrg #define __ll_highpart(t) ((UWtype) (t) >> (W_TYPE_SIZE / 2))
60 1.1 mrg
61 1.1 mrg /* This is used to make sure no undesirable sharing between different libraries
62 1.1 mrg that use this file takes place. */
63 1.1 mrg #ifndef __MPN
64 1.1 mrg #define __MPN(x) __##x
65 1.1 mrg #endif
66 1.1 mrg
67 1.1 mrg /* Define auxiliary asm macros.
68 1.1 mrg
69 1.1 mrg 1) umul_ppmm(high_prod, low_prod, multiplier, multiplicand) multiplies two
70 1.1 mrg UWtype integers MULTIPLIER and MULTIPLICAND, and generates a two UWtype
71 1.1 mrg word product in HIGH_PROD and LOW_PROD.
72 1.1 mrg
73 1.1 mrg 2) __umulsidi3(a,b) multiplies two UWtype integers A and B, and returns a
74 1.1 mrg UDWtype product. This is just a variant of umul_ppmm.
75 1.1 mrg
76 1.1 mrg 3) udiv_qrnnd(quotient, remainder, high_numerator, low_numerator,
77 1.1 mrg denominator) divides a UDWtype, composed by the UWtype integers
78 1.1 mrg HIGH_NUMERATOR and LOW_NUMERATOR, by DENOMINATOR and places the quotient
79 1.1 mrg in QUOTIENT and the remainder in REMAINDER. HIGH_NUMERATOR must be less
80 1.1 mrg than DENOMINATOR for correct operation. If, in addition, the most
81 1.1 mrg significant bit of DENOMINATOR must be 1, then the pre-processor symbol
82 1.1 mrg UDIV_NEEDS_NORMALIZATION is defined to 1.
83 1.1 mrg
84 1.1 mrg 4) sdiv_qrnnd(quotient, remainder, high_numerator, low_numerator,
85 1.1 mrg denominator). Like udiv_qrnnd but the numbers are signed. The quotient
86 1.1 mrg is rounded towards 0.
87 1.1 mrg
88 1.1 mrg 5) count_leading_zeros(count, x) counts the number of zero-bits from the
89 1.1 mrg msb to the first non-zero bit in the UWtype X. This is the number of
90 1.1 mrg steps X needs to be shifted left to set the msb. Undefined for X == 0,
91 1.1 mrg unless the symbol COUNT_LEADING_ZEROS_0 is defined to some value.
92 1.1 mrg
93 1.1 mrg 6) count_trailing_zeros(count, x) like count_leading_zeros, but counts
94 1.1 mrg from the least significant end.
95 1.1 mrg
96 1.1 mrg 7) add_ssaaaa(high_sum, low_sum, high_addend_1, low_addend_1,
97 1.1 mrg high_addend_2, low_addend_2) adds two UWtype integers, composed by
98 1.1 mrg HIGH_ADDEND_1 and LOW_ADDEND_1, and HIGH_ADDEND_2 and LOW_ADDEND_2
99 1.1 mrg respectively. The result is placed in HIGH_SUM and LOW_SUM. Overflow
100 1.1 mrg (i.e. carry out) is not stored anywhere, and is lost.
101 1.1 mrg
102 1.1 mrg 8) sub_ddmmss(high_difference, low_difference, high_minuend, low_minuend,
103 1.1 mrg high_subtrahend, low_subtrahend) subtracts two two-word UWtype integers,
104 1.1 mrg composed by HIGH_MINUEND_1 and LOW_MINUEND_1, and HIGH_SUBTRAHEND_2 and
105 1.1 mrg LOW_SUBTRAHEND_2 respectively. The result is placed in HIGH_DIFFERENCE
106 1.1 mrg and LOW_DIFFERENCE. Overflow (i.e. carry out) is not stored anywhere,
107 1.1 mrg and is lost.
108 1.1 mrg
109 1.1 mrg If any of these macros are left undefined for a particular CPU,
110 1.1 mrg C macros are used.
111 1.1 mrg
112 1.1 mrg
113 1.1 mrg Notes:
114 1.1 mrg
115 1.1 mrg For add_ssaaaa the two high and two low addends can both commute, but
116 1.1 mrg unfortunately gcc only supports one "%" commutative in each asm block.
117 1.1 mrg This has always been so but is only documented in recent versions
118 1.1 mrg (eg. pre-release 3.3). Having two or more "%"s can cause an internal
119 1.1 mrg compiler error in certain rare circumstances.
120 1.1 mrg
121 1.1 mrg Apparently it was only the last "%" that was ever actually respected, so
122 1.1 mrg the code has been updated to leave just that. Clearly there's a free
123 1.1 mrg choice whether high or low should get it, if there's a reason to favour
124 1.1 mrg one over the other. Also obviously when the constraints on the two
125 1.1 mrg operands are identical there's no benefit to the reloader in any "%" at
126 1.1 mrg all.
127 1.1 mrg
128 1.1 mrg */
129 1.1 mrg
130 1.1 mrg /* The CPUs come in alphabetical order below.
131 1.1 mrg
132 1.1 mrg Please add support for more CPUs here, or improve the current support
133 1.1 mrg for the CPUs below! */
134 1.1 mrg
135 1.1 mrg
136 1.1 mrg /* count_leading_zeros_gcc_clz is count_leading_zeros implemented with gcc
137 1.1 mrg 3.4 __builtin_clzl or __builtin_clzll, according to our limb size.
138 1.1 mrg Similarly count_trailing_zeros_gcc_ctz using __builtin_ctzl or
139 1.1 mrg __builtin_ctzll.
140 1.1 mrg
141 1.1 mrg These builtins are only used when we check what code comes out, on some
142 1.1 mrg chips they're merely libgcc calls, where we will instead want an inline
143 1.1 mrg in that case (either asm or generic C).
144 1.1 mrg
145 1.1 mrg These builtins are better than an asm block of the same insn, since an
146 1.1 mrg asm block doesn't give gcc any information about scheduling or resource
147 1.1 mrg usage. We keep an asm block for use on prior versions of gcc though.
148 1.1 mrg
149 1.1 mrg For reference, __builtin_ffs existed in gcc prior to __builtin_clz, but
150 1.1 mrg it's not used (for count_leading_zeros) because it generally gives extra
151 1.1 mrg code to ensure the result is 0 when the input is 0, which we don't need
152 1.1 mrg or want. */
153 1.1 mrg
154 1.1 mrg #ifdef _LONG_LONG_LIMB
155 1.3 mrg #define count_leading_zeros_gcc_clz(count,x) \
156 1.3 mrg do { \
157 1.3 mrg ASSERT ((x) != 0); \
158 1.3 mrg (count) = __builtin_clzll (x); \
159 1.1 mrg } while (0)
160 1.1 mrg #else
161 1.3 mrg #define count_leading_zeros_gcc_clz(count,x) \
162 1.3 mrg do { \
163 1.3 mrg ASSERT ((x) != 0); \
164 1.3 mrg (count) = __builtin_clzl (x); \
165 1.1 mrg } while (0)
166 1.1 mrg #endif
167 1.1 mrg
168 1.1 mrg #ifdef _LONG_LONG_LIMB
169 1.3 mrg #define count_trailing_zeros_gcc_ctz(count,x) \
170 1.3 mrg do { \
171 1.3 mrg ASSERT ((x) != 0); \
172 1.3 mrg (count) = __builtin_ctzll (x); \
173 1.1 mrg } while (0)
174 1.1 mrg #else
175 1.3 mrg #define count_trailing_zeros_gcc_ctz(count,x) \
176 1.3 mrg do { \
177 1.3 mrg ASSERT ((x) != 0); \
178 1.3 mrg (count) = __builtin_ctzl (x); \
179 1.1 mrg } while (0)
180 1.1 mrg #endif
181 1.1 mrg
182 1.1 mrg
183 1.1 mrg /* FIXME: The macros using external routines like __MPN(count_leading_zeros)
184 1.1 mrg don't need to be under !NO_ASM */
185 1.1 mrg #if ! defined (NO_ASM)
186 1.1 mrg
187 1.1 mrg #if defined (__alpha) && W_TYPE_SIZE == 64
188 1.1 mrg /* Most alpha-based machines, except Cray systems. */
189 1.1 mrg #if defined (__GNUC__)
190 1.1 mrg #if __GMP_GNUC_PREREQ (3,3)
191 1.1 mrg #define umul_ppmm(ph, pl, m0, m1) \
192 1.1 mrg do { \
193 1.1 mrg UDItype __m0 = (m0), __m1 = (m1); \
194 1.1 mrg (ph) = __builtin_alpha_umulh (__m0, __m1); \
195 1.1 mrg (pl) = __m0 * __m1; \
196 1.1 mrg } while (0)
197 1.1 mrg #else
198 1.1 mrg #define umul_ppmm(ph, pl, m0, m1) \
199 1.1 mrg do { \
200 1.1 mrg UDItype __m0 = (m0), __m1 = (m1); \
201 1.1 mrg __asm__ ("umulh %r1,%2,%0" \
202 1.1 mrg : "=r" (ph) \
203 1.3 mrg : "%rJ" (__m0), "rI" (__m1)); \
204 1.1 mrg (pl) = __m0 * __m1; \
205 1.1 mrg } while (0)
206 1.1 mrg #endif
207 1.1 mrg #define UMUL_TIME 18
208 1.1 mrg #else /* ! __GNUC__ */
209 1.1 mrg #include <machine/builtins.h>
210 1.1 mrg #define umul_ppmm(ph, pl, m0, m1) \
211 1.1 mrg do { \
212 1.1 mrg UDItype __m0 = (m0), __m1 = (m1); \
213 1.3 mrg (ph) = __UMULH (__m0, __m1); \
214 1.1 mrg (pl) = __m0 * __m1; \
215 1.1 mrg } while (0)
216 1.1 mrg #endif
217 1.1 mrg #ifndef LONGLONG_STANDALONE
218 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
219 1.1 mrg do { UWtype __di; \
220 1.1 mrg __di = __MPN(invert_limb) (d); \
221 1.1 mrg udiv_qrnnd_preinv (q, r, n1, n0, d, __di); \
222 1.1 mrg } while (0)
223 1.1 mrg #define UDIV_PREINV_ALWAYS 1
224 1.1 mrg #define UDIV_NEEDS_NORMALIZATION 1
225 1.1 mrg #define UDIV_TIME 220
226 1.1 mrg #endif /* LONGLONG_STANDALONE */
227 1.1 mrg
228 1.1 mrg /* clz_tab is required in all configurations, since mpn/alpha/cntlz.asm
229 1.1 mrg always goes into libgmp.so, even when not actually used. */
230 1.1 mrg #define COUNT_LEADING_ZEROS_NEED_CLZ_TAB
231 1.1 mrg
232 1.1 mrg #if defined (__GNUC__) && HAVE_HOST_CPU_alpha_CIX
233 1.1 mrg #define count_leading_zeros(COUNT,X) \
234 1.1 mrg __asm__("ctlz %1,%0" : "=r"(COUNT) : "r"(X))
235 1.1 mrg #define count_trailing_zeros(COUNT,X) \
236 1.1 mrg __asm__("cttz %1,%0" : "=r"(COUNT) : "r"(X))
237 1.1 mrg #endif /* clz/ctz using cix */
238 1.1 mrg
239 1.3 mrg #if ! defined (count_leading_zeros) \
240 1.1 mrg && defined (__GNUC__) && ! defined (LONGLONG_STANDALONE)
241 1.1 mrg /* ALPHA_CMPBGE_0 gives "cmpbge $31,src,dst", ie. test src bytes == 0.
242 1.1 mrg "$31" is written explicitly in the asm, since an "r" constraint won't
243 1.1 mrg select reg 31. There seems no need to worry about "r31" syntax for cray,
244 1.3 mrg since gcc itself (pre-release 3.4) emits just $31 in various places. */
245 1.3 mrg #define ALPHA_CMPBGE_0(dst, src) \
246 1.1 mrg do { asm ("cmpbge $31, %1, %0" : "=r" (dst) : "r" (src)); } while (0)
247 1.1 mrg /* Zero bytes are turned into bits with cmpbge, a __clz_tab lookup counts
248 1.1 mrg them, locating the highest non-zero byte. A second __clz_tab lookup
249 1.1 mrg counts the leading zero bits in that byte, giving the result. */
250 1.3 mrg #define count_leading_zeros(count, x) \
251 1.3 mrg do { \
252 1.3 mrg UWtype __clz__b, __clz__c, __clz__x = (x); \
253 1.3 mrg ALPHA_CMPBGE_0 (__clz__b, __clz__x); /* zero bytes */ \
254 1.3 mrg __clz__b = __clz_tab [(__clz__b >> 1) ^ 0x7F]; /* 8 to 1 byte */ \
255 1.3 mrg __clz__b = __clz__b * 8 - 7; /* 57 to 1 shift */ \
256 1.3 mrg __clz__x >>= __clz__b; \
257 1.3 mrg __clz__c = __clz_tab [__clz__x]; /* 8 to 1 bit */ \
258 1.3 mrg __clz__b = 65 - __clz__b; \
259 1.3 mrg (count) = __clz__b - __clz__c; \
260 1.1 mrg } while (0)
261 1.1 mrg #define COUNT_LEADING_ZEROS_NEED_CLZ_TAB
262 1.1 mrg #endif /* clz using cmpbge */
263 1.1 mrg
264 1.1 mrg #if ! defined (count_leading_zeros) && ! defined (LONGLONG_STANDALONE)
265 1.1 mrg #if HAVE_ATTRIBUTE_CONST
266 1.2 joerg long __MPN(count_leading_zeros) (UDItype) __attribute__ ((const));
267 1.1 mrg #else
268 1.2 joerg long __MPN(count_leading_zeros) (UDItype);
269 1.1 mrg #endif
270 1.1 mrg #define count_leading_zeros(count, x) \
271 1.1 mrg ((count) = __MPN(count_leading_zeros) (x))
272 1.1 mrg #endif /* clz using mpn */
273 1.1 mrg #endif /* __alpha */
274 1.1 mrg
275 1.2 joerg #if defined (__AVR) && W_TYPE_SIZE == 8
276 1.2 joerg #define umul_ppmm(ph, pl, m0, m1) \
277 1.2 joerg do { \
278 1.2 joerg unsigned short __p = (unsigned short) (m0) * (m1); \
279 1.2 joerg (ph) = __p >> 8; \
280 1.2 joerg (pl) = __p; \
281 1.2 joerg } while (0)
282 1.2 joerg #endif /* AVR */
283 1.2 joerg
284 1.1 mrg #if defined (_CRAY) && W_TYPE_SIZE == 64
285 1.1 mrg #include <intrinsics.h>
286 1.1 mrg #define UDIV_PREINV_ALWAYS 1
287 1.1 mrg #define UDIV_NEEDS_NORMALIZATION 1
288 1.1 mrg #define UDIV_TIME 220
289 1.2 joerg long __MPN(count_leading_zeros) (UDItype);
290 1.1 mrg #define count_leading_zeros(count, x) \
291 1.1 mrg ((count) = _leadz ((UWtype) (x)))
292 1.1 mrg #if defined (_CRAYIEEE) /* I.e., Cray T90/ieee, T3D, and T3E */
293 1.1 mrg #define umul_ppmm(ph, pl, m0, m1) \
294 1.1 mrg do { \
295 1.1 mrg UDItype __m0 = (m0), __m1 = (m1); \
296 1.3 mrg (ph) = _int_mult_upper (__m0, __m1); \
297 1.1 mrg (pl) = __m0 * __m1; \
298 1.1 mrg } while (0)
299 1.1 mrg #ifndef LONGLONG_STANDALONE
300 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
301 1.1 mrg do { UWtype __di; \
302 1.1 mrg __di = __MPN(invert_limb) (d); \
303 1.1 mrg udiv_qrnnd_preinv (q, r, n1, n0, d, __di); \
304 1.1 mrg } while (0)
305 1.1 mrg #endif /* LONGLONG_STANDALONE */
306 1.1 mrg #endif /* _CRAYIEEE */
307 1.1 mrg #endif /* _CRAY */
308 1.1 mrg
309 1.1 mrg #if defined (__ia64) && W_TYPE_SIZE == 64
310 1.1 mrg /* This form encourages gcc (pre-release 3.4 at least) to emit predicated
311 1.1 mrg "sub r=r,r" and "sub r=r,r,1", giving a 2 cycle latency. The generic
312 1.1 mrg code using "al<bl" arithmetically comes out making an actual 0 or 1 in a
313 1.1 mrg register, which takes an extra cycle. */
314 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
315 1.3 mrg do { \
316 1.3 mrg UWtype __x; \
317 1.3 mrg __x = (al) - (bl); \
318 1.3 mrg if ((al) < (bl)) \
319 1.3 mrg (sh) = (ah) - (bh) - 1; \
320 1.3 mrg else \
321 1.3 mrg (sh) = (ah) - (bh); \
322 1.3 mrg (sl) = __x; \
323 1.1 mrg } while (0)
324 1.1 mrg #if defined (__GNUC__) && ! defined (__INTEL_COMPILER)
325 1.1 mrg /* Do both product parts in assembly, since that gives better code with
326 1.1 mrg all gcc versions. Some callers will just use the upper part, and in
327 1.1 mrg that situation we waste an instruction, but not any cycles. */
328 1.1 mrg #define umul_ppmm(ph, pl, m0, m1) \
329 1.1 mrg __asm__ ("xma.hu %0 = %2, %3, f0\n\txma.l %1 = %2, %3, f0" \
330 1.1 mrg : "=&f" (ph), "=f" (pl) \
331 1.1 mrg : "f" (m0), "f" (m1))
332 1.1 mrg #define UMUL_TIME 14
333 1.1 mrg #define count_leading_zeros(count, x) \
334 1.1 mrg do { \
335 1.1 mrg UWtype _x = (x), _y, _a, _c; \
336 1.1 mrg __asm__ ("mux1 %0 = %1, @rev" : "=r" (_y) : "r" (_x)); \
337 1.1 mrg __asm__ ("czx1.l %0 = %1" : "=r" (_a) : "r" (-_y | _y)); \
338 1.1 mrg _c = (_a - 1) << 3; \
339 1.1 mrg _x >>= _c; \
340 1.1 mrg if (_x >= 1 << 4) \
341 1.1 mrg _x >>= 4, _c += 4; \
342 1.1 mrg if (_x >= 1 << 2) \
343 1.1 mrg _x >>= 2, _c += 2; \
344 1.1 mrg _c += _x >> 1; \
345 1.1 mrg (count) = W_TYPE_SIZE - 1 - _c; \
346 1.1 mrg } while (0)
347 1.1 mrg /* similar to what gcc does for __builtin_ffs, but 0 based rather than 1
348 1.1 mrg based, and we don't need a special case for x==0 here */
349 1.1 mrg #define count_trailing_zeros(count, x) \
350 1.1 mrg do { \
351 1.1 mrg UWtype __ctz_x = (x); \
352 1.1 mrg __asm__ ("popcnt %0 = %1" \
353 1.1 mrg : "=r" (count) \
354 1.1 mrg : "r" ((__ctz_x-1) & ~__ctz_x)); \
355 1.1 mrg } while (0)
356 1.1 mrg #endif
357 1.1 mrg #if defined (__INTEL_COMPILER)
358 1.1 mrg #include <ia64intrin.h>
359 1.1 mrg #define umul_ppmm(ph, pl, m0, m1) \
360 1.1 mrg do { \
361 1.3 mrg UWtype __m0 = (m0), __m1 = (m1); \
362 1.3 mrg ph = _m64_xmahu (__m0, __m1, 0); \
363 1.3 mrg pl = __m0 * __m1; \
364 1.1 mrg } while (0)
365 1.1 mrg #endif
366 1.1 mrg #ifndef LONGLONG_STANDALONE
367 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
368 1.1 mrg do { UWtype __di; \
369 1.1 mrg __di = __MPN(invert_limb) (d); \
370 1.1 mrg udiv_qrnnd_preinv (q, r, n1, n0, d, __di); \
371 1.1 mrg } while (0)
372 1.1 mrg #define UDIV_PREINV_ALWAYS 1
373 1.1 mrg #define UDIV_NEEDS_NORMALIZATION 1
374 1.1 mrg #endif
375 1.1 mrg #define UDIV_TIME 220
376 1.1 mrg #endif
377 1.1 mrg
378 1.1 mrg
379 1.1 mrg #if defined (__GNUC__)
380 1.1 mrg
381 1.1 mrg /* We sometimes need to clobber "cc" with gcc2, but that would not be
382 1.1 mrg understood by gcc1. Use cpp to avoid major code duplication. */
383 1.1 mrg #if __GNUC__ < 2
384 1.1 mrg #define __CLOBBER_CC
385 1.1 mrg #define __AND_CLOBBER_CC
386 1.1 mrg #else /* __GNUC__ >= 2 */
387 1.1 mrg #define __CLOBBER_CC : "cc"
388 1.1 mrg #define __AND_CLOBBER_CC , "cc"
389 1.1 mrg #endif /* __GNUC__ < 2 */
390 1.1 mrg
391 1.1 mrg #if (defined (__a29k__) || defined (_AM29K)) && W_TYPE_SIZE == 32
392 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
393 1.1 mrg __asm__ ("add %1,%4,%5\n\taddc %0,%2,%3" \
394 1.1 mrg : "=r" (sh), "=&r" (sl) \
395 1.1 mrg : "r" (ah), "rI" (bh), "%r" (al), "rI" (bl))
396 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
397 1.1 mrg __asm__ ("sub %1,%4,%5\n\tsubc %0,%2,%3" \
398 1.1 mrg : "=r" (sh), "=&r" (sl) \
399 1.1 mrg : "r" (ah), "rI" (bh), "r" (al), "rI" (bl))
400 1.1 mrg #define umul_ppmm(xh, xl, m0, m1) \
401 1.1 mrg do { \
402 1.1 mrg USItype __m0 = (m0), __m1 = (m1); \
403 1.1 mrg __asm__ ("multiplu %0,%1,%2" \
404 1.1 mrg : "=r" (xl) \
405 1.1 mrg : "r" (__m0), "r" (__m1)); \
406 1.1 mrg __asm__ ("multmu %0,%1,%2" \
407 1.1 mrg : "=r" (xh) \
408 1.1 mrg : "r" (__m0), "r" (__m1)); \
409 1.1 mrg } while (0)
410 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
411 1.1 mrg __asm__ ("dividu %0,%3,%4" \
412 1.1 mrg : "=r" (q), "=q" (r) \
413 1.1 mrg : "1" (n1), "r" (n0), "r" (d))
414 1.1 mrg #define count_leading_zeros(count, x) \
415 1.1 mrg __asm__ ("clz %0,%1" \
416 1.1 mrg : "=r" (count) \
417 1.1 mrg : "r" (x))
418 1.1 mrg #define COUNT_LEADING_ZEROS_0 32
419 1.1 mrg #endif /* __a29k__ */
420 1.1 mrg
421 1.1 mrg #if defined (__arc__)
422 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
423 1.1 mrg __asm__ ("add.f\t%1, %4, %5\n\tadc\t%0, %2, %3" \
424 1.1 mrg : "=r" (sh), \
425 1.1 mrg "=&r" (sl) \
426 1.1 mrg : "r" ((USItype) (ah)), \
427 1.3 mrg "rICal" ((USItype) (bh)), \
428 1.1 mrg "%r" ((USItype) (al)), \
429 1.3 mrg "rICal" ((USItype) (bl)))
430 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
431 1.1 mrg __asm__ ("sub.f\t%1, %4, %5\n\tsbc\t%0, %2, %3" \
432 1.1 mrg : "=r" (sh), \
433 1.1 mrg "=&r" (sl) \
434 1.1 mrg : "r" ((USItype) (ah)), \
435 1.3 mrg "rICal" ((USItype) (bh)), \
436 1.1 mrg "r" ((USItype) (al)), \
437 1.3 mrg "rICal" ((USItype) (bl)))
438 1.1 mrg #endif
439 1.1 mrg
440 1.3 mrg #if defined (__arm__) && (defined (__thumb2__) || !defined (__thumb__)) \
441 1.3 mrg && W_TYPE_SIZE == 32
442 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
443 1.1 mrg __asm__ ("adds\t%1, %4, %5\n\tadc\t%0, %2, %3" \
444 1.1 mrg : "=r" (sh), "=&r" (sl) \
445 1.1 mrg : "r" (ah), "rI" (bh), "%r" (al), "rI" (bl) __CLOBBER_CC)
446 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
447 1.1 mrg do { \
448 1.1 mrg if (__builtin_constant_p (al)) \
449 1.1 mrg { \
450 1.1 mrg if (__builtin_constant_p (ah)) \
451 1.1 mrg __asm__ ("rsbs\t%1, %5, %4\n\trsc\t%0, %3, %2" \
452 1.1 mrg : "=r" (sh), "=&r" (sl) \
453 1.1 mrg : "rI" (ah), "r" (bh), "rI" (al), "r" (bl) __CLOBBER_CC); \
454 1.1 mrg else \
455 1.1 mrg __asm__ ("rsbs\t%1, %5, %4\n\tsbc\t%0, %2, %3" \
456 1.1 mrg : "=r" (sh), "=&r" (sl) \
457 1.1 mrg : "r" (ah), "rI" (bh), "rI" (al), "r" (bl) __CLOBBER_CC); \
458 1.1 mrg } \
459 1.1 mrg else if (__builtin_constant_p (ah)) \
460 1.1 mrg { \
461 1.1 mrg if (__builtin_constant_p (bl)) \
462 1.1 mrg __asm__ ("subs\t%1, %4, %5\n\trsc\t%0, %3, %2" \
463 1.1 mrg : "=r" (sh), "=&r" (sl) \
464 1.1 mrg : "rI" (ah), "r" (bh), "r" (al), "rI" (bl) __CLOBBER_CC); \
465 1.1 mrg else \
466 1.1 mrg __asm__ ("rsbs\t%1, %5, %4\n\trsc\t%0, %3, %2" \
467 1.1 mrg : "=r" (sh), "=&r" (sl) \
468 1.1 mrg : "rI" (ah), "r" (bh), "rI" (al), "r" (bl) __CLOBBER_CC); \
469 1.1 mrg } \
470 1.1 mrg else if (__builtin_constant_p (bl)) \
471 1.1 mrg { \
472 1.1 mrg if (__builtin_constant_p (bh)) \
473 1.1 mrg __asm__ ("subs\t%1, %4, %5\n\tsbc\t%0, %2, %3" \
474 1.1 mrg : "=r" (sh), "=&r" (sl) \
475 1.1 mrg : "r" (ah), "rI" (bh), "r" (al), "rI" (bl) __CLOBBER_CC); \
476 1.1 mrg else \
477 1.1 mrg __asm__ ("subs\t%1, %4, %5\n\trsc\t%0, %3, %2" \
478 1.1 mrg : "=r" (sh), "=&r" (sl) \
479 1.1 mrg : "rI" (ah), "r" (bh), "r" (al), "rI" (bl) __CLOBBER_CC); \
480 1.1 mrg } \
481 1.1 mrg else /* only bh might be a constant */ \
482 1.1 mrg __asm__ ("subs\t%1, %4, %5\n\tsbc\t%0, %2, %3" \
483 1.1 mrg : "=r" (sh), "=&r" (sl) \
484 1.1 mrg : "r" (ah), "rI" (bh), "r" (al), "rI" (bl) __CLOBBER_CC);\
485 1.1 mrg } while (0)
486 1.3 mrg #if defined (__ARM_ARCH_2__) || defined (__ARM_ARCH_2A__) \
487 1.3 mrg || defined (__ARM_ARCH_3__)
488 1.3 mrg #define umul_ppmm(xh, xl, a, b) \
489 1.3 mrg do { \
490 1.3 mrg register USItype __t0, __t1, __t2; \
491 1.3 mrg __asm__ ("%@ Inlined umul_ppmm\n" \
492 1.3 mrg " mov %2, %5, lsr #16\n" \
493 1.3 mrg " mov %0, %6, lsr #16\n" \
494 1.3 mrg " bic %3, %5, %2, lsl #16\n" \
495 1.3 mrg " bic %4, %6, %0, lsl #16\n" \
496 1.3 mrg " mul %1, %3, %4\n" \
497 1.3 mrg " mul %4, %2, %4\n" \
498 1.3 mrg " mul %3, %0, %3\n" \
499 1.3 mrg " mul %0, %2, %0\n" \
500 1.3 mrg " adds %3, %4, %3\n" \
501 1.3 mrg " addcs %0, %0, #65536\n" \
502 1.3 mrg " adds %1, %1, %3, lsl #16\n" \
503 1.3 mrg " adc %0, %0, %3, lsr #16" \
504 1.3 mrg : "=&r" ((USItype) (xh)), "=r" ((USItype) (xl)), \
505 1.3 mrg "=&r" (__t0), "=&r" (__t1), "=r" (__t2) \
506 1.3 mrg : "r" ((USItype) (a)), "r" ((USItype) (b)) __CLOBBER_CC); \
507 1.3 mrg } while (0)
508 1.3 mrg #define UMUL_TIME 20
509 1.3 mrg #ifndef LONGLONG_STANDALONE
510 1.3 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
511 1.3 mrg do { UWtype __r; \
512 1.3 mrg (q) = __MPN(udiv_qrnnd) (&__r, (n1), (n0), (d)); \
513 1.3 mrg (r) = __r; \
514 1.3 mrg } while (0)
515 1.3 mrg extern UWtype __MPN(udiv_qrnnd) (UWtype *, UWtype, UWtype, UWtype);
516 1.3 mrg #define UDIV_TIME 200
517 1.3 mrg #endif /* LONGLONG_STANDALONE */
518 1.3 mrg #else /* ARMv4 or newer */
519 1.1 mrg #define umul_ppmm(xh, xl, a, b) \
520 1.1 mrg __asm__ ("umull %0,%1,%2,%3" : "=&r" (xl), "=&r" (xh) : "r" (a), "r" (b))
521 1.1 mrg #define UMUL_TIME 5
522 1.1 mrg #define smul_ppmm(xh, xl, a, b) \
523 1.1 mrg __asm__ ("smull %0,%1,%2,%3" : "=&r" (xl), "=&r" (xh) : "r" (a), "r" (b))
524 1.1 mrg #ifndef LONGLONG_STANDALONE
525 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
526 1.1 mrg do { UWtype __di; \
527 1.1 mrg __di = __MPN(invert_limb) (d); \
528 1.1 mrg udiv_qrnnd_preinv (q, r, n1, n0, d, __di); \
529 1.1 mrg } while (0)
530 1.1 mrg #define UDIV_PREINV_ALWAYS 1
531 1.1 mrg #define UDIV_NEEDS_NORMALIZATION 1
532 1.1 mrg #define UDIV_TIME 70
533 1.1 mrg #endif /* LONGLONG_STANDALONE */
534 1.3 mrg #endif /* defined(__ARM_ARCH_2__) ... */
535 1.3 mrg #define count_leading_zeros(count, x) count_leading_zeros_gcc_clz(count, x)
536 1.3 mrg #define count_trailing_zeros(count, x) count_trailing_zeros_gcc_ctz(count, x)
537 1.1 mrg #define COUNT_LEADING_ZEROS_0 32
538 1.1 mrg #endif /* __arm__ */
539 1.1 mrg
540 1.2 joerg #if defined (__aarch64__) && W_TYPE_SIZE == 64
541 1.2 joerg /* FIXME: Extend the immediate range for the low word by using both
542 1.2 joerg ADDS and SUBS, since they set carry in the same way. */
543 1.2 joerg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
544 1.2 joerg __asm__ ("adds\t%1, %x4, %5\n\tadc\t%0, %x2, %x3" \
545 1.2 joerg : "=r" (sh), "=&r" (sl) \
546 1.3 mrg : "rZ" ((UDItype)(ah)), "rZ" ((UDItype)(bh)), \
547 1.3 mrg "%r" ((UDItype)(al)), "rI" ((UDItype)(bl)) __CLOBBER_CC)
548 1.2 joerg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
549 1.2 joerg __asm__ ("subs\t%1, %x4, %5\n\tsbc\t%0, %x2, %x3" \
550 1.2 joerg : "=r,r" (sh), "=&r,&r" (sl) \
551 1.3 mrg : "rZ,rZ" ((UDItype)(ah)), "rZ,rZ" ((UDItype)(bh)), \
552 1.3 mrg "r,Z" ((UDItype)(al)), "rI,r" ((UDItype)(bl)) __CLOBBER_CC)
553 1.2 joerg #define umul_ppmm(ph, pl, m0, m1) \
554 1.2 joerg do { \
555 1.2 joerg UDItype __m0 = (m0), __m1 = (m1); \
556 1.3 mrg __asm__ ("umulh\t%0, %1, %2" : "=r" (ph) : "r" (__m0), "r" (__m1)); \
557 1.2 joerg (pl) = __m0 * __m1; \
558 1.2 joerg } while (0)
559 1.3 mrg #define count_leading_zeros(count, x) count_leading_zeros_gcc_clz(count, x)
560 1.3 mrg #define count_trailing_zeros(count, x) count_trailing_zeros_gcc_ctz(count, x)
561 1.2 joerg #define COUNT_LEADING_ZEROS_0 64
562 1.2 joerg #endif /* __aarch64__ */
563 1.2 joerg
564 1.1 mrg #if defined (__clipper__) && W_TYPE_SIZE == 32
565 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
566 1.1 mrg ({union {UDItype __ll; \
567 1.1 mrg struct {USItype __l, __h;} __i; \
568 1.1 mrg } __x; \
569 1.1 mrg __asm__ ("mulwux %2,%0" \
570 1.1 mrg : "=r" (__x.__ll) \
571 1.1 mrg : "%0" ((USItype)(u)), "r" ((USItype)(v))); \
572 1.1 mrg (w1) = __x.__i.__h; (w0) = __x.__i.__l;})
573 1.1 mrg #define smul_ppmm(w1, w0, u, v) \
574 1.1 mrg ({union {DItype __ll; \
575 1.1 mrg struct {SItype __l, __h;} __i; \
576 1.1 mrg } __x; \
577 1.1 mrg __asm__ ("mulwx %2,%0" \
578 1.1 mrg : "=r" (__x.__ll) \
579 1.1 mrg : "%0" ((SItype)(u)), "r" ((SItype)(v))); \
580 1.1 mrg (w1) = __x.__i.__h; (w0) = __x.__i.__l;})
581 1.1 mrg #define __umulsidi3(u, v) \
582 1.1 mrg ({UDItype __w; \
583 1.1 mrg __asm__ ("mulwux %2,%0" \
584 1.1 mrg : "=r" (__w) : "%0" ((USItype)(u)), "r" ((USItype)(v))); \
585 1.1 mrg __w; })
586 1.1 mrg #endif /* __clipper__ */
587 1.1 mrg
588 1.1 mrg /* Fujitsu vector computers. */
589 1.1 mrg #if defined (__uxp__) && W_TYPE_SIZE == 32
590 1.1 mrg #define umul_ppmm(ph, pl, u, v) \
591 1.1 mrg do { \
592 1.1 mrg union {UDItype __ll; \
593 1.1 mrg struct {USItype __h, __l;} __i; \
594 1.1 mrg } __x; \
595 1.1 mrg __asm__ ("mult.lu %1,%2,%0" : "=r" (__x.__ll) : "%r" (u), "rK" (v));\
596 1.1 mrg (ph) = __x.__i.__h; \
597 1.1 mrg (pl) = __x.__i.__l; \
598 1.1 mrg } while (0)
599 1.1 mrg #define smul_ppmm(ph, pl, u, v) \
600 1.1 mrg do { \
601 1.1 mrg union {UDItype __ll; \
602 1.1 mrg struct {USItype __h, __l;} __i; \
603 1.1 mrg } __x; \
604 1.1 mrg __asm__ ("mult.l %1,%2,%0" : "=r" (__x.__ll) : "%r" (u), "rK" (v)); \
605 1.1 mrg (ph) = __x.__i.__h; \
606 1.1 mrg (pl) = __x.__i.__l; \
607 1.1 mrg } while (0)
608 1.1 mrg #endif
609 1.1 mrg
610 1.1 mrg #if defined (__gmicro__) && W_TYPE_SIZE == 32
611 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
612 1.1 mrg __asm__ ("add.w %5,%1\n\taddx %3,%0" \
613 1.1 mrg : "=g" (sh), "=&g" (sl) \
614 1.1 mrg : "0" ((USItype)(ah)), "g" ((USItype)(bh)), \
615 1.1 mrg "%1" ((USItype)(al)), "g" ((USItype)(bl)))
616 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
617 1.1 mrg __asm__ ("sub.w %5,%1\n\tsubx %3,%0" \
618 1.1 mrg : "=g" (sh), "=&g" (sl) \
619 1.1 mrg : "0" ((USItype)(ah)), "g" ((USItype)(bh)), \
620 1.1 mrg "1" ((USItype)(al)), "g" ((USItype)(bl)))
621 1.1 mrg #define umul_ppmm(ph, pl, m0, m1) \
622 1.1 mrg __asm__ ("mulx %3,%0,%1" \
623 1.1 mrg : "=g" (ph), "=r" (pl) \
624 1.1 mrg : "%0" ((USItype)(m0)), "g" ((USItype)(m1)))
625 1.1 mrg #define udiv_qrnnd(q, r, nh, nl, d) \
626 1.1 mrg __asm__ ("divx %4,%0,%1" \
627 1.1 mrg : "=g" (q), "=r" (r) \
628 1.1 mrg : "1" ((USItype)(nh)), "0" ((USItype)(nl)), "g" ((USItype)(d)))
629 1.1 mrg #define count_leading_zeros(count, x) \
630 1.1 mrg __asm__ ("bsch/1 %1,%0" \
631 1.1 mrg : "=g" (count) : "g" ((USItype)(x)), "0" ((USItype)0))
632 1.1 mrg #endif
633 1.1 mrg
634 1.1 mrg #if defined (__hppa) && W_TYPE_SIZE == 32
635 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
636 1.1 mrg __asm__ ("add%I5 %5,%r4,%1\n\taddc %r2,%r3,%0" \
637 1.1 mrg : "=r" (sh), "=&r" (sl) \
638 1.1 mrg : "rM" (ah), "rM" (bh), "%rM" (al), "rI" (bl))
639 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
640 1.1 mrg __asm__ ("sub%I4 %4,%r5,%1\n\tsubb %r2,%r3,%0" \
641 1.1 mrg : "=r" (sh), "=&r" (sl) \
642 1.1 mrg : "rM" (ah), "rM" (bh), "rI" (al), "rM" (bl))
643 1.1 mrg #if defined (_PA_RISC1_1)
644 1.1 mrg #define umul_ppmm(wh, wl, u, v) \
645 1.1 mrg do { \
646 1.1 mrg union {UDItype __ll; \
647 1.1 mrg struct {USItype __h, __l;} __i; \
648 1.1 mrg } __x; \
649 1.1 mrg __asm__ ("xmpyu %1,%2,%0" : "=*f" (__x.__ll) : "*f" (u), "*f" (v)); \
650 1.1 mrg (wh) = __x.__i.__h; \
651 1.1 mrg (wl) = __x.__i.__l; \
652 1.1 mrg } while (0)
653 1.1 mrg #define UMUL_TIME 8
654 1.1 mrg #define UDIV_TIME 60
655 1.1 mrg #else
656 1.1 mrg #define UMUL_TIME 40
657 1.1 mrg #define UDIV_TIME 80
658 1.1 mrg #endif
659 1.1 mrg #define count_leading_zeros(count, x) \
660 1.1 mrg do { \
661 1.1 mrg USItype __tmp; \
662 1.1 mrg __asm__ ( \
663 1.1 mrg "ldi 1,%0\n" \
664 1.1 mrg " extru,= %1,15,16,%%r0 ; Bits 31..16 zero?\n" \
665 1.1 mrg " extru,tr %1,15,16,%1 ; No. Shift down, skip add.\n" \
666 1.1 mrg " ldo 16(%0),%0 ; Yes. Perform add.\n" \
667 1.1 mrg " extru,= %1,23,8,%%r0 ; Bits 15..8 zero?\n" \
668 1.1 mrg " extru,tr %1,23,8,%1 ; No. Shift down, skip add.\n" \
669 1.1 mrg " ldo 8(%0),%0 ; Yes. Perform add.\n" \
670 1.1 mrg " extru,= %1,27,4,%%r0 ; Bits 7..4 zero?\n" \
671 1.1 mrg " extru,tr %1,27,4,%1 ; No. Shift down, skip add.\n" \
672 1.1 mrg " ldo 4(%0),%0 ; Yes. Perform add.\n" \
673 1.1 mrg " extru,= %1,29,2,%%r0 ; Bits 3..2 zero?\n" \
674 1.1 mrg " extru,tr %1,29,2,%1 ; No. Shift down, skip add.\n" \
675 1.1 mrg " ldo 2(%0),%0 ; Yes. Perform add.\n" \
676 1.1 mrg " extru %1,30,1,%1 ; Extract bit 1.\n" \
677 1.1 mrg " sub %0,%1,%0 ; Subtract it.\n" \
678 1.1 mrg : "=r" (count), "=r" (__tmp) : "1" (x)); \
679 1.1 mrg } while (0)
680 1.1 mrg #endif /* hppa */
681 1.1 mrg
682 1.1 mrg /* These macros are for ABI=2.0w. In ABI=2.0n they can't be used, since GCC
683 1.1 mrg (3.2) puts longlong into two adjacent 32-bit registers. Presumably this
684 1.1 mrg is just a case of no direct support for 2.0n but treating it like 1.0. */
685 1.1 mrg #if defined (__hppa) && W_TYPE_SIZE == 64 && ! defined (_LONG_LONG_LIMB)
686 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
687 1.1 mrg __asm__ ("add%I5 %5,%r4,%1\n\tadd,dc %r2,%r3,%0" \
688 1.1 mrg : "=r" (sh), "=&r" (sl) \
689 1.1 mrg : "rM" (ah), "rM" (bh), "%rM" (al), "rI" (bl))
690 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
691 1.1 mrg __asm__ ("sub%I4 %4,%r5,%1\n\tsub,db %r2,%r3,%0" \
692 1.1 mrg : "=r" (sh), "=&r" (sl) \
693 1.1 mrg : "rM" (ah), "rM" (bh), "rI" (al), "rM" (bl))
694 1.1 mrg #endif /* hppa */
695 1.1 mrg
696 1.1 mrg #if (defined (__i370__) || defined (__s390__) || defined (__mvs__)) && W_TYPE_SIZE == 32
697 1.2 joerg #if defined (__zarch__) || defined (HAVE_HOST_CPU_s390_zarch)
698 1.2 joerg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
699 1.2 joerg do { \
700 1.2 joerg /* if (__builtin_constant_p (bl)) \
701 1.2 joerg __asm__ ("alfi\t%1,%o5\n\talcr\t%0,%3" \
702 1.2 joerg : "=r" (sh), "=&r" (sl) \
703 1.2 joerg : "0" (ah), "r" (bh), "%1" (al), "n" (bl) __CLOBBER_CC);\
704 1.2 joerg else \
705 1.2 joerg */ __asm__ ("alr\t%1,%5\n\talcr\t%0,%3" \
706 1.2 joerg : "=r" (sh), "=&r" (sl) \
707 1.2 joerg : "0" (ah), "r" (bh), "%1" (al), "r" (bl)__CLOBBER_CC); \
708 1.2 joerg } while (0)
709 1.2 joerg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
710 1.2 joerg do { \
711 1.2 joerg /* if (__builtin_constant_p (bl)) \
712 1.2 joerg __asm__ ("slfi\t%1,%o5\n\tslbr\t%0,%3" \
713 1.2 joerg : "=r" (sh), "=&r" (sl) \
714 1.2 joerg : "0" (ah), "r" (bh), "1" (al), "n" (bl) __CLOBBER_CC); \
715 1.2 joerg else \
716 1.2 joerg */ __asm__ ("slr\t%1,%5\n\tslbr\t%0,%3" \
717 1.2 joerg : "=r" (sh), "=&r" (sl) \
718 1.2 joerg : "0" (ah), "r" (bh), "1" (al), "r" (bl) __CLOBBER_CC); \
719 1.2 joerg } while (0)
720 1.2 joerg #if __GMP_GNUC_PREREQ (4,5)
721 1.2 joerg #define umul_ppmm(xh, xl, m0, m1) \
722 1.2 joerg do { \
723 1.2 joerg union {UDItype __ll; \
724 1.2 joerg struct {USItype __h, __l;} __i; \
725 1.2 joerg } __x; \
726 1.2 joerg __x.__ll = (UDItype) (m0) * (UDItype) (m1); \
727 1.2 joerg (xh) = __x.__i.__h; (xl) = __x.__i.__l; \
728 1.2 joerg } while (0)
729 1.2 joerg #else
730 1.2 joerg #if 0
731 1.2 joerg /* FIXME: this fails if gcc knows about the 64-bit registers. Use only
732 1.2 joerg with a new enough processor pretending we have 32-bit registers. */
733 1.2 joerg #define umul_ppmm(xh, xl, m0, m1) \
734 1.2 joerg do { \
735 1.2 joerg union {UDItype __ll; \
736 1.2 joerg struct {USItype __h, __l;} __i; \
737 1.2 joerg } __x; \
738 1.2 joerg __asm__ ("mlr\t%0,%2" \
739 1.2 joerg : "=r" (__x.__ll) \
740 1.2 joerg : "%0" (m0), "r" (m1)); \
741 1.2 joerg (xh) = __x.__i.__h; (xl) = __x.__i.__l; \
742 1.2 joerg } while (0)
743 1.2 joerg #else
744 1.2 joerg #define umul_ppmm(xh, xl, m0, m1) \
745 1.2 joerg do { \
746 1.2 joerg /* When we have 64-bit regs and gcc is aware of that, we cannot simply use
747 1.2 joerg DImode for the product, since that would be allocated to a single 64-bit
748 1.2 joerg register, whereas mlr uses the low 32-bits of an even-odd register pair.
749 1.2 joerg */ \
750 1.2 joerg register USItype __r0 __asm__ ("0"); \
751 1.2 joerg register USItype __r1 __asm__ ("1") = (m0); \
752 1.2 joerg __asm__ ("mlr\t%0,%3" \
753 1.2 joerg : "=r" (__r0), "=r" (__r1) \
754 1.2 joerg : "r" (__r1), "r" (m1)); \
755 1.2 joerg (xh) = __r0; (xl) = __r1; \
756 1.2 joerg } while (0)
757 1.2 joerg #endif /* if 0 */
758 1.2 joerg #endif
759 1.2 joerg #if 0
760 1.2 joerg /* FIXME: this fails if gcc knows about the 64-bit registers. Use only
761 1.2 joerg with a new enough processor pretending we have 32-bit registers. */
762 1.2 joerg #define udiv_qrnnd(q, r, n1, n0, d) \
763 1.2 joerg do { \
764 1.2 joerg union {UDItype __ll; \
765 1.2 joerg struct {USItype __h, __l;} __i; \
766 1.2 joerg } __x; \
767 1.2 joerg __x.__i.__h = n1; __x.__i.__l = n0; \
768 1.2 joerg __asm__ ("dlr\t%0,%2" \
769 1.2 joerg : "=r" (__x.__ll) \
770 1.2 joerg : "0" (__x.__ll), "r" (d)); \
771 1.2 joerg (q) = __x.__i.__l; (r) = __x.__i.__h; \
772 1.2 joerg } while (0)
773 1.2 joerg #else
774 1.2 joerg #define udiv_qrnnd(q, r, n1, n0, d) \
775 1.2 joerg do { \
776 1.2 joerg register USItype __r0 __asm__ ("0") = (n1); \
777 1.2 joerg register USItype __r1 __asm__ ("1") = (n0); \
778 1.2 joerg __asm__ ("dlr\t%0,%4" \
779 1.2 joerg : "=r" (__r0), "=r" (__r1) \
780 1.2 joerg : "r" (__r0), "r" (__r1), "r" (d)); \
781 1.2 joerg (q) = __r1; (r) = __r0; \
782 1.2 joerg } while (0)
783 1.2 joerg #endif /* if 0 */
784 1.2 joerg #else /* if __zarch__ */
785 1.2 joerg /* FIXME: this fails if gcc knows about the 64-bit registers. */
786 1.2 joerg #define smul_ppmm(xh, xl, m0, m1) \
787 1.1 mrg do { \
788 1.1 mrg union {DItype __ll; \
789 1.1 mrg struct {USItype __h, __l;} __i; \
790 1.1 mrg } __x; \
791 1.2 joerg __asm__ ("mr\t%0,%2" \
792 1.2 joerg : "=r" (__x.__ll) \
793 1.2 joerg : "%0" (m0), "r" (m1)); \
794 1.1 mrg (xh) = __x.__i.__h; (xl) = __x.__i.__l; \
795 1.1 mrg } while (0)
796 1.2 joerg /* FIXME: this fails if gcc knows about the 64-bit registers. */
797 1.2 joerg #define sdiv_qrnnd(q, r, n1, n0, d) \
798 1.1 mrg do { \
799 1.1 mrg union {DItype __ll; \
800 1.1 mrg struct {USItype __h, __l;} __i; \
801 1.1 mrg } __x; \
802 1.1 mrg __x.__i.__h = n1; __x.__i.__l = n0; \
803 1.2 joerg __asm__ ("dr\t%0,%2" \
804 1.1 mrg : "=r" (__x.__ll) \
805 1.1 mrg : "0" (__x.__ll), "r" (d)); \
806 1.1 mrg (q) = __x.__i.__l; (r) = __x.__i.__h; \
807 1.1 mrg } while (0)
808 1.2 joerg #endif /* if __zarch__ */
809 1.2 joerg #endif
810 1.2 joerg
811 1.2 joerg #if defined (__s390x__) && W_TYPE_SIZE == 64
812 1.2 joerg /* We need to cast operands with register constraints, otherwise their types
813 1.2 joerg will be assumed to be SImode by gcc. For these machines, such operations
814 1.2 joerg will insert a value into the low 32 bits, and leave the high 32 bits with
815 1.2 joerg garbage. */
816 1.2 joerg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
817 1.2 joerg do { \
818 1.2 joerg __asm__ ("algr\t%1,%5\n\talcgr\t%0,%3" \
819 1.2 joerg : "=r" (sh), "=&r" (sl) \
820 1.2 joerg : "0" ((UDItype)(ah)), "r" ((UDItype)(bh)), \
821 1.2 joerg "%1" ((UDItype)(al)), "r" ((UDItype)(bl)) __CLOBBER_CC); \
822 1.2 joerg } while (0)
823 1.2 joerg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
824 1.2 joerg do { \
825 1.2 joerg __asm__ ("slgr\t%1,%5\n\tslbgr\t%0,%3" \
826 1.2 joerg : "=r" (sh), "=&r" (sl) \
827 1.2 joerg : "0" ((UDItype)(ah)), "r" ((UDItype)(bh)), \
828 1.2 joerg "1" ((UDItype)(al)), "r" ((UDItype)(bl)) __CLOBBER_CC); \
829 1.2 joerg } while (0)
830 1.2 joerg #define umul_ppmm(xh, xl, m0, m1) \
831 1.2 joerg do { \
832 1.2 joerg union {unsigned int __attribute__ ((mode(TI))) __ll; \
833 1.2 joerg struct {UDItype __h, __l;} __i; \
834 1.2 joerg } __x; \
835 1.2 joerg __asm__ ("mlgr\t%0,%2" \
836 1.2 joerg : "=r" (__x.__ll) \
837 1.2 joerg : "%0" ((UDItype)(m0)), "r" ((UDItype)(m1))); \
838 1.2 joerg (xh) = __x.__i.__h; (xl) = __x.__i.__l; \
839 1.2 joerg } while (0)
840 1.2 joerg #define udiv_qrnnd(q, r, n1, n0, d) \
841 1.2 joerg do { \
842 1.2 joerg union {unsigned int __attribute__ ((mode(TI))) __ll; \
843 1.2 joerg struct {UDItype __h, __l;} __i; \
844 1.2 joerg } __x; \
845 1.2 joerg __x.__i.__h = n1; __x.__i.__l = n0; \
846 1.2 joerg __asm__ ("dlgr\t%0,%2" \
847 1.2 joerg : "=r" (__x.__ll) \
848 1.2 joerg : "0" (__x.__ll), "r" ((UDItype)(d))); \
849 1.2 joerg (q) = __x.__i.__l; (r) = __x.__i.__h; \
850 1.2 joerg } while (0)
851 1.2 joerg #if 0 /* FIXME: Enable for z10 (?) */
852 1.2 joerg #define count_leading_zeros(cnt, x) \
853 1.2 joerg do { \
854 1.2 joerg union {unsigned int __attribute__ ((mode(TI))) __ll; \
855 1.2 joerg struct {UDItype __h, __l;} __i; \
856 1.2 joerg } __clr_cnt; \
857 1.2 joerg __asm__ ("flogr\t%0,%1" \
858 1.2 joerg : "=r" (__clr_cnt.__ll) \
859 1.2 joerg : "r" (x) __CLOBBER_CC); \
860 1.2 joerg (cnt) = __clr_cnt.__i.__h; \
861 1.2 joerg } while (0)
862 1.2 joerg #endif
863 1.1 mrg #endif
864 1.1 mrg
865 1.3 mrg /* On x86 and x86_64, every asm implicitly clobbers "flags" and "fpsr",
866 1.3 mrg so we don't need __CLOBBER_CC. */
867 1.1 mrg #if (defined (__i386__) || defined (__i486__)) && W_TYPE_SIZE == 32
868 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
869 1.1 mrg __asm__ ("addl %5,%k1\n\tadcl %3,%k0" \
870 1.1 mrg : "=r" (sh), "=&r" (sl) \
871 1.1 mrg : "0" ((USItype)(ah)), "g" ((USItype)(bh)), \
872 1.1 mrg "%1" ((USItype)(al)), "g" ((USItype)(bl)))
873 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
874 1.1 mrg __asm__ ("subl %5,%k1\n\tsbbl %3,%k0" \
875 1.1 mrg : "=r" (sh), "=&r" (sl) \
876 1.1 mrg : "0" ((USItype)(ah)), "g" ((USItype)(bh)), \
877 1.1 mrg "1" ((USItype)(al)), "g" ((USItype)(bl)))
878 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
879 1.1 mrg __asm__ ("mull %3" \
880 1.1 mrg : "=a" (w0), "=d" (w1) \
881 1.1 mrg : "%0" ((USItype)(u)), "rm" ((USItype)(v)))
882 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, dx) /* d renamed to dx avoiding "=d" */\
883 1.1 mrg __asm__ ("divl %4" /* stringification in K&R C */ \
884 1.1 mrg : "=a" (q), "=d" (r) \
885 1.1 mrg : "0" ((USItype)(n0)), "1" ((USItype)(n1)), "rm" ((USItype)(dx)))
886 1.1 mrg
887 1.1 mrg #if HAVE_HOST_CPU_i586 || HAVE_HOST_CPU_pentium || HAVE_HOST_CPU_pentiummmx
888 1.1 mrg /* Pentium bsrl takes between 10 and 72 cycles depending where the most
889 1.1 mrg significant 1 bit is, hence the use of the following alternatives. bsfl
890 1.1 mrg is slow too, between 18 and 42 depending where the least significant 1
891 1.1 mrg bit is, so let the generic count_trailing_zeros below make use of the
892 1.1 mrg count_leading_zeros here too. */
893 1.1 mrg
894 1.1 mrg #if HAVE_HOST_CPU_pentiummmx && ! defined (LONGLONG_STANDALONE)
895 1.1 mrg /* The following should be a fixed 14 or 15 cycles, but possibly plus an L1
896 1.1 mrg cache miss reading from __clz_tab. For P55 it's favoured over the float
897 1.1 mrg below so as to avoid mixing MMX and x87, since the penalty for switching
898 1.1 mrg between the two is about 100 cycles.
899 1.1 mrg
900 1.1 mrg The asm block sets __shift to -3 if the high 24 bits are clear, -2 for
901 1.1 mrg 16, -1 for 8, or 0 otherwise. This could be written equivalently as
902 1.1 mrg follows, but as of gcc 2.95.2 it results in conditional jumps.
903 1.1 mrg
904 1.1 mrg __shift = -(__n < 0x1000000);
905 1.1 mrg __shift -= (__n < 0x10000);
906 1.1 mrg __shift -= (__n < 0x100);
907 1.1 mrg
908 1.1 mrg The middle two sbbl and cmpl's pair, and with luck something gcc
909 1.1 mrg generates might pair with the first cmpl and the last sbbl. The "32+1"
910 1.1 mrg constant could be folded into __clz_tab[], but it doesn't seem worth
911 1.1 mrg making a different table just for that. */
912 1.1 mrg
913 1.1 mrg #define count_leading_zeros(c,n) \
914 1.1 mrg do { \
915 1.1 mrg USItype __n = (n); \
916 1.1 mrg USItype __shift; \
917 1.1 mrg __asm__ ("cmpl $0x1000000, %1\n" \
918 1.1 mrg "sbbl %0, %0\n" \
919 1.1 mrg "cmpl $0x10000, %1\n" \
920 1.1 mrg "sbbl $0, %0\n" \
921 1.1 mrg "cmpl $0x100, %1\n" \
922 1.1 mrg "sbbl $0, %0\n" \
923 1.1 mrg : "=&r" (__shift) : "r" (__n)); \
924 1.1 mrg __shift = __shift*8 + 24 + 1; \
925 1.1 mrg (c) = 32 + 1 - __shift - __clz_tab[__n >> __shift]; \
926 1.1 mrg } while (0)
927 1.1 mrg #define COUNT_LEADING_ZEROS_NEED_CLZ_TAB
928 1.1 mrg #define COUNT_LEADING_ZEROS_0 31 /* n==0 indistinguishable from n==1 */
929 1.1 mrg
930 1.1 mrg #else /* ! pentiummmx || LONGLONG_STANDALONE */
931 1.1 mrg /* The following should be a fixed 14 cycles or so. Some scheduling
932 1.1 mrg opportunities should be available between the float load/store too. This
933 1.1 mrg sort of code is used in gcc 3 for __builtin_ffs (with "n&-n") and is
934 1.1 mrg apparently suggested by the Intel optimizing manual (don't know exactly
935 1.1 mrg where). gcc 2.95 or up will be best for this, so the "double" is
936 1.1 mrg correctly aligned on the stack. */
937 1.1 mrg #define count_leading_zeros(c,n) \
938 1.1 mrg do { \
939 1.1 mrg union { \
940 1.1 mrg double d; \
941 1.1 mrg unsigned a[2]; \
942 1.1 mrg } __u; \
943 1.1 mrg ASSERT ((n) != 0); \
944 1.1 mrg __u.d = (UWtype) (n); \
945 1.1 mrg (c) = 0x3FF + 31 - (__u.a[1] >> 20); \
946 1.1 mrg } while (0)
947 1.1 mrg #define COUNT_LEADING_ZEROS_0 (0x3FF + 31)
948 1.1 mrg #endif /* pentiummx */
949 1.1 mrg
950 1.1 mrg #else /* ! pentium */
951 1.1 mrg
952 1.1 mrg #if __GMP_GNUC_PREREQ (3,4) /* using bsrl */
953 1.1 mrg #define count_leading_zeros(count,x) count_leading_zeros_gcc_clz(count,x)
954 1.1 mrg #endif /* gcc clz */
955 1.1 mrg
956 1.1 mrg /* On P6, gcc prior to 3.0 generates a partial register stall for
957 1.1 mrg __cbtmp^31, due to using "xorb $31" instead of "xorl $31", the former
958 1.1 mrg being 1 code byte smaller. "31-__cbtmp" is a workaround, probably at the
959 1.1 mrg cost of one extra instruction. Do this for "i386" too, since that means
960 1.1 mrg generic x86. */
961 1.3 mrg #if ! defined (count_leading_zeros) && __GNUC__ < 3 \
962 1.1 mrg && (HAVE_HOST_CPU_i386 \
963 1.1 mrg || HAVE_HOST_CPU_i686 \
964 1.1 mrg || HAVE_HOST_CPU_pentiumpro \
965 1.1 mrg || HAVE_HOST_CPU_pentium2 \
966 1.1 mrg || HAVE_HOST_CPU_pentium3)
967 1.1 mrg #define count_leading_zeros(count, x) \
968 1.1 mrg do { \
969 1.1 mrg USItype __cbtmp; \
970 1.1 mrg ASSERT ((x) != 0); \
971 1.1 mrg __asm__ ("bsrl %1,%0" : "=r" (__cbtmp) : "rm" ((USItype)(x))); \
972 1.1 mrg (count) = 31 - __cbtmp; \
973 1.1 mrg } while (0)
974 1.1 mrg #endif /* gcc<3 asm bsrl */
975 1.1 mrg
976 1.1 mrg #ifndef count_leading_zeros
977 1.1 mrg #define count_leading_zeros(count, x) \
978 1.1 mrg do { \
979 1.1 mrg USItype __cbtmp; \
980 1.1 mrg ASSERT ((x) != 0); \
981 1.1 mrg __asm__ ("bsrl %1,%0" : "=r" (__cbtmp) : "rm" ((USItype)(x))); \
982 1.1 mrg (count) = __cbtmp ^ 31; \
983 1.1 mrg } while (0)
984 1.1 mrg #endif /* asm bsrl */
985 1.1 mrg
986 1.1 mrg #if __GMP_GNUC_PREREQ (3,4) /* using bsfl */
987 1.1 mrg #define count_trailing_zeros(count,x) count_trailing_zeros_gcc_ctz(count,x)
988 1.1 mrg #endif /* gcc ctz */
989 1.1 mrg
990 1.1 mrg #ifndef count_trailing_zeros
991 1.1 mrg #define count_trailing_zeros(count, x) \
992 1.1 mrg do { \
993 1.1 mrg ASSERT ((x) != 0); \
994 1.1 mrg __asm__ ("bsfl %1,%k0" : "=r" (count) : "rm" ((USItype)(x))); \
995 1.1 mrg } while (0)
996 1.1 mrg #endif /* asm bsfl */
997 1.1 mrg
998 1.1 mrg #endif /* ! pentium */
999 1.1 mrg
1000 1.1 mrg #ifndef UMUL_TIME
1001 1.1 mrg #define UMUL_TIME 10
1002 1.1 mrg #endif
1003 1.1 mrg #ifndef UDIV_TIME
1004 1.1 mrg #define UDIV_TIME 40
1005 1.1 mrg #endif
1006 1.1 mrg #endif /* 80x86 */
1007 1.1 mrg
1008 1.1 mrg #if defined (__amd64__) && W_TYPE_SIZE == 64
1009 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1010 1.1 mrg __asm__ ("addq %5,%q1\n\tadcq %3,%q0" \
1011 1.1 mrg : "=r" (sh), "=&r" (sl) \
1012 1.1 mrg : "0" ((UDItype)(ah)), "rme" ((UDItype)(bh)), \
1013 1.1 mrg "%1" ((UDItype)(al)), "rme" ((UDItype)(bl)))
1014 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
1015 1.1 mrg __asm__ ("subq %5,%q1\n\tsbbq %3,%q0" \
1016 1.1 mrg : "=r" (sh), "=&r" (sl) \
1017 1.1 mrg : "0" ((UDItype)(ah)), "rme" ((UDItype)(bh)), \
1018 1.1 mrg "1" ((UDItype)(al)), "rme" ((UDItype)(bl)))
1019 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1020 1.1 mrg __asm__ ("mulq %3" \
1021 1.1 mrg : "=a" (w0), "=d" (w1) \
1022 1.1 mrg : "%0" ((UDItype)(u)), "rm" ((UDItype)(v)))
1023 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, dx) /* d renamed to dx avoiding "=d" */\
1024 1.1 mrg __asm__ ("divq %4" /* stringification in K&R C */ \
1025 1.1 mrg : "=a" (q), "=d" (r) \
1026 1.1 mrg : "0" ((UDItype)(n0)), "1" ((UDItype)(n1)), "rm" ((UDItype)(dx)))
1027 1.1 mrg /* bsrq destination must be a 64-bit register, hence UDItype for __cbtmp. */
1028 1.1 mrg #define count_leading_zeros(count, x) \
1029 1.1 mrg do { \
1030 1.1 mrg UDItype __cbtmp; \
1031 1.1 mrg ASSERT ((x) != 0); \
1032 1.1 mrg __asm__ ("bsrq %1,%0" : "=r" (__cbtmp) : "rm" ((UDItype)(x))); \
1033 1.1 mrg (count) = __cbtmp ^ 63; \
1034 1.1 mrg } while (0)
1035 1.1 mrg /* bsfq destination must be a 64-bit register, "%q0" forces this in case
1036 1.1 mrg count is only an int. */
1037 1.1 mrg #define count_trailing_zeros(count, x) \
1038 1.1 mrg do { \
1039 1.1 mrg ASSERT ((x) != 0); \
1040 1.1 mrg __asm__ ("bsfq %1,%q0" : "=r" (count) : "rm" ((UDItype)(x))); \
1041 1.1 mrg } while (0)
1042 1.3 mrg #endif /* __amd64__ */
1043 1.1 mrg
1044 1.1 mrg #if defined (__i860__) && W_TYPE_SIZE == 32
1045 1.1 mrg #define rshift_rhlc(r,h,l,c) \
1046 1.1 mrg __asm__ ("shr %3,r0,r0\;shrd %1,%2,%0" \
1047 1.1 mrg "=r" (r) : "r" (h), "r" (l), "rn" (c))
1048 1.1 mrg #endif /* i860 */
1049 1.1 mrg
1050 1.1 mrg #if defined (__i960__) && W_TYPE_SIZE == 32
1051 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1052 1.1 mrg __asm__ ("cmpo 1,0\;addc %5,%4,%1\;addc %3,%2,%0" \
1053 1.1 mrg : "=r" (sh), "=&r" (sl) \
1054 1.1 mrg : "dI" (ah), "dI" (bh), "%dI" (al), "dI" (bl))
1055 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
1056 1.1 mrg __asm__ ("cmpo 0,0\;subc %5,%4,%1\;subc %3,%2,%0" \
1057 1.1 mrg : "=r" (sh), "=&r" (sl) \
1058 1.1 mrg : "dI" (ah), "dI" (bh), "dI" (al), "dI" (bl))
1059 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1060 1.1 mrg ({union {UDItype __ll; \
1061 1.1 mrg struct {USItype __l, __h;} __i; \
1062 1.1 mrg } __x; \
1063 1.1 mrg __asm__ ("emul %2,%1,%0" \
1064 1.1 mrg : "=d" (__x.__ll) : "%dI" (u), "dI" (v)); \
1065 1.1 mrg (w1) = __x.__i.__h; (w0) = __x.__i.__l;})
1066 1.1 mrg #define __umulsidi3(u, v) \
1067 1.1 mrg ({UDItype __w; \
1068 1.1 mrg __asm__ ("emul %2,%1,%0" : "=d" (__w) : "%dI" (u), "dI" (v)); \
1069 1.1 mrg __w; })
1070 1.1 mrg #define udiv_qrnnd(q, r, nh, nl, d) \
1071 1.1 mrg do { \
1072 1.1 mrg union {UDItype __ll; \
1073 1.1 mrg struct {USItype __l, __h;} __i; \
1074 1.1 mrg } __nn; \
1075 1.1 mrg __nn.__i.__h = (nh); __nn.__i.__l = (nl); \
1076 1.1 mrg __asm__ ("ediv %d,%n,%0" \
1077 1.1 mrg : "=d" (__rq.__ll) : "dI" (__nn.__ll), "dI" (d)); \
1078 1.1 mrg (r) = __rq.__i.__l; (q) = __rq.__i.__h; \
1079 1.1 mrg } while (0)
1080 1.1 mrg #define count_leading_zeros(count, x) \
1081 1.1 mrg do { \
1082 1.1 mrg USItype __cbtmp; \
1083 1.1 mrg __asm__ ("scanbit %1,%0" : "=r" (__cbtmp) : "r" (x)); \
1084 1.1 mrg (count) = __cbtmp ^ 31; \
1085 1.1 mrg } while (0)
1086 1.1 mrg #define COUNT_LEADING_ZEROS_0 (-32) /* sic */
1087 1.1 mrg #if defined (__i960mx) /* what is the proper symbol to test??? */
1088 1.1 mrg #define rshift_rhlc(r,h,l,c) \
1089 1.1 mrg do { \
1090 1.1 mrg union {UDItype __ll; \
1091 1.1 mrg struct {USItype __l, __h;} __i; \
1092 1.1 mrg } __nn; \
1093 1.1 mrg __nn.__i.__h = (h); __nn.__i.__l = (l); \
1094 1.1 mrg __asm__ ("shre %2,%1,%0" : "=d" (r) : "dI" (__nn.__ll), "dI" (c)); \
1095 1.1 mrg }
1096 1.1 mrg #endif /* i960mx */
1097 1.1 mrg #endif /* i960 */
1098 1.1 mrg
1099 1.1 mrg #if (defined (__mc68000__) || defined (__mc68020__) || defined(mc68020) \
1100 1.1 mrg || defined (__m68k__) || defined (__mc5200__) || defined (__mc5206e__) \
1101 1.1 mrg || defined (__mc5307__)) && W_TYPE_SIZE == 32
1102 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1103 1.1 mrg __asm__ ("add%.l %5,%1\n\taddx%.l %3,%0" \
1104 1.1 mrg : "=d" (sh), "=&d" (sl) \
1105 1.1 mrg : "0" ((USItype)(ah)), "d" ((USItype)(bh)), \
1106 1.1 mrg "%1" ((USItype)(al)), "g" ((USItype)(bl)))
1107 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
1108 1.1 mrg __asm__ ("sub%.l %5,%1\n\tsubx%.l %3,%0" \
1109 1.1 mrg : "=d" (sh), "=&d" (sl) \
1110 1.1 mrg : "0" ((USItype)(ah)), "d" ((USItype)(bh)), \
1111 1.1 mrg "1" ((USItype)(al)), "g" ((USItype)(bl)))
1112 1.1 mrg /* The '020, '030, '040 and CPU32 have 32x32->64 and 64/32->32q-32r. */
1113 1.1 mrg #if defined (__mc68020__) || defined(mc68020) \
1114 1.1 mrg || defined (__mc68030__) || defined (mc68030) \
1115 1.1 mrg || defined (__mc68040__) || defined (mc68040) \
1116 1.1 mrg || defined (__mcpu32__) || defined (mcpu32) \
1117 1.1 mrg || defined (__NeXT__)
1118 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1119 1.1 mrg __asm__ ("mulu%.l %3,%1:%0" \
1120 1.1 mrg : "=d" (w0), "=d" (w1) \
1121 1.1 mrg : "%0" ((USItype)(u)), "dmi" ((USItype)(v)))
1122 1.1 mrg #define UMUL_TIME 45
1123 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
1124 1.1 mrg __asm__ ("divu%.l %4,%1:%0" \
1125 1.1 mrg : "=d" (q), "=d" (r) \
1126 1.1 mrg : "0" ((USItype)(n0)), "1" ((USItype)(n1)), "dmi" ((USItype)(d)))
1127 1.1 mrg #define UDIV_TIME 90
1128 1.1 mrg #define sdiv_qrnnd(q, r, n1, n0, d) \
1129 1.1 mrg __asm__ ("divs%.l %4,%1:%0" \
1130 1.1 mrg : "=d" (q), "=d" (r) \
1131 1.1 mrg : "0" ((USItype)(n0)), "1" ((USItype)(n1)), "dmi" ((USItype)(d)))
1132 1.1 mrg #else /* for other 68k family members use 16x16->32 multiplication */
1133 1.1 mrg #define umul_ppmm(xh, xl, a, b) \
1134 1.1 mrg do { USItype __umul_tmp1, __umul_tmp2; \
1135 1.1 mrg __asm__ ("| Inlined umul_ppmm\n" \
1136 1.1 mrg " move%.l %5,%3\n" \
1137 1.1 mrg " move%.l %2,%0\n" \
1138 1.1 mrg " move%.w %3,%1\n" \
1139 1.1 mrg " swap %3\n" \
1140 1.1 mrg " swap %0\n" \
1141 1.1 mrg " mulu%.w %2,%1\n" \
1142 1.1 mrg " mulu%.w %3,%0\n" \
1143 1.1 mrg " mulu%.w %2,%3\n" \
1144 1.1 mrg " swap %2\n" \
1145 1.1 mrg " mulu%.w %5,%2\n" \
1146 1.1 mrg " add%.l %3,%2\n" \
1147 1.1 mrg " jcc 1f\n" \
1148 1.1 mrg " add%.l %#0x10000,%0\n" \
1149 1.1 mrg "1: move%.l %2,%3\n" \
1150 1.1 mrg " clr%.w %2\n" \
1151 1.1 mrg " swap %2\n" \
1152 1.1 mrg " swap %3\n" \
1153 1.1 mrg " clr%.w %3\n" \
1154 1.1 mrg " add%.l %3,%1\n" \
1155 1.1 mrg " addx%.l %2,%0\n" \
1156 1.1 mrg " | End inlined umul_ppmm" \
1157 1.1 mrg : "=&d" (xh), "=&d" (xl), \
1158 1.1 mrg "=d" (__umul_tmp1), "=&d" (__umul_tmp2) \
1159 1.1 mrg : "%2" ((USItype)(a)), "d" ((USItype)(b))); \
1160 1.1 mrg } while (0)
1161 1.1 mrg #define UMUL_TIME 100
1162 1.1 mrg #define UDIV_TIME 400
1163 1.1 mrg #endif /* not mc68020 */
1164 1.1 mrg /* The '020, '030, '040 and '060 have bitfield insns.
1165 1.1 mrg GCC 3.4 defines __mc68020__ when in CPU32 mode, check for __mcpu32__ to
1166 1.1 mrg exclude bfffo on that chip (bitfield insns not available). */
1167 1.1 mrg #if (defined (__mc68020__) || defined (mc68020) \
1168 1.1 mrg || defined (__mc68030__) || defined (mc68030) \
1169 1.1 mrg || defined (__mc68040__) || defined (mc68040) \
1170 1.1 mrg || defined (__mc68060__) || defined (mc68060) \
1171 1.3 mrg || defined (__NeXT__)) \
1172 1.1 mrg && ! defined (__mcpu32__)
1173 1.1 mrg #define count_leading_zeros(count, x) \
1174 1.1 mrg __asm__ ("bfffo %1{%b2:%b2},%0" \
1175 1.1 mrg : "=d" (count) \
1176 1.1 mrg : "od" ((USItype) (x)), "n" (0))
1177 1.1 mrg #define COUNT_LEADING_ZEROS_0 32
1178 1.1 mrg #endif
1179 1.1 mrg #endif /* mc68000 */
1180 1.1 mrg
1181 1.1 mrg #if defined (__m88000__) && W_TYPE_SIZE == 32
1182 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1183 1.1 mrg __asm__ ("addu.co %1,%r4,%r5\n\taddu.ci %0,%r2,%r3" \
1184 1.1 mrg : "=r" (sh), "=&r" (sl) \
1185 1.1 mrg : "rJ" (ah), "rJ" (bh), "%rJ" (al), "rJ" (bl))
1186 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
1187 1.1 mrg __asm__ ("subu.co %1,%r4,%r5\n\tsubu.ci %0,%r2,%r3" \
1188 1.1 mrg : "=r" (sh), "=&r" (sl) \
1189 1.1 mrg : "rJ" (ah), "rJ" (bh), "rJ" (al), "rJ" (bl))
1190 1.1 mrg #define count_leading_zeros(count, x) \
1191 1.1 mrg do { \
1192 1.1 mrg USItype __cbtmp; \
1193 1.1 mrg __asm__ ("ff1 %0,%1" : "=r" (__cbtmp) : "r" (x)); \
1194 1.1 mrg (count) = __cbtmp ^ 31; \
1195 1.1 mrg } while (0)
1196 1.1 mrg #define COUNT_LEADING_ZEROS_0 63 /* sic */
1197 1.1 mrg #if defined (__m88110__)
1198 1.1 mrg #define umul_ppmm(wh, wl, u, v) \
1199 1.1 mrg do { \
1200 1.1 mrg union {UDItype __ll; \
1201 1.1 mrg struct {USItype __h, __l;} __i; \
1202 1.1 mrg } __x; \
1203 1.1 mrg __asm__ ("mulu.d %0,%1,%2" : "=r" (__x.__ll) : "r" (u), "r" (v)); \
1204 1.1 mrg (wh) = __x.__i.__h; \
1205 1.1 mrg (wl) = __x.__i.__l; \
1206 1.1 mrg } while (0)
1207 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
1208 1.1 mrg ({union {UDItype __ll; \
1209 1.1 mrg struct {USItype __h, __l;} __i; \
1210 1.1 mrg } __x, __q; \
1211 1.1 mrg __x.__i.__h = (n1); __x.__i.__l = (n0); \
1212 1.1 mrg __asm__ ("divu.d %0,%1,%2" \
1213 1.1 mrg : "=r" (__q.__ll) : "r" (__x.__ll), "r" (d)); \
1214 1.1 mrg (r) = (n0) - __q.__l * (d); (q) = __q.__l; })
1215 1.1 mrg #define UMUL_TIME 5
1216 1.1 mrg #define UDIV_TIME 25
1217 1.1 mrg #else
1218 1.1 mrg #define UMUL_TIME 17
1219 1.1 mrg #define UDIV_TIME 150
1220 1.1 mrg #endif /* __m88110__ */
1221 1.1 mrg #endif /* __m88000__ */
1222 1.1 mrg
1223 1.1 mrg #if defined (__mips) && W_TYPE_SIZE == 32
1224 1.2 joerg #if __GMP_GNUC_PREREQ (4,4) || defined(__clang__)
1225 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1226 1.1 mrg do { \
1227 1.1 mrg UDItype __ll = (UDItype)(u) * (v); \
1228 1.1 mrg w1 = __ll >> 32; \
1229 1.1 mrg w0 = __ll; \
1230 1.1 mrg } while (0)
1231 1.1 mrg #endif
1232 1.3 mrg #if !defined (umul_ppmm) && __GMP_GNUC_PREREQ (2,7) && !defined (__clang__)
1233 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1234 1.1 mrg __asm__ ("multu %2,%3" : "=l" (w0), "=h" (w1) : "d" (u), "d" (v))
1235 1.1 mrg #endif
1236 1.1 mrg #if !defined (umul_ppmm)
1237 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1238 1.1 mrg __asm__ ("multu %2,%3\n\tmflo %0\n\tmfhi %1" \
1239 1.1 mrg : "=d" (w0), "=d" (w1) : "d" (u), "d" (v))
1240 1.1 mrg #endif
1241 1.1 mrg #define UMUL_TIME 10
1242 1.1 mrg #define UDIV_TIME 100
1243 1.1 mrg #endif /* __mips */
1244 1.1 mrg
1245 1.1 mrg #if (defined (__mips) && __mips >= 3) && W_TYPE_SIZE == 64
1246 1.2 joerg #if __GMP_GNUC_PREREQ (4,4) || defined(__clang__)
1247 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1248 1.1 mrg do { \
1249 1.1 mrg typedef unsigned int __ll_UTItype __attribute__((mode(TI))); \
1250 1.1 mrg __ll_UTItype __ll = (__ll_UTItype)(u) * (v); \
1251 1.1 mrg w1 = __ll >> 64; \
1252 1.1 mrg w0 = __ll; \
1253 1.1 mrg } while (0)
1254 1.1 mrg #endif
1255 1.3 mrg #if !defined (umul_ppmm) && __GMP_GNUC_PREREQ (2,7) && !defined (__clang__)
1256 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1257 1.3 mrg __asm__ ("dmultu %2,%3" \
1258 1.3 mrg : "=l" (w0), "=h" (w1) \
1259 1.3 mrg : "d" ((UDItype)(u)), "d" ((UDItype)(v)))
1260 1.1 mrg #endif
1261 1.1 mrg #if !defined (umul_ppmm)
1262 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1263 1.1 mrg __asm__ ("dmultu %2,%3\n\tmflo %0\n\tmfhi %1" \
1264 1.3 mrg : "=d" (w0), "=d" (w1) \
1265 1.3 mrg : "d" ((UDItype)(u)), "d" ((UDItype)(v)))
1266 1.1 mrg #endif
1267 1.1 mrg #define UMUL_TIME 20
1268 1.1 mrg #define UDIV_TIME 140
1269 1.1 mrg #endif /* __mips */
1270 1.1 mrg
1271 1.1 mrg #if defined (__mmix__) && W_TYPE_SIZE == 64
1272 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1273 1.1 mrg __asm__ ("MULU %0,%2,%3" : "=r" (w0), "=z" (w1) : "r" (u), "r" (v))
1274 1.1 mrg #endif
1275 1.1 mrg
1276 1.1 mrg #if defined (__ns32000__) && W_TYPE_SIZE == 32
1277 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1278 1.1 mrg ({union {UDItype __ll; \
1279 1.1 mrg struct {USItype __l, __h;} __i; \
1280 1.1 mrg } __x; \
1281 1.1 mrg __asm__ ("meid %2,%0" \
1282 1.1 mrg : "=g" (__x.__ll) \
1283 1.1 mrg : "%0" ((USItype)(u)), "g" ((USItype)(v))); \
1284 1.1 mrg (w1) = __x.__i.__h; (w0) = __x.__i.__l;})
1285 1.1 mrg #define __umulsidi3(u, v) \
1286 1.1 mrg ({UDItype __w; \
1287 1.1 mrg __asm__ ("meid %2,%0" \
1288 1.1 mrg : "=g" (__w) \
1289 1.1 mrg : "%0" ((USItype)(u)), "g" ((USItype)(v))); \
1290 1.1 mrg __w; })
1291 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
1292 1.1 mrg ({union {UDItype __ll; \
1293 1.1 mrg struct {USItype __l, __h;} __i; \
1294 1.1 mrg } __x; \
1295 1.1 mrg __x.__i.__h = (n1); __x.__i.__l = (n0); \
1296 1.1 mrg __asm__ ("deid %2,%0" \
1297 1.1 mrg : "=g" (__x.__ll) \
1298 1.1 mrg : "0" (__x.__ll), "g" ((USItype)(d))); \
1299 1.1 mrg (r) = __x.__i.__l; (q) = __x.__i.__h; })
1300 1.1 mrg #define count_trailing_zeros(count,x) \
1301 1.1 mrg do { \
1302 1.1 mrg __asm__ ("ffsd %2,%0" \
1303 1.1 mrg : "=r" (count) \
1304 1.1 mrg : "0" ((USItype) 0), "r" ((USItype) (x))); \
1305 1.1 mrg } while (0)
1306 1.1 mrg #endif /* __ns32000__ */
1307 1.1 mrg
1308 1.1 mrg /* In the past we had a block of various #defines tested
1309 1.1 mrg _ARCH_PPC - AIX
1310 1.1 mrg _ARCH_PWR - AIX
1311 1.1 mrg __powerpc__ - gcc
1312 1.1 mrg __POWERPC__ - BEOS
1313 1.1 mrg __ppc__ - Darwin
1314 1.1 mrg PPC - old gcc, GNU/Linux, SysV
1315 1.1 mrg The plain PPC test was not good for vxWorks, since PPC is defined on all
1316 1.1 mrg CPUs there (eg. m68k too), as a constant one is expected to compare
1317 1.1 mrg CPU_FAMILY against.
1318 1.1 mrg
1319 1.1 mrg At any rate, this was pretty unattractive and a bit fragile. The use of
1320 1.1 mrg HAVE_HOST_CPU_FAMILY is designed to cut through it all and be sure of
1321 1.1 mrg getting the desired effect.
1322 1.1 mrg
1323 1.1 mrg ENHANCE-ME: We should test _IBMR2 here when we add assembly support for
1324 1.1 mrg the system vendor compilers. (Is that vendor compilers with inline asm,
1325 1.1 mrg or what?) */
1326 1.1 mrg
1327 1.3 mrg #if (HAVE_HOST_CPU_FAMILY_power || HAVE_HOST_CPU_FAMILY_powerpc) \
1328 1.1 mrg && W_TYPE_SIZE == 32
1329 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1330 1.1 mrg do { \
1331 1.1 mrg if (__builtin_constant_p (bh) && (bh) == 0) \
1332 1.3 mrg __asm__ ("add%I4c %1,%3,%4\n\taddze %0,%2" \
1333 1.3 mrg : "=r" (sh), "=&r" (sl) : "r" (ah), "%r" (al), "rI" (bl)); \
1334 1.1 mrg else if (__builtin_constant_p (bh) && (bh) == ~(USItype) 0) \
1335 1.3 mrg __asm__ ("add%I4c %1,%3,%4\n\taddme %0,%2" \
1336 1.3 mrg : "=r" (sh), "=&r" (sl) : "r" (ah), "%r" (al), "rI" (bl)); \
1337 1.1 mrg else \
1338 1.3 mrg __asm__ ("add%I5c %1,%4,%5\n\tadde %0,%2,%3" \
1339 1.1 mrg : "=r" (sh), "=&r" (sl) \
1340 1.1 mrg : "r" (ah), "r" (bh), "%r" (al), "rI" (bl)); \
1341 1.1 mrg } while (0)
1342 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
1343 1.1 mrg do { \
1344 1.1 mrg if (__builtin_constant_p (ah) && (ah) == 0) \
1345 1.3 mrg __asm__ ("subf%I3c %1,%4,%3\n\tsubfze %0,%2" \
1346 1.1 mrg : "=r" (sh), "=&r" (sl) : "r" (bh), "rI" (al), "r" (bl));\
1347 1.1 mrg else if (__builtin_constant_p (ah) && (ah) == ~(USItype) 0) \
1348 1.3 mrg __asm__ ("subf%I3c %1,%4,%3\n\tsubfme %0,%2" \
1349 1.1 mrg : "=r" (sh), "=&r" (sl) : "r" (bh), "rI" (al), "r" (bl));\
1350 1.1 mrg else if (__builtin_constant_p (bh) && (bh) == 0) \
1351 1.3 mrg __asm__ ("subf%I3c %1,%4,%3\n\taddme %0,%2" \
1352 1.1 mrg : "=r" (sh), "=&r" (sl) : "r" (ah), "rI" (al), "r" (bl));\
1353 1.1 mrg else if (__builtin_constant_p (bh) && (bh) == ~(USItype) 0) \
1354 1.3 mrg __asm__ ("subf%I3c %1,%4,%3\n\taddze %0,%2" \
1355 1.1 mrg : "=r" (sh), "=&r" (sl) : "r" (ah), "rI" (al), "r" (bl));\
1356 1.1 mrg else \
1357 1.3 mrg __asm__ ("subf%I4c %1,%5,%4\n\tsubfe %0,%3,%2" \
1358 1.1 mrg : "=r" (sh), "=&r" (sl) \
1359 1.1 mrg : "r" (ah), "r" (bh), "rI" (al), "r" (bl)); \
1360 1.1 mrg } while (0)
1361 1.1 mrg #define count_leading_zeros(count, x) \
1362 1.2 joerg __asm__ ("cntlzw %0,%1" : "=r" (count) : "r" (x))
1363 1.1 mrg #define COUNT_LEADING_ZEROS_0 32
1364 1.1 mrg #if HAVE_HOST_CPU_FAMILY_powerpc
1365 1.2 joerg #if __GMP_GNUC_PREREQ (4,4) || defined(__clang__)
1366 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1367 1.1 mrg do { \
1368 1.1 mrg UDItype __ll = (UDItype)(u) * (v); \
1369 1.1 mrg w1 = __ll >> 32; \
1370 1.1 mrg w0 = __ll; \
1371 1.1 mrg } while (0)
1372 1.1 mrg #endif
1373 1.1 mrg #if !defined (umul_ppmm)
1374 1.1 mrg #define umul_ppmm(ph, pl, m0, m1) \
1375 1.1 mrg do { \
1376 1.1 mrg USItype __m0 = (m0), __m1 = (m1); \
1377 1.1 mrg __asm__ ("mulhwu %0,%1,%2" : "=r" (ph) : "%r" (m0), "r" (m1)); \
1378 1.1 mrg (pl) = __m0 * __m1; \
1379 1.1 mrg } while (0)
1380 1.1 mrg #endif
1381 1.1 mrg #define UMUL_TIME 15
1382 1.1 mrg #define smul_ppmm(ph, pl, m0, m1) \
1383 1.1 mrg do { \
1384 1.1 mrg SItype __m0 = (m0), __m1 = (m1); \
1385 1.1 mrg __asm__ ("mulhw %0,%1,%2" : "=r" (ph) : "%r" (m0), "r" (m1)); \
1386 1.1 mrg (pl) = __m0 * __m1; \
1387 1.1 mrg } while (0)
1388 1.1 mrg #define SMUL_TIME 14
1389 1.1 mrg #define UDIV_TIME 120
1390 1.1 mrg #else
1391 1.1 mrg #define UMUL_TIME 8
1392 1.1 mrg #define smul_ppmm(xh, xl, m0, m1) \
1393 1.1 mrg __asm__ ("mul %0,%2,%3" : "=r" (xh), "=q" (xl) : "r" (m0), "r" (m1))
1394 1.1 mrg #define SMUL_TIME 4
1395 1.1 mrg #define sdiv_qrnnd(q, r, nh, nl, d) \
1396 1.1 mrg __asm__ ("div %0,%2,%4" : "=r" (q), "=q" (r) : "r" (nh), "1" (nl), "r" (d))
1397 1.1 mrg #define UDIV_TIME 100
1398 1.1 mrg #endif
1399 1.1 mrg #endif /* 32-bit POWER architecture variants. */
1400 1.1 mrg
1401 1.1 mrg /* We should test _IBMR2 here when we add assembly support for the system
1402 1.1 mrg vendor compilers. */
1403 1.1 mrg #if HAVE_HOST_CPU_FAMILY_powerpc && W_TYPE_SIZE == 64
1404 1.1 mrg #if !defined (_LONG_LONG_LIMB)
1405 1.1 mrg /* _LONG_LONG_LIMB is ABI=mode32 where adde operates on 32-bit values. So
1406 1.1 mrg use adde etc only when not _LONG_LONG_LIMB. */
1407 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1408 1.1 mrg do { \
1409 1.1 mrg if (__builtin_constant_p (bh) && (bh) == 0) \
1410 1.3 mrg __asm__ ("add%I4c %1,%3,%4\n\taddze %0,%2" \
1411 1.3 mrg : "=r" (sh), "=&r" (sl) \
1412 1.3 mrg : "r" ((UDItype)(ah)), \
1413 1.3 mrg "%r" ((UDItype)(al)), "rI" ((UDItype)(bl))); \
1414 1.1 mrg else if (__builtin_constant_p (bh) && (bh) == ~(UDItype) 0) \
1415 1.3 mrg __asm__ ("add%I4c %1,%3,%4\n\taddme %0,%2" \
1416 1.3 mrg : "=r" (sh), "=&r" (sl) \
1417 1.3 mrg : "r" ((UDItype)(ah)), \
1418 1.3 mrg "%r" ((UDItype)(al)), "rI" ((UDItype)(bl))); \
1419 1.1 mrg else \
1420 1.3 mrg __asm__ ("add%I5c %1,%4,%5\n\tadde %0,%2,%3" \
1421 1.3 mrg : "=r" (sh), "=&r" (sl) \
1422 1.3 mrg : "r" ((UDItype)(ah)), "r" ((UDItype)(bh)), \
1423 1.3 mrg "%r" ((UDItype)(al)), "rI" ((UDItype)(bl))); \
1424 1.1 mrg } while (0)
1425 1.1 mrg /* We use "*rI" for the constant operand here, since with just "I", gcc barfs.
1426 1.1 mrg This might seem strange, but gcc folds away the dead code late. */
1427 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
1428 1.3 mrg do { \
1429 1.3 mrg if (__builtin_constant_p (bl) && bl > -0x8000 && bl <= 0x8000) { \
1430 1.3 mrg if (__builtin_constant_p (ah) && (ah) == 0) \
1431 1.3 mrg __asm__ ("addic %1,%3,%4\n\tsubfze %0,%2" \
1432 1.3 mrg : "=r" (sh), "=&r" (sl) \
1433 1.3 mrg : "r" ((UDItype)(bh)), \
1434 1.3 mrg "rI" ((UDItype)(al)), "*rI" (-((UDItype)(bl)))); \
1435 1.3 mrg else if (__builtin_constant_p (ah) && (ah) == ~(UDItype) 0) \
1436 1.3 mrg __asm__ ("addic %1,%3,%4\n\tsubfme %0,%2" \
1437 1.3 mrg : "=r" (sh), "=&r" (sl) \
1438 1.3 mrg : "r" ((UDItype)(bh)), \
1439 1.3 mrg "rI" ((UDItype)(al)), "*rI" (-((UDItype)(bl)))); \
1440 1.3 mrg else if (__builtin_constant_p (bh) && (bh) == 0) \
1441 1.3 mrg __asm__ ("addic %1,%3,%4\n\taddme %0,%2" \
1442 1.3 mrg : "=r" (sh), "=&r" (sl) \
1443 1.3 mrg : "r" ((UDItype)(ah)), \
1444 1.3 mrg "rI" ((UDItype)(al)), "*rI" (-((UDItype)(bl)))); \
1445 1.3 mrg else if (__builtin_constant_p (bh) && (bh) == ~(UDItype) 0) \
1446 1.3 mrg __asm__ ("addic %1,%3,%4\n\taddze %0,%2" \
1447 1.3 mrg : "=r" (sh), "=&r" (sl) \
1448 1.3 mrg : "r" ((UDItype)(ah)), \
1449 1.3 mrg "rI" ((UDItype)(al)), "*rI" (-((UDItype)(bl)))); \
1450 1.3 mrg else \
1451 1.3 mrg __asm__ ("addic %1,%4,%5\n\tsubfe %0,%3,%2" \
1452 1.3 mrg : "=r" (sh), "=&r" (sl) \
1453 1.3 mrg : "r" ((UDItype)(ah)), "r" ((UDItype)(bh)), \
1454 1.3 mrg "rI" ((UDItype)(al)), "*rI" (-((UDItype)(bl)))); \
1455 1.3 mrg } else { \
1456 1.3 mrg if (__builtin_constant_p (ah) && (ah) == 0) \
1457 1.3 mrg __asm__ ("subf%I3c %1,%4,%3\n\tsubfze %0,%2" \
1458 1.3 mrg : "=r" (sh), "=&r" (sl) \
1459 1.3 mrg : "r" ((UDItype)(bh)), \
1460 1.3 mrg "rI" ((UDItype)(al)), "r" ((UDItype)(bl))); \
1461 1.3 mrg else if (__builtin_constant_p (ah) && (ah) == ~(UDItype) 0) \
1462 1.3 mrg __asm__ ("subf%I3c %1,%4,%3\n\tsubfme %0,%2" \
1463 1.3 mrg : "=r" (sh), "=&r" (sl) \
1464 1.3 mrg : "r" ((UDItype)(bh)), \
1465 1.3 mrg "rI" ((UDItype)(al)), "r" ((UDItype)(bl))); \
1466 1.3 mrg else if (__builtin_constant_p (bh) && (bh) == 0) \
1467 1.3 mrg __asm__ ("subf%I3c %1,%4,%3\n\taddme %0,%2" \
1468 1.3 mrg : "=r" (sh), "=&r" (sl) \
1469 1.3 mrg : "r" ((UDItype)(ah)), \
1470 1.3 mrg "rI" ((UDItype)(al)), "r" ((UDItype)(bl))); \
1471 1.3 mrg else if (__builtin_constant_p (bh) && (bh) == ~(UDItype) 0) \
1472 1.3 mrg __asm__ ("subf%I3c %1,%4,%3\n\taddze %0,%2" \
1473 1.3 mrg : "=r" (sh), "=&r" (sl) \
1474 1.3 mrg : "r" ((UDItype)(ah)), \
1475 1.3 mrg "rI" ((UDItype)(al)), "r" ((UDItype)(bl))); \
1476 1.3 mrg else \
1477 1.3 mrg __asm__ ("subf%I4c %1,%5,%4\n\tsubfe %0,%3,%2" \
1478 1.3 mrg : "=r" (sh), "=&r" (sl) \
1479 1.3 mrg : "r" ((UDItype)(ah)), "r" ((UDItype)(bh)), \
1480 1.3 mrg "rI" ((UDItype)(al)), "r" ((UDItype)(bl))); \
1481 1.3 mrg } \
1482 1.1 mrg } while (0)
1483 1.1 mrg #endif /* ! _LONG_LONG_LIMB */
1484 1.1 mrg #define count_leading_zeros(count, x) \
1485 1.1 mrg __asm__ ("cntlzd %0,%1" : "=r" (count) : "r" (x))
1486 1.1 mrg #define COUNT_LEADING_ZEROS_0 64
1487 1.2 joerg #if 0 && __GMP_GNUC_PREREQ (4,4) /* Disable, this results in libcalls! */
1488 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1489 1.1 mrg do { \
1490 1.1 mrg typedef unsigned int __ll_UTItype __attribute__((mode(TI))); \
1491 1.1 mrg __ll_UTItype __ll = (__ll_UTItype)(u) * (v); \
1492 1.1 mrg w1 = __ll >> 64; \
1493 1.1 mrg w0 = __ll; \
1494 1.1 mrg } while (0)
1495 1.1 mrg #endif
1496 1.1 mrg #if !defined (umul_ppmm)
1497 1.1 mrg #define umul_ppmm(ph, pl, m0, m1) \
1498 1.1 mrg do { \
1499 1.1 mrg UDItype __m0 = (m0), __m1 = (m1); \
1500 1.3 mrg __asm__ ("mulhdu %0,%1,%2" : "=r" (ph) : "%r" (__m0), "r" (__m1)); \
1501 1.1 mrg (pl) = __m0 * __m1; \
1502 1.1 mrg } while (0)
1503 1.1 mrg #endif
1504 1.1 mrg #define UMUL_TIME 15
1505 1.1 mrg #define smul_ppmm(ph, pl, m0, m1) \
1506 1.1 mrg do { \
1507 1.1 mrg DItype __m0 = (m0), __m1 = (m1); \
1508 1.3 mrg __asm__ ("mulhd %0,%1,%2" : "=r" (ph) : "%r" (__m0), "r" (__m1)); \
1509 1.1 mrg (pl) = __m0 * __m1; \
1510 1.1 mrg } while (0)
1511 1.1 mrg #define SMUL_TIME 14 /* ??? */
1512 1.1 mrg #define UDIV_TIME 120 /* ??? */
1513 1.1 mrg #endif /* 64-bit PowerPC. */
1514 1.1 mrg
1515 1.1 mrg #if defined (__pyr__) && W_TYPE_SIZE == 32
1516 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1517 1.1 mrg __asm__ ("addw %5,%1\n\taddwc %3,%0" \
1518 1.1 mrg : "=r" (sh), "=&r" (sl) \
1519 1.1 mrg : "0" ((USItype)(ah)), "g" ((USItype)(bh)), \
1520 1.1 mrg "%1" ((USItype)(al)), "g" ((USItype)(bl)))
1521 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
1522 1.1 mrg __asm__ ("subw %5,%1\n\tsubwb %3,%0" \
1523 1.1 mrg : "=r" (sh), "=&r" (sl) \
1524 1.1 mrg : "0" ((USItype)(ah)), "g" ((USItype)(bh)), \
1525 1.1 mrg "1" ((USItype)(al)), "g" ((USItype)(bl)))
1526 1.1 mrg /* This insn works on Pyramids with AP, XP, or MI CPUs, but not with SP. */
1527 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1528 1.1 mrg ({union {UDItype __ll; \
1529 1.1 mrg struct {USItype __h, __l;} __i; \
1530 1.1 mrg } __x; \
1531 1.1 mrg __asm__ ("movw %1,%R0\n\tuemul %2,%0" \
1532 1.1 mrg : "=&r" (__x.__ll) \
1533 1.1 mrg : "g" ((USItype) (u)), "g" ((USItype)(v))); \
1534 1.1 mrg (w1) = __x.__i.__h; (w0) = __x.__i.__l;})
1535 1.1 mrg #endif /* __pyr__ */
1536 1.1 mrg
1537 1.1 mrg #if defined (__ibm032__) /* RT/ROMP */ && W_TYPE_SIZE == 32
1538 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1539 1.1 mrg __asm__ ("a %1,%5\n\tae %0,%3" \
1540 1.1 mrg : "=r" (sh), "=&r" (sl) \
1541 1.1 mrg : "0" ((USItype)(ah)), "r" ((USItype)(bh)), \
1542 1.1 mrg "%1" ((USItype)(al)), "r" ((USItype)(bl)))
1543 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
1544 1.1 mrg __asm__ ("s %1,%5\n\tse %0,%3" \
1545 1.1 mrg : "=r" (sh), "=&r" (sl) \
1546 1.1 mrg : "0" ((USItype)(ah)), "r" ((USItype)(bh)), \
1547 1.1 mrg "1" ((USItype)(al)), "r" ((USItype)(bl)))
1548 1.1 mrg #define smul_ppmm(ph, pl, m0, m1) \
1549 1.1 mrg __asm__ ( \
1550 1.1 mrg "s r2,r2\n" \
1551 1.1 mrg " mts r10,%2\n" \
1552 1.1 mrg " m r2,%3\n" \
1553 1.1 mrg " m r2,%3\n" \
1554 1.1 mrg " m r2,%3\n" \
1555 1.1 mrg " m r2,%3\n" \
1556 1.1 mrg " m r2,%3\n" \
1557 1.1 mrg " m r2,%3\n" \
1558 1.1 mrg " m r2,%3\n" \
1559 1.1 mrg " m r2,%3\n" \
1560 1.1 mrg " m r2,%3\n" \
1561 1.1 mrg " m r2,%3\n" \
1562 1.1 mrg " m r2,%3\n" \
1563 1.1 mrg " m r2,%3\n" \
1564 1.1 mrg " m r2,%3\n" \
1565 1.1 mrg " m r2,%3\n" \
1566 1.1 mrg " m r2,%3\n" \
1567 1.1 mrg " m r2,%3\n" \
1568 1.1 mrg " cas %0,r2,r0\n" \
1569 1.1 mrg " mfs r10,%1" \
1570 1.1 mrg : "=r" (ph), "=r" (pl) \
1571 1.1 mrg : "%r" ((USItype)(m0)), "r" ((USItype)(m1)) \
1572 1.1 mrg : "r2")
1573 1.1 mrg #define UMUL_TIME 20
1574 1.1 mrg #define UDIV_TIME 200
1575 1.1 mrg #define count_leading_zeros(count, x) \
1576 1.1 mrg do { \
1577 1.1 mrg if ((x) >= 0x10000) \
1578 1.1 mrg __asm__ ("clz %0,%1" \
1579 1.1 mrg : "=r" (count) : "r" ((USItype)(x) >> 16)); \
1580 1.1 mrg else \
1581 1.1 mrg { \
1582 1.1 mrg __asm__ ("clz %0,%1" \
1583 1.1 mrg : "=r" (count) : "r" ((USItype)(x))); \
1584 1.1 mrg (count) += 16; \
1585 1.1 mrg } \
1586 1.1 mrg } while (0)
1587 1.1 mrg #endif /* RT/ROMP */
1588 1.1 mrg
1589 1.2 joerg #if (defined (__SH2__) || defined (__SH3__) || defined (__SH4__)) && W_TYPE_SIZE == 32
1590 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1591 1.1 mrg __asm__ ("dmulu.l %2,%3\n\tsts macl,%1\n\tsts mach,%0" \
1592 1.1 mrg : "=r" (w1), "=r" (w0) : "r" (u), "r" (v) : "macl", "mach")
1593 1.1 mrg #define UMUL_TIME 5
1594 1.1 mrg #endif
1595 1.1 mrg
1596 1.1 mrg #if defined (__sparc__) && W_TYPE_SIZE == 32
1597 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1598 1.1 mrg __asm__ ("addcc %r4,%5,%1\n\taddx %r2,%3,%0" \
1599 1.1 mrg : "=r" (sh), "=&r" (sl) \
1600 1.1 mrg : "rJ" (ah), "rI" (bh),"%rJ" (al), "rI" (bl) \
1601 1.1 mrg __CLOBBER_CC)
1602 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
1603 1.1 mrg __asm__ ("subcc %r4,%5,%1\n\tsubx %r2,%3,%0" \
1604 1.1 mrg : "=r" (sh), "=&r" (sl) \
1605 1.1 mrg : "rJ" (ah), "rI" (bh), "rJ" (al), "rI" (bl) \
1606 1.1 mrg __CLOBBER_CC)
1607 1.1 mrg /* FIXME: When gcc -mcpu=v9 is used on solaris, gcc/config/sol2-sld-64.h
1608 1.1 mrg doesn't define anything to indicate that to us, it only sets __sparcv8. */
1609 1.1 mrg #if defined (__sparc_v9__) || defined (__sparcv9)
1610 1.1 mrg /* Perhaps we should use floating-point operations here? */
1611 1.1 mrg #if 0
1612 1.1 mrg /* Triggers a bug making mpz/tests/t-gcd.c fail.
1613 1.1 mrg Perhaps we simply need explicitly zero-extend the inputs? */
1614 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1615 1.1 mrg __asm__ ("mulx %2,%3,%%g1; srl %%g1,0,%1; srlx %%g1,32,%0" : \
1616 1.1 mrg "=r" (w1), "=r" (w0) : "r" (u), "r" (v) : "g1")
1617 1.1 mrg #else
1618 1.1 mrg /* Use v8 umul until above bug is fixed. */
1619 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1620 1.1 mrg __asm__ ("umul %2,%3,%1;rd %%y,%0" : "=r" (w1), "=r" (w0) : "r" (u), "r" (v))
1621 1.1 mrg #endif
1622 1.1 mrg /* Use a plain v8 divide for v9. */
1623 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
1624 1.1 mrg do { \
1625 1.1 mrg USItype __q; \
1626 1.1 mrg __asm__ ("mov %1,%%y;nop;nop;nop;udiv %2,%3,%0" \
1627 1.1 mrg : "=r" (__q) : "r" (n1), "r" (n0), "r" (d)); \
1628 1.1 mrg (r) = (n0) - __q * (d); \
1629 1.1 mrg (q) = __q; \
1630 1.1 mrg } while (0)
1631 1.1 mrg #else
1632 1.1 mrg #if defined (__sparc_v8__) /* gcc normal */ \
1633 1.1 mrg || defined (__sparcv8) /* gcc solaris */ \
1634 1.1 mrg || HAVE_HOST_CPU_supersparc
1635 1.1 mrg /* Don't match immediate range because, 1) it is not often useful,
1636 1.1 mrg 2) the 'I' flag thinks of the range as a 13 bit signed interval,
1637 1.1 mrg while we want to match a 13 bit interval, sign extended to 32 bits,
1638 1.1 mrg but INTERPRETED AS UNSIGNED. */
1639 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1640 1.1 mrg __asm__ ("umul %2,%3,%1;rd %%y,%0" : "=r" (w1), "=r" (w0) : "r" (u), "r" (v))
1641 1.1 mrg #define UMUL_TIME 5
1642 1.1 mrg
1643 1.1 mrg #if HAVE_HOST_CPU_supersparc
1644 1.1 mrg #define UDIV_TIME 60 /* SuperSPARC timing */
1645 1.1 mrg #else
1646 1.1 mrg /* Don't use this on SuperSPARC because its udiv only handles 53 bit
1647 1.1 mrg dividends and will trap to the kernel for the rest. */
1648 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
1649 1.1 mrg do { \
1650 1.1 mrg USItype __q; \
1651 1.1 mrg __asm__ ("mov %1,%%y;nop;nop;nop;udiv %2,%3,%0" \
1652 1.1 mrg : "=r" (__q) : "r" (n1), "r" (n0), "r" (d)); \
1653 1.1 mrg (r) = (n0) - __q * (d); \
1654 1.1 mrg (q) = __q; \
1655 1.1 mrg } while (0)
1656 1.1 mrg #define UDIV_TIME 25
1657 1.1 mrg #endif /* HAVE_HOST_CPU_supersparc */
1658 1.1 mrg
1659 1.1 mrg #else /* ! __sparc_v8__ */
1660 1.1 mrg #if defined (__sparclite__)
1661 1.1 mrg /* This has hardware multiply but not divide. It also has two additional
1662 1.1 mrg instructions scan (ffs from high bit) and divscc. */
1663 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1664 1.1 mrg __asm__ ("umul %2,%3,%1;rd %%y,%0" : "=r" (w1), "=r" (w0) : "r" (u), "r" (v))
1665 1.1 mrg #define UMUL_TIME 5
1666 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
1667 1.1 mrg __asm__ ("! Inlined udiv_qrnnd\n" \
1668 1.1 mrg " wr %%g0,%2,%%y ! Not a delayed write for sparclite\n" \
1669 1.1 mrg " tst %%g0\n" \
1670 1.1 mrg " divscc %3,%4,%%g1\n" \
1671 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1672 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1673 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1674 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1675 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1676 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1677 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1678 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1679 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1680 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1681 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1682 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1683 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1684 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1685 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1686 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1687 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1688 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1689 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1690 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1691 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1692 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1693 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1694 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1695 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1696 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1697 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1698 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1699 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1700 1.1 mrg " divscc %%g1,%4,%%g1\n" \
1701 1.1 mrg " divscc %%g1,%4,%0\n" \
1702 1.1 mrg " rd %%y,%1\n" \
1703 1.1 mrg " bl,a 1f\n" \
1704 1.1 mrg " add %1,%4,%1\n" \
1705 1.1 mrg "1: ! End of inline udiv_qrnnd" \
1706 1.1 mrg : "=r" (q), "=r" (r) : "r" (n1), "r" (n0), "rI" (d) \
1707 1.1 mrg : "%g1" __AND_CLOBBER_CC)
1708 1.1 mrg #define UDIV_TIME 37
1709 1.1 mrg #define count_leading_zeros(count, x) \
1710 1.1 mrg __asm__ ("scan %1,1,%0" : "=r" (count) : "r" (x))
1711 1.1 mrg /* Early sparclites return 63 for an argument of 0, but they warn that future
1712 1.1 mrg implementations might change this. Therefore, leave COUNT_LEADING_ZEROS_0
1713 1.1 mrg undefined. */
1714 1.1 mrg #endif /* __sparclite__ */
1715 1.1 mrg #endif /* __sparc_v8__ */
1716 1.1 mrg #endif /* __sparc_v9__ */
1717 1.1 mrg /* Default to sparc v7 versions of umul_ppmm and udiv_qrnnd. */
1718 1.1 mrg #ifndef umul_ppmm
1719 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
1720 1.1 mrg __asm__ ("! Inlined umul_ppmm\n" \
1721 1.1 mrg " wr %%g0,%2,%%y ! SPARC has 0-3 delay insn after a wr\n" \
1722 1.1 mrg " sra %3,31,%%g2 ! Don't move this insn\n" \
1723 1.1 mrg " and %2,%%g2,%%g2 ! Don't move this insn\n" \
1724 1.1 mrg " andcc %%g0,0,%%g1 ! Don't move this insn\n" \
1725 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1726 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1727 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1728 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1729 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1730 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1731 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1732 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1733 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1734 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1735 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1736 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1737 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1738 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1739 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1740 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1741 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1742 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1743 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1744 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1745 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1746 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1747 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1748 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1749 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1750 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1751 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1752 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1753 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1754 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1755 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1756 1.1 mrg " mulscc %%g1,%3,%%g1\n" \
1757 1.1 mrg " mulscc %%g1,0,%%g1\n" \
1758 1.1 mrg " add %%g1,%%g2,%0\n" \
1759 1.1 mrg " rd %%y,%1" \
1760 1.1 mrg : "=r" (w1), "=r" (w0) : "%rI" (u), "r" (v) \
1761 1.1 mrg : "%g1", "%g2" __AND_CLOBBER_CC)
1762 1.1 mrg #define UMUL_TIME 39 /* 39 instructions */
1763 1.1 mrg #endif
1764 1.1 mrg #ifndef udiv_qrnnd
1765 1.1 mrg #ifndef LONGLONG_STANDALONE
1766 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
1767 1.1 mrg do { UWtype __r; \
1768 1.1 mrg (q) = __MPN(udiv_qrnnd) (&__r, (n1), (n0), (d)); \
1769 1.1 mrg (r) = __r; \
1770 1.1 mrg } while (0)
1771 1.2 joerg extern UWtype __MPN(udiv_qrnnd) (UWtype *, UWtype, UWtype, UWtype);
1772 1.1 mrg #ifndef UDIV_TIME
1773 1.1 mrg #define UDIV_TIME 140
1774 1.1 mrg #endif
1775 1.1 mrg #endif /* LONGLONG_STANDALONE */
1776 1.1 mrg #endif /* udiv_qrnnd */
1777 1.1 mrg #endif /* __sparc__ */
1778 1.1 mrg
1779 1.1 mrg #if defined (__sparc__) && W_TYPE_SIZE == 64
1780 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1781 1.1 mrg __asm__ ( \
1782 1.1 mrg "addcc %r4,%5,%1\n" \
1783 1.1 mrg " addccc %r6,%7,%%g0\n" \
1784 1.1 mrg " addc %r2,%3,%0" \
1785 1.3 mrg : "=r" (sh), "=&r" (sl) \
1786 1.3 mrg : "rJ" ((UDItype)(ah)), "rI" ((UDItype)(bh)), \
1787 1.3 mrg "%rJ" ((UDItype)(al)), "rI" ((UDItype)(bl)), \
1788 1.3 mrg "%rJ" ((UDItype)(al) >> 32), "rI" ((UDItype)(bl) >> 32) \
1789 1.1 mrg __CLOBBER_CC)
1790 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
1791 1.1 mrg __asm__ ( \
1792 1.1 mrg "subcc %r4,%5,%1\n" \
1793 1.1 mrg " subccc %r6,%7,%%g0\n" \
1794 1.1 mrg " subc %r2,%3,%0" \
1795 1.3 mrg : "=r" (sh), "=&r" (sl) \
1796 1.3 mrg : "rJ" ((UDItype)(ah)), "rI" ((UDItype)(bh)), \
1797 1.3 mrg "rJ" ((UDItype)(al)), "rI" ((UDItype)(bl)), \
1798 1.3 mrg "rJ" ((UDItype)(al) >> 32), "rI" ((UDItype)(bl) >> 32) \
1799 1.3 mrg __CLOBBER_CC)
1800 1.3 mrg #if __VIS__ >= 0x300
1801 1.3 mrg #undef add_ssaaaa
1802 1.3 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1803 1.3 mrg __asm__ ( \
1804 1.3 mrg "addcc %r4, %5, %1\n" \
1805 1.3 mrg " addxc %r2, %r3, %0" \
1806 1.1 mrg : "=r" (sh), "=&r" (sl) \
1807 1.3 mrg : "rJ" ((UDItype)(ah)), "rJ" ((UDItype)(bh)), \
1808 1.3 mrg "%rJ" ((UDItype)(al)), "rI" ((UDItype)(bl)) __CLOBBER_CC)
1809 1.3 mrg #define umul_ppmm(ph, pl, m0, m1) \
1810 1.3 mrg do { \
1811 1.3 mrg UDItype __m0 = (m0), __m1 = (m1); \
1812 1.3 mrg (pl) = __m0 * __m1; \
1813 1.3 mrg __asm__ ("umulxhi\t%2, %1, %0" \
1814 1.3 mrg : "=r" (ph) \
1815 1.3 mrg : "%r" (__m0), "r" (__m1)); \
1816 1.3 mrg } while (0)
1817 1.3 mrg #define count_leading_zeros(count, x) \
1818 1.3 mrg __asm__ ("lzd\t%1,%0" : "=r" (count) : "r" (x))
1819 1.3 mrg /* Needed by count_leading_zeros_32 in sparc64.h. */
1820 1.3 mrg #define COUNT_LEADING_ZEROS_NEED_CLZ_TAB
1821 1.3 mrg #endif
1822 1.1 mrg #endif
1823 1.1 mrg
1824 1.2 joerg #if (defined (__vax) || defined (__vax__)) && W_TYPE_SIZE == 32
1825 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1826 1.1 mrg __asm__ ("addl2 %5,%1\n\tadwc %3,%0" \
1827 1.1 mrg : "=g" (sh), "=&g" (sl) \
1828 1.1 mrg : "0" ((USItype)(ah)), "g" ((USItype)(bh)), \
1829 1.1 mrg "%1" ((USItype)(al)), "g" ((USItype)(bl)))
1830 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
1831 1.1 mrg __asm__ ("subl2 %5,%1\n\tsbwc %3,%0" \
1832 1.1 mrg : "=g" (sh), "=&g" (sl) \
1833 1.1 mrg : "0" ((USItype)(ah)), "g" ((USItype)(bh)), \
1834 1.1 mrg "1" ((USItype)(al)), "g" ((USItype)(bl)))
1835 1.1 mrg #define smul_ppmm(xh, xl, m0, m1) \
1836 1.1 mrg do { \
1837 1.1 mrg union {UDItype __ll; \
1838 1.1 mrg struct {USItype __l, __h;} __i; \
1839 1.1 mrg } __x; \
1840 1.1 mrg USItype __m0 = (m0), __m1 = (m1); \
1841 1.1 mrg __asm__ ("emul %1,%2,$0,%0" \
1842 1.1 mrg : "=g" (__x.__ll) : "g" (__m0), "g" (__m1)); \
1843 1.1 mrg (xh) = __x.__i.__h; (xl) = __x.__i.__l; \
1844 1.1 mrg } while (0)
1845 1.1 mrg #define sdiv_qrnnd(q, r, n1, n0, d) \
1846 1.1 mrg do { \
1847 1.1 mrg union {DItype __ll; \
1848 1.1 mrg struct {SItype __l, __h;} __i; \
1849 1.1 mrg } __x; \
1850 1.1 mrg __x.__i.__h = n1; __x.__i.__l = n0; \
1851 1.1 mrg __asm__ ("ediv %3,%2,%0,%1" \
1852 1.1 mrg : "=g" (q), "=g" (r) : "g" (__x.__ll), "g" (d)); \
1853 1.1 mrg } while (0)
1854 1.1 mrg #if 0
1855 1.1 mrg /* FIXME: This instruction appears to be unimplemented on some systems (vax
1856 1.1 mrg 8800 maybe). */
1857 1.1 mrg #define count_trailing_zeros(count,x) \
1858 1.1 mrg do { \
1859 1.1 mrg __asm__ ("ffs 0, 31, %1, %0" \
1860 1.1 mrg : "=g" (count) \
1861 1.1 mrg : "g" ((USItype) (x))); \
1862 1.1 mrg } while (0)
1863 1.1 mrg #endif
1864 1.2 joerg #endif /* vax */
1865 1.1 mrg
1866 1.1 mrg #if defined (__z8000__) && W_TYPE_SIZE == 16
1867 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1868 1.1 mrg __asm__ ("add %H1,%H5\n\tadc %H0,%H3" \
1869 1.1 mrg : "=r" (sh), "=&r" (sl) \
1870 1.1 mrg : "0" ((unsigned int)(ah)), "r" ((unsigned int)(bh)), \
1871 1.1 mrg "%1" ((unsigned int)(al)), "rQR" ((unsigned int)(bl)))
1872 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
1873 1.1 mrg __asm__ ("sub %H1,%H5\n\tsbc %H0,%H3" \
1874 1.1 mrg : "=r" (sh), "=&r" (sl) \
1875 1.1 mrg : "0" ((unsigned int)(ah)), "r" ((unsigned int)(bh)), \
1876 1.1 mrg "1" ((unsigned int)(al)), "rQR" ((unsigned int)(bl)))
1877 1.1 mrg #define umul_ppmm(xh, xl, m0, m1) \
1878 1.1 mrg do { \
1879 1.1 mrg union {long int __ll; \
1880 1.1 mrg struct {unsigned int __h, __l;} __i; \
1881 1.1 mrg } __x; \
1882 1.1 mrg unsigned int __m0 = (m0), __m1 = (m1); \
1883 1.1 mrg __asm__ ("mult %S0,%H3" \
1884 1.1 mrg : "=r" (__x.__i.__h), "=r" (__x.__i.__l) \
1885 1.1 mrg : "%1" (m0), "rQR" (m1)); \
1886 1.1 mrg (xh) = __x.__i.__h; (xl) = __x.__i.__l; \
1887 1.1 mrg (xh) += ((((signed int) __m0 >> 15) & __m1) \
1888 1.1 mrg + (((signed int) __m1 >> 15) & __m0)); \
1889 1.1 mrg } while (0)
1890 1.1 mrg #endif /* __z8000__ */
1891 1.1 mrg
1892 1.1 mrg #endif /* __GNUC__ */
1893 1.1 mrg
1894 1.1 mrg #endif /* NO_ASM */
1895 1.1 mrg
1896 1.1 mrg
1897 1.2 joerg /* FIXME: "sidi" here is highly doubtful, should sometimes be "diti". */
1898 1.1 mrg #if !defined (umul_ppmm) && defined (__umulsidi3)
1899 1.1 mrg #define umul_ppmm(ph, pl, m0, m1) \
1900 1.3 mrg do { \
1901 1.1 mrg UDWtype __ll = __umulsidi3 (m0, m1); \
1902 1.1 mrg ph = (UWtype) (__ll >> W_TYPE_SIZE); \
1903 1.1 mrg pl = (UWtype) __ll; \
1904 1.3 mrg } while (0)
1905 1.1 mrg #endif
1906 1.1 mrg
1907 1.1 mrg #if !defined (__umulsidi3)
1908 1.1 mrg #define __umulsidi3(u, v) \
1909 1.1 mrg ({UWtype __hi, __lo; \
1910 1.1 mrg umul_ppmm (__hi, __lo, u, v); \
1911 1.1 mrg ((UDWtype) __hi << W_TYPE_SIZE) | __lo; })
1912 1.1 mrg #endif
1913 1.1 mrg
1914 1.1 mrg
1915 1.3 mrg #if defined (__cplusplus)
1916 1.3 mrg #define __longlong_h_C "C"
1917 1.3 mrg #else
1918 1.3 mrg #define __longlong_h_C
1919 1.3 mrg #endif
1920 1.3 mrg
1921 1.1 mrg /* Use mpn_umul_ppmm or mpn_udiv_qrnnd functions, if they exist. The "_r"
1922 1.1 mrg forms have "reversed" arguments, meaning the pointer is last, which
1923 1.1 mrg sometimes allows better parameter passing, in particular on 64-bit
1924 1.1 mrg hppa. */
1925 1.1 mrg
1926 1.1 mrg #define mpn_umul_ppmm __MPN(umul_ppmm)
1927 1.3 mrg extern __longlong_h_C UWtype mpn_umul_ppmm (UWtype *, UWtype, UWtype);
1928 1.1 mrg
1929 1.1 mrg #if ! defined (umul_ppmm) && HAVE_NATIVE_mpn_umul_ppmm \
1930 1.1 mrg && ! defined (LONGLONG_STANDALONE)
1931 1.3 mrg #define umul_ppmm(wh, wl, u, v) \
1932 1.3 mrg do { \
1933 1.3 mrg UWtype __umul_ppmm__p0; \
1934 1.3 mrg (wh) = mpn_umul_ppmm (&__umul_ppmm__p0, (UWtype) (u), (UWtype) (v));\
1935 1.3 mrg (wl) = __umul_ppmm__p0; \
1936 1.1 mrg } while (0)
1937 1.1 mrg #endif
1938 1.1 mrg
1939 1.1 mrg #define mpn_umul_ppmm_r __MPN(umul_ppmm_r)
1940 1.3 mrg extern __longlong_h_C UWtype mpn_umul_ppmm_r (UWtype, UWtype, UWtype *);
1941 1.1 mrg
1942 1.1 mrg #if ! defined (umul_ppmm) && HAVE_NATIVE_mpn_umul_ppmm_r \
1943 1.1 mrg && ! defined (LONGLONG_STANDALONE)
1944 1.3 mrg #define umul_ppmm(wh, wl, u, v) \
1945 1.3 mrg do { \
1946 1.3 mrg UWtype __umul_p0; \
1947 1.3 mrg (wh) = mpn_umul_ppmm_r ((UWtype) (u), (UWtype) (v), &__umul_p0); \
1948 1.3 mrg (wl) = __umul_p0; \
1949 1.1 mrg } while (0)
1950 1.1 mrg #endif
1951 1.1 mrg
1952 1.1 mrg #define mpn_udiv_qrnnd __MPN(udiv_qrnnd)
1953 1.3 mrg extern __longlong_h_C UWtype mpn_udiv_qrnnd (UWtype *, UWtype, UWtype, UWtype);
1954 1.1 mrg
1955 1.1 mrg #if ! defined (udiv_qrnnd) && HAVE_NATIVE_mpn_udiv_qrnnd \
1956 1.1 mrg && ! defined (LONGLONG_STANDALONE)
1957 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
1958 1.1 mrg do { \
1959 1.3 mrg UWtype __udiv_qrnnd_r; \
1960 1.3 mrg (q) = mpn_udiv_qrnnd (&__udiv_qrnnd_r, \
1961 1.1 mrg (UWtype) (n1), (UWtype) (n0), (UWtype) d); \
1962 1.3 mrg (r) = __udiv_qrnnd_r; \
1963 1.1 mrg } while (0)
1964 1.1 mrg #endif
1965 1.1 mrg
1966 1.1 mrg #define mpn_udiv_qrnnd_r __MPN(udiv_qrnnd_r)
1967 1.3 mrg extern __longlong_h_C UWtype mpn_udiv_qrnnd_r (UWtype, UWtype, UWtype, UWtype *);
1968 1.1 mrg
1969 1.1 mrg #if ! defined (udiv_qrnnd) && HAVE_NATIVE_mpn_udiv_qrnnd_r \
1970 1.1 mrg && ! defined (LONGLONG_STANDALONE)
1971 1.1 mrg #define udiv_qrnnd(q, r, n1, n0, d) \
1972 1.1 mrg do { \
1973 1.3 mrg UWtype __udiv_qrnnd_r; \
1974 1.1 mrg (q) = mpn_udiv_qrnnd_r ((UWtype) (n1), (UWtype) (n0), (UWtype) d, \
1975 1.3 mrg &__udiv_qrnnd_r); \
1976 1.3 mrg (r) = __udiv_qrnnd_r; \
1977 1.1 mrg } while (0)
1978 1.1 mrg #endif
1979 1.1 mrg
1980 1.1 mrg
1981 1.1 mrg /* If this machine has no inline assembler, use C macros. */
1982 1.1 mrg
1983 1.1 mrg #if !defined (add_ssaaaa)
1984 1.1 mrg #define add_ssaaaa(sh, sl, ah, al, bh, bl) \
1985 1.1 mrg do { \
1986 1.1 mrg UWtype __x; \
1987 1.1 mrg __x = (al) + (bl); \
1988 1.1 mrg (sh) = (ah) + (bh) + (__x < (al)); \
1989 1.1 mrg (sl) = __x; \
1990 1.1 mrg } while (0)
1991 1.1 mrg #endif
1992 1.1 mrg
1993 1.1 mrg #if !defined (sub_ddmmss)
1994 1.1 mrg #define sub_ddmmss(sh, sl, ah, al, bh, bl) \
1995 1.1 mrg do { \
1996 1.1 mrg UWtype __x; \
1997 1.1 mrg __x = (al) - (bl); \
1998 1.3 mrg (sh) = (ah) - (bh) - ((al) < (bl)); \
1999 1.1 mrg (sl) = __x; \
2000 1.1 mrg } while (0)
2001 1.1 mrg #endif
2002 1.1 mrg
2003 1.1 mrg /* If we lack umul_ppmm but have smul_ppmm, define umul_ppmm in terms of
2004 1.1 mrg smul_ppmm. */
2005 1.1 mrg #if !defined (umul_ppmm) && defined (smul_ppmm)
2006 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
2007 1.1 mrg do { \
2008 1.1 mrg UWtype __w1; \
2009 1.1 mrg UWtype __xm0 = (u), __xm1 = (v); \
2010 1.1 mrg smul_ppmm (__w1, w0, __xm0, __xm1); \
2011 1.1 mrg (w1) = __w1 + (-(__xm0 >> (W_TYPE_SIZE - 1)) & __xm1) \
2012 1.1 mrg + (-(__xm1 >> (W_TYPE_SIZE - 1)) & __xm0); \
2013 1.1 mrg } while (0)
2014 1.1 mrg #endif
2015 1.1 mrg
2016 1.1 mrg /* If we still don't have umul_ppmm, define it using plain C.
2017 1.1 mrg
2018 1.1 mrg For reference, when this code is used for squaring (ie. u and v identical
2019 1.1 mrg expressions), gcc recognises __x1 and __x2 are the same and generates 3
2020 1.1 mrg multiplies, not 4. The subsequent additions could be optimized a bit,
2021 1.1 mrg but the only place GMP currently uses such a square is mpn_sqr_basecase,
2022 1.1 mrg and chips obliged to use this generic C umul will have plenty of worse
2023 1.1 mrg performance problems than a couple of extra instructions on the diagonal
2024 1.1 mrg of sqr_basecase. */
2025 1.1 mrg
2026 1.1 mrg #if !defined (umul_ppmm)
2027 1.1 mrg #define umul_ppmm(w1, w0, u, v) \
2028 1.1 mrg do { \
2029 1.1 mrg UWtype __x0, __x1, __x2, __x3; \
2030 1.1 mrg UHWtype __ul, __vl, __uh, __vh; \
2031 1.1 mrg UWtype __u = (u), __v = (v); \
2032 1.1 mrg \
2033 1.1 mrg __ul = __ll_lowpart (__u); \
2034 1.1 mrg __uh = __ll_highpart (__u); \
2035 1.1 mrg __vl = __ll_lowpart (__v); \
2036 1.1 mrg __vh = __ll_highpart (__v); \
2037 1.1 mrg \
2038 1.1 mrg __x0 = (UWtype) __ul * __vl; \
2039 1.1 mrg __x1 = (UWtype) __ul * __vh; \
2040 1.1 mrg __x2 = (UWtype) __uh * __vl; \
2041 1.1 mrg __x3 = (UWtype) __uh * __vh; \
2042 1.1 mrg \
2043 1.1 mrg __x1 += __ll_highpart (__x0);/* this can't give carry */ \
2044 1.1 mrg __x1 += __x2; /* but this indeed can */ \
2045 1.1 mrg if (__x1 < __x2) /* did we get it? */ \
2046 1.1 mrg __x3 += __ll_B; /* yes, add it in the proper pos. */ \
2047 1.1 mrg \
2048 1.1 mrg (w1) = __x3 + __ll_highpart (__x1); \
2049 1.1 mrg (w0) = (__x1 << W_TYPE_SIZE/2) + __ll_lowpart (__x0); \
2050 1.1 mrg } while (0)
2051 1.1 mrg #endif
2052 1.1 mrg
2053 1.1 mrg /* If we don't have smul_ppmm, define it using umul_ppmm (which surely will
2054 1.1 mrg exist in one form or another. */
2055 1.1 mrg #if !defined (smul_ppmm)
2056 1.1 mrg #define smul_ppmm(w1, w0, u, v) \
2057 1.1 mrg do { \
2058 1.1 mrg UWtype __w1; \
2059 1.1 mrg UWtype __xm0 = (u), __xm1 = (v); \
2060 1.1 mrg umul_ppmm (__w1, w0, __xm0, __xm1); \
2061 1.1 mrg (w1) = __w1 - (-(__xm0 >> (W_TYPE_SIZE - 1)) & __xm1) \
2062 1.1 mrg - (-(__xm1 >> (W_TYPE_SIZE - 1)) & __xm0); \
2063 1.1 mrg } while (0)
2064 1.1 mrg #endif
2065 1.1 mrg
2066 1.1 mrg /* Define this unconditionally, so it can be used for debugging. */
2067 1.1 mrg #define __udiv_qrnnd_c(q, r, n1, n0, d) \
2068 1.1 mrg do { \
2069 1.1 mrg UWtype __d1, __d0, __q1, __q0, __r1, __r0, __m; \
2070 1.1 mrg \
2071 1.1 mrg ASSERT ((d) != 0); \
2072 1.1 mrg ASSERT ((n1) < (d)); \
2073 1.1 mrg \
2074 1.1 mrg __d1 = __ll_highpart (d); \
2075 1.1 mrg __d0 = __ll_lowpart (d); \
2076 1.1 mrg \
2077 1.1 mrg __q1 = (n1) / __d1; \
2078 1.1 mrg __r1 = (n1) - __q1 * __d1; \
2079 1.1 mrg __m = __q1 * __d0; \
2080 1.1 mrg __r1 = __r1 * __ll_B | __ll_highpart (n0); \
2081 1.1 mrg if (__r1 < __m) \
2082 1.1 mrg { \
2083 1.1 mrg __q1--, __r1 += (d); \
2084 1.1 mrg if (__r1 >= (d)) /* i.e. we didn't get carry when adding to __r1 */\
2085 1.1 mrg if (__r1 < __m) \
2086 1.1 mrg __q1--, __r1 += (d); \
2087 1.1 mrg } \
2088 1.1 mrg __r1 -= __m; \
2089 1.1 mrg \
2090 1.1 mrg __q0 = __r1 / __d1; \
2091 1.1 mrg __r0 = __r1 - __q0 * __d1; \
2092 1.1 mrg __m = __q0 * __d0; \
2093 1.1 mrg __r0 = __r0 * __ll_B | __ll_lowpart (n0); \
2094 1.1 mrg if (__r0 < __m) \
2095 1.1 mrg { \
2096 1.1 mrg __q0--, __r0 += (d); \
2097 1.1 mrg if (__r0 >= (d)) \
2098 1.1 mrg if (__r0 < __m) \
2099 1.1 mrg __q0--, __r0 += (d); \
2100 1.1 mrg } \
2101 1.1 mrg __r0 -= __m; \
2102 1.1 mrg \
2103 1.1 mrg (q) = __q1 * __ll_B | __q0; \
2104 1.1 mrg (r) = __r0; \
2105 1.1 mrg } while (0)
2106 1.1 mrg
2107 1.1 mrg /* If the processor has no udiv_qrnnd but sdiv_qrnnd, go through
2108 1.1 mrg __udiv_w_sdiv (defined in libgcc or elsewhere). */
2109 1.3 mrg #if !defined (udiv_qrnnd) && defined (sdiv_qrnnd) \
2110 1.3 mrg && ! defined (LONGLONG_STANDALONE)
2111 1.1 mrg #define udiv_qrnnd(q, r, nh, nl, d) \
2112 1.1 mrg do { \
2113 1.1 mrg UWtype __r; \
2114 1.1 mrg (q) = __MPN(udiv_w_sdiv) (&__r, nh, nl, d); \
2115 1.1 mrg (r) = __r; \
2116 1.1 mrg } while (0)
2117 1.2 joerg __GMP_DECLSPEC UWtype __MPN(udiv_w_sdiv) (UWtype *, UWtype, UWtype, UWtype);
2118 1.1 mrg #endif
2119 1.1 mrg
2120 1.1 mrg /* If udiv_qrnnd was not defined for this processor, use __udiv_qrnnd_c. */
2121 1.1 mrg #if !defined (udiv_qrnnd)
2122 1.1 mrg #define UDIV_NEEDS_NORMALIZATION 1
2123 1.1 mrg #define udiv_qrnnd __udiv_qrnnd_c
2124 1.1 mrg #endif
2125 1.1 mrg
2126 1.1 mrg #if !defined (count_leading_zeros)
2127 1.1 mrg #define count_leading_zeros(count, x) \
2128 1.1 mrg do { \
2129 1.1 mrg UWtype __xr = (x); \
2130 1.1 mrg UWtype __a; \
2131 1.1 mrg \
2132 1.1 mrg if (W_TYPE_SIZE == 32) \
2133 1.1 mrg { \
2134 1.1 mrg __a = __xr < ((UWtype) 1 << 2*__BITS4) \
2135 1.1 mrg ? (__xr < ((UWtype) 1 << __BITS4) ? 1 : __BITS4 + 1) \
2136 1.1 mrg : (__xr < ((UWtype) 1 << 3*__BITS4) ? 2*__BITS4 + 1 \
2137 1.1 mrg : 3*__BITS4 + 1); \
2138 1.1 mrg } \
2139 1.1 mrg else \
2140 1.1 mrg { \
2141 1.1 mrg for (__a = W_TYPE_SIZE - 8; __a > 0; __a -= 8) \
2142 1.1 mrg if (((__xr >> __a) & 0xff) != 0) \
2143 1.1 mrg break; \
2144 1.1 mrg ++__a; \
2145 1.1 mrg } \
2146 1.1 mrg \
2147 1.1 mrg (count) = W_TYPE_SIZE + 1 - __a - __clz_tab[__xr >> __a]; \
2148 1.1 mrg } while (0)
2149 1.1 mrg /* This version gives a well-defined value for zero. */
2150 1.1 mrg #define COUNT_LEADING_ZEROS_0 (W_TYPE_SIZE - 1)
2151 1.1 mrg #define COUNT_LEADING_ZEROS_NEED_CLZ_TAB
2152 1.2 joerg #define COUNT_LEADING_ZEROS_SLOW
2153 1.1 mrg #endif
2154 1.1 mrg
2155 1.1 mrg /* clz_tab needed by mpn/x86/pentium/mod_1.asm in a fat binary */
2156 1.1 mrg #if HAVE_HOST_CPU_FAMILY_x86 && WANT_FAT_BINARY
2157 1.1 mrg #define COUNT_LEADING_ZEROS_NEED_CLZ_TAB
2158 1.1 mrg #endif
2159 1.1 mrg
2160 1.1 mrg #ifdef COUNT_LEADING_ZEROS_NEED_CLZ_TAB
2161 1.2 joerg extern const unsigned char __GMP_DECLSPEC __clz_tab[129];
2162 1.1 mrg #endif
2163 1.1 mrg
2164 1.1 mrg #if !defined (count_trailing_zeros)
2165 1.2 joerg #if !defined (COUNT_LEADING_ZEROS_SLOW)
2166 1.2 joerg /* Define count_trailing_zeros using an asm count_leading_zeros. */
2167 1.2 joerg #define count_trailing_zeros(count, x) \
2168 1.1 mrg do { \
2169 1.1 mrg UWtype __ctz_x = (x); \
2170 1.1 mrg UWtype __ctz_c; \
2171 1.1 mrg ASSERT (__ctz_x != 0); \
2172 1.1 mrg count_leading_zeros (__ctz_c, __ctz_x & -__ctz_x); \
2173 1.1 mrg (count) = W_TYPE_SIZE - 1 - __ctz_c; \
2174 1.1 mrg } while (0)
2175 1.2 joerg #else
2176 1.2 joerg /* Define count_trailing_zeros in plain C, assuming small counts are common.
2177 1.2 joerg We use clz_tab without ado, since the C count_leading_zeros above will have
2178 1.2 joerg pulled it in. */
2179 1.2 joerg #define count_trailing_zeros(count, x) \
2180 1.2 joerg do { \
2181 1.2 joerg UWtype __ctz_x = (x); \
2182 1.2 joerg int __ctz_c; \
2183 1.2 joerg \
2184 1.2 joerg if (LIKELY ((__ctz_x & 0xff) != 0)) \
2185 1.2 joerg (count) = __clz_tab[__ctz_x & -__ctz_x] - 2; \
2186 1.2 joerg else \
2187 1.2 joerg { \
2188 1.2 joerg for (__ctz_c = 8 - 2; __ctz_c < W_TYPE_SIZE - 2; __ctz_c += 8) \
2189 1.2 joerg { \
2190 1.2 joerg __ctz_x >>= 8; \
2191 1.2 joerg if (LIKELY ((__ctz_x & 0xff) != 0)) \
2192 1.2 joerg break; \
2193 1.2 joerg } \
2194 1.2 joerg \
2195 1.2 joerg (count) = __ctz_c + __clz_tab[__ctz_x & -__ctz_x]; \
2196 1.2 joerg } \
2197 1.2 joerg } while (0)
2198 1.2 joerg #endif
2199 1.1 mrg #endif
2200 1.1 mrg
2201 1.1 mrg #ifndef UDIV_NEEDS_NORMALIZATION
2202 1.1 mrg #define UDIV_NEEDS_NORMALIZATION 0
2203 1.1 mrg #endif
2204 1.1 mrg
2205 1.1 mrg /* Whether udiv_qrnnd is actually implemented with udiv_qrnnd_preinv, and
2206 1.1 mrg that hence the latter should always be used. */
2207 1.1 mrg #ifndef UDIV_PREINV_ALWAYS
2208 1.1 mrg #define UDIV_PREINV_ALWAYS 0
2209 1.1 mrg #endif
2210 1.1 mrg
2211 1.1 mrg /* Give defaults for UMUL_TIME and UDIV_TIME. */
2212 1.1 mrg #ifndef UMUL_TIME
2213 1.1 mrg #define UMUL_TIME 1
2214 1.1 mrg #endif
2215 1.1 mrg
2216 1.1 mrg #ifndef UDIV_TIME
2217 1.1 mrg #define UDIV_TIME UMUL_TIME
2218 1.1 mrg #endif
2219