Lines Matching defs:check24
90 check24 (const char *as, mpfr_rnd_t rnd_mode, const char *qs)
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.0", MPFR_RNDN, "1.6777213e7");
143 check24("91214552498176.0", MPFR_RNDN, "9.550631e6");
145 check24("70368760954880.0", MPFR_RNDZ, "8.388608e6");
146 check24("281474943156224.0", MPFR_RNDZ, "1.6777214e7");
147 check24("70368777732096.0", MPFR_RNDZ, "8.388609e6");
148 check24("281474909601792.0", MPFR_RNDZ, "1.6777213e7");
149 check24("100216216748032.0", MPFR_RNDZ, "1.0010805e7");
150 check24("120137273311232.0", MPFR_RNDZ, "1.0960715e7");
151 check24("229674600890368.0", MPFR_RNDZ, "1.5155019e7");
152 check24("70368794509312.0", MPFR_RNDZ, "8.38861e6");
153 check24("281474876047360.0", MPFR_RNDZ, "1.6777212e7");
154 check24("91214552498176.0", MPFR_RNDZ, "9.550631e6");
156 check24("70368760954880.0", MPFR_RNDU, "8.388609e6");
157 check24("281474943156224.0",MPFR_RNDU, "1.6777215e7");
158 check24("70368777732096.0", MPFR_RNDU, "8.388610e6");
159 check24("281474909601792.0", MPFR_RNDU, "1.6777214e7");
160 check24("100216216748032.0", MPFR_RNDU, "1.0010806e7");
161 check24("120137273311232.0", MPFR_RNDU, "1.0960716e7");
162 check24("229674600890368.0", MPFR_RNDU, "1.515502e7");
163 check24("70368794509312.0", MPFR_RNDU, "8.388611e6");
164 check24("281474876047360.0", MPFR_RNDU, "1.6777213e7");
165 check24("91214552498176.0", MPFR_RNDU, "9.550632e6");
167 check24("70368760954880.0", MPFR_RNDD, "8.388608e6");
168 check24("281474943156224.0", MPFR_RNDD, "1.6777214e7");
169 check24("70368777732096.0", MPFR_RNDD, "8.388609e6");
170 check24("281474909601792.0", MPFR_RNDD, "1.6777213e7");
171 check24("100216216748032.0", MPFR_RNDD, "1.0010805e7");
172 check24("120137273311232.0", MPFR_RNDD, "1.0960715e7");
173 check24("229674600890368.0", MPFR_RNDD, "1.5155019e7");
174 check24("70368794509312.0", MPFR_RNDD, "8.38861e6");
175 check24("281474876047360.0", MPFR_RNDD, "1.6777212e7");
176 check24("91214552498176.0", MPFR_RNDD, "9.550631e6");
179 check24("91214552498176.0", MPFR_RNDA, "9.550632e6");