Searched refs:check24 (Results 1 - 3 of 3) sorted by relevance

/netbsd-current/external/lgpl3/mpfr/dist/tests/
H A Dtsqrt.c90 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 Dtmul.c100 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 Dtdiv.c187 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