dist/tests/teq.c

36   mx = (MPFR_PREC(x) - 1) / mp_bits_per_limb;
37   px = mp_bits_per_limb - 2;
63           px = mp_bits_per_limb - 1;
143   mpfr_set_prec (x, 2 * mp_bits_per_limb);
144   mpfr_set_prec (y, mp_bits_per_limb);
147   MPFR_ASSERTN(mpfr_eq (x, y, mp_bits_per_limb - 1));
148   MPFR_ASSERTN(mpfr_eq (x, y, mp_bits_per_limb));
149   MPFR_ASSERTN(mpfr_eq (x, y, mp_bits_per_limb + 1));
150   MPFR_ASSERTN(mpfr_eq (x, y, 2 * mp_bits_per_limb - 1));
151   MPFR_ASSERTN(mpfr_eq (x, y, 2 * mp_bits_per_limb));
152   MPFR_ASSERTN(mpfr_eq (x, y, 2 * mp_bits_per_limb + 1));
155   MPFR_ASSERTN(mpfr_eq (x, y, mp_bits_per_limb - 1));
156   MPFR_ASSERTN(mpfr_eq (x, y, mp_bits_per_limb));
157   MPFR_ASSERTN(mpfr_eq (x, y, mp_bits_per_limb + 1));
158   MPFR_ASSERTN(mpfr_eq (x, y, 2 * mp_bits_per_limb - 1));
159   MPFR_ASSERTN(mpfr_eq (x, y, 2 * mp_bits_per_limb) == 0);
160   MPFR_ASSERTN(mpfr_eq (x, y, 2 * mp_bits_per_limb + 1) == 0);
161   MPFR_ASSERTN(mpfr_eq (y, x, mp_bits_per_limb - 1));
162   MPFR_ASSERTN(mpfr_eq (y, x, mp_bits_per_limb));
163   MPFR_ASSERTN(mpfr_eq (y, x, mp_bits_per_limb + 1));
164   MPFR_ASSERTN(mpfr_eq (y, x, 2 * mp_bits_per_limb - 1));
165   MPFR_ASSERTN(mpfr_eq (y, x, 2 * mp_bits_per_limb) == 0);
166   MPFR_ASSERTN(mpfr_eq (y, x, 2 * mp_bits_per_limb + 1) == 0);
172   mpfr_set_prec (x, 2 * mp_bits_per_limb);
173   mpfr_set_prec (y, 2 * mp_bits_per_limb);
178   MPFR_ASSERTN(mpfr_eq (x, y, mp_bits_per_limb) == 0);
179   MPFR_ASSERTN(mpfr_eq (x, y, mp_bits_per_limb + 1) == 0);