vx               3807 maint/gnulib/lib/mini-gmp.c   mp_limb_t ux, vx, rx;
vx               3829 maint/gnulib/lib/mini-gmp.c   vx = -vc;
vx               3833 maint/gnulib/lib/mini-gmp.c   rn = vx ? un : vn;
vx               3846 maint/gnulib/lib/mini-gmp.c       vl = (vp[i] ^ vx) + vc;
vx               3861 maint/gnulib/lib/mini-gmp.c       rl = ( (ul & vx) ^ rx) + rc;
vx               3879 maint/gnulib/lib/mini-gmp.c   mp_limb_t ux, vx, rx;
vx               3901 maint/gnulib/lib/mini-gmp.c   vx = -vc;
vx               3906 maint/gnulib/lib/mini-gmp.c   rn = vx ? vn : un;
vx               3919 maint/gnulib/lib/mini-gmp.c       vl = (vp[i] ^ vx) + vc;
vx               3934 maint/gnulib/lib/mini-gmp.c       rl = ( (ul | vx) ^ rx) + rc;
vx               3952 maint/gnulib/lib/mini-gmp.c   mp_limb_t ux, vx, rx;
vx               3974 maint/gnulib/lib/mini-gmp.c   vx = -vc;
vx               3988 maint/gnulib/lib/mini-gmp.c       vl = (vp[i] ^ vx) + vc;