Home | History | Annotate | Download | only in tests

Lines Matching defs:check24

100 check24 (const char *xs, const char *ys, mpfr_rnd_t rnd_mode, const char *zs)
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.0", "8388611.0", MPFR_RNDN, "117281287831552.0");
135   check24("8388609.0",  "8388609.0", MPFR_RNDZ, "70368760954880.0");
136   check24("16777213.0", "8388609.0", MPFR_RNDZ, "140737471578112.0");
137   check24("8388611.0",  "8388609.0", MPFR_RNDZ, "70368777732096.0");
138   check24("12582911.0", "8388610.0", MPFR_RNDZ, "105553124655104.0");
139   check24("12582914.0", "8388610.0", MPFR_RNDZ, "105553158209536.0");
140   check24("13981013.0", "8388611.0", MPFR_RNDZ, "117281271054336.0");
141   check24("11184811.0", "8388611.0", MPFR_RNDZ, "93825028587520.0");
142   check24("11184810.0", "8388611.0", MPFR_RNDZ, "93825011810304.0");
143   check24("13981014.0", "8388611.0", MPFR_RNDZ, "117281287831552.0");
145   check24("8388609.0",  "8388609.0", MPFR_RNDU, "70368769343488.0");
146   check24("16777213.0", "8388609.0", MPFR_RNDU, "140737479966720.0");
147   check24("8388611.0",  "8388609.0", MPFR_RNDU, "70368786120704.0");
148   check24("12582911.0", "8388610.0", MPFR_RNDU, "105553133043712.0");
149   check24("12582914.0", "8388610.0", MPFR_RNDU, "105553166598144.0");
150   check24("13981013.0", "8388611.0", MPFR_RNDU, "117281279442944.0");
151   check24("11184811.0", "8388611.0", MPFR_RNDU, "93825036976128.0");
152   check24("11184810.0", "8388611.0", MPFR_RNDU, "93825020198912.0");
153   check24("13981014.0", "8388611.0", MPFR_RNDU, "117281296220160.0");
155   check24("8388609.0",  "8388609.0", MPFR_RNDD, "70368760954880.0");
156   check24("16777213.0", "8388609.0", MPFR_RNDD, "140737471578112.0");
157   check24("8388611.0",  "8388609.0", MPFR_RNDD, "70368777732096.0");
158   check24("12582911.0", "8388610.0", MPFR_RNDD, "105553124655104.0");
159   check24("12582914.0", "8388610.0", MPFR_RNDD, "105553158209536.0");
160   check24("13981013.0", "8388611.0", MPFR_RNDD, "117281271054336.0");
161   check24("11184811.0", "8388611.0", MPFR_RNDD, "93825028587520.0");
162   check24("11184810.0", "8388611.0", MPFR_RNDD, "93825011810304.0");
163   check24("13981014.0", "8388611.0", MPFR_RNDD, "117281287831552.0");