int
main (int argc, char *argv[])
{
mp_prec_t p;
unsigned k;
tests_start_mpfr ();
check_nans ();
special ();
for (p=2; p<100; p++)
for (k=0; k<100; k++)
check_two_sum (p);
check(1196426492, "1.4218093058435347e-3", GMP_RNDN,
"1.1964264919985781e9");
check(1092583421, "-1.0880649218158844e9", GMP_RNDN,
"2.1806483428158845901e9");
check(948002822, "1.22191250737771397120e+20", GMP_RNDN,
"-1.2219125073682338611e20");
check(832100416, "4.68311314939691330000e-215", GMP_RNDD,
"8.3210041599999988079e8");
check(1976245324, "1.25296395864546893357e+232", GMP_RNDZ,
"-1.2529639586454686577e232");
check(2128997392, "-1.08496826129284207724e+187", GMP_RNDU,
"1.0849682612928422704e187");
check(293607738, "-1.9967571564050541e-5", GMP_RNDU,
"2.9360773800002003e8");
check(354270183, "2.9469161763489528e3", GMP_RNDN,
"3.5426723608382362e8");
tests_end_mpfr ();
return 0;
}
int
main (void)
{
mpfr_prec_t p;
unsigned int i;
tests_start_mpfr ();
bug20101017 ();
check_rounding ();
check_diverse ();
check_inexact ();
bug_ddefour ();
for (p=2; p<200; p++)
for (i=0; i<50; i++)
check_two_sum (p);
test_generic (2, 800, 100);
tests_end_mpfr ();
return 0;
}
int
main (int argc, char *argv[])
{
mpfr_prec_t p;
int k;
tests_start_mpfr ();
check_nans ();
for (p=2; p<200; p++)
for (k=0; k<200; k++)
check_two_sum (p);
check3 ("0.9999999999", 1, MPFR_RNDN,
"-10000000827403709990903735160827636718750e-50");
test_generic_ui (2, 1000, 100);
tests_end_mpfr ();
return 0;
}