Home | History | Annotate | Line # | Download | only in dist
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