Searched refs:check24 (Results 1 - 3 of 3) sorted by relevance
/netbsd-current/external/lgpl3/mpfr/dist/tests/ |
H A D | tsqrt.c | 90 check24 (const char *as, mpfr_rnd_t rnd_mode, const char *qs) function 134 check24("70368760954880.0", MPFR_RNDN, "8.388609e6"); 135 check24("281474943156224.0", MPFR_RNDN, "1.6777215e7"); 136 check24("70368777732096.0", MPFR_RNDN, "8.388610e6"); 137 check24("281474909601792.0", MPFR_RNDN, "1.6777214e7"); 138 check24("100216216748032.0", MPFR_RNDN, "1.0010805e7"); 139 check24("120137273311232.0", MPFR_RNDN, "1.0960715e7"); 140 check24("229674600890368.0", MPFR_RNDN, "1.5155019e7"); 141 check24("70368794509312.0", MPFR_RNDN, "8.388611e6"); 142 check24("281474876047360. [all...] |
H A D | tmul.c | 100 check24 (const char *xs, const char *ys, mpfr_rnd_t rnd_mode, const char *zs) function 125 check24("8388609.0", "8388609.0", MPFR_RNDN, "70368760954880.0"); 126 check24("16777213.0", "8388609.0", MPFR_RNDN, "140737479966720.0"); 127 check24("8388611.0", "8388609.0", MPFR_RNDN, "70368777732096.0"); 128 check24("12582911.0", "8388610.0", MPFR_RNDN, "105553133043712.0"); 129 check24("12582914.0", "8388610.0", MPFR_RNDN, "105553158209536.0"); 130 check24("13981013.0", "8388611.0", MPFR_RNDN, "117281279442944.0"); 131 check24("11184811.0", "8388611.0", MPFR_RNDN, "93825028587520.0"); 132 check24("11184810.0", "8388611.0", MPFR_RNDN, "93825020198912.0"); 133 check24("13981014. [all...] |
H A D | tdiv.c | 187 check24 (const char *Ns, const char *Ds, mpfr_rnd_t rnd_mode, const char *Qs) function 212 check24("70368760954880.0", "8388609.0", MPFR_RNDN, "8.388609e6"); 213 check24("140737479966720.0", "16777213.0", MPFR_RNDN, "8.388609e6"); 214 check24("70368777732096.0", "8388611.0", MPFR_RNDN, "8.388609e6"); 215 check24("105553133043712.0", "12582911.0", MPFR_RNDN, "8.38861e6"); 218 check24 ("12582913.0", "12582910.0", MPFR_RNDN, "1.000000238"); 219 check24 ("105553124655104.0", "12582910.0", MPFR_RNDN, "8388610.0"); 220 check24("140737479966720.0", "8388609.0", MPFR_RNDN, "1.6777213e7"); 221 check24("70368777732096.0", "8388609.0", MPFR_RNDN, "8.388611e6"); 222 check24("105553133043712. [all...] |
Completed in 186 milliseconds