__x1              148 maint/gnulib/lib/mini-gmp.c       mp_limb_t __x0, __x1, __x2, __x3;					\
__x1              159 maint/gnulib/lib/mini-gmp.c       __x1 = (mp_limb_t) __ul * __vh;					\
__x1              163 maint/gnulib/lib/mini-gmp.c       __x1 += __x0 >> (GMP_LIMB_BITS / 2);/* this can't give carry */	\
__x1              164 maint/gnulib/lib/mini-gmp.c       __x1 += __x2;		/* but this indeed can */		\
__x1              165 maint/gnulib/lib/mini-gmp.c       if (__x1 < __x2)		/* did we get it? */			\
__x1              168 maint/gnulib/lib/mini-gmp.c       (w1) = __x3 + (__x1 >> (GMP_LIMB_BITS / 2));			\
__x1              169 maint/gnulib/lib/mini-gmp.c       (w0) = (__x1 << (GMP_LIMB_BITS / 2)) + (__x0 & GMP_LLIMB_MASK);	\