| tadd.c | 363 unsigned int prec_a, prec_b, prec_c, dif; local
370 prec_a = MPFR_PREC_MIN + (randlimb () % 63);
371 mpfr_set_prec (a, prec_a);
372 for (prec_b = prec_a + 2; prec_b <= 64; prec_b++)
374 dif = prec_b - prec_a;
376 /* b = 1 - 2^(-prec_a) + 2^(-prec_b) */
380 mpfr_div_2ui (b, b, prec_a, MPFR_RNDN);
384 /* c = 2^(-prec_a) - 2^(-prec_b) */
389 mpfr_div_2ui (c, c, prec_a, MPFR_RNDN);
393 printf ("case (1b) failed for prec_a=%u, prec_b=%u,
634 mpfr_prec_t prec_a, prec_b, prec_c; local
722 mpfr_prec_t prec_a, prec_b, prec_c; local
797 static mpfr_prec_t prec_a[] = { local
[all...] |
