Lines Matching defs:out
327 * happen to come out very very small if we're unlucky. How
329 * actually worked that out using Paxson's modular minimisation
330 * algorithm, and it turns out that the smallest exponent you can
331 * get out of a nontrivial[1] double precision range reduction is
423 uint32 out[3];
426 test_ceil(in, out);
427 return in[0] == out[0] && in[1] == out[1];
431 uint32 out[3];
434 test_ceilf(in, out);
435 return in[0] == out[0];
764 static void complex_log_cases(uint32 *out, uint32 param1,
766 cases_uniform(out,0x00100000,0x7fefffff);
767 cases_uniform(out+2,0x00100000,0x7fefffff);
771 static void complex_log_cases_float(uint32 *out, uint32 param1,
773 cases_uniform_float(out,0x00800000,0x7f7fffff);
774 cases_uniform_float(out+2,0x00800000,0x7f7fffff);
777 static void complex_cases_biased(uint32 *out, uint32 lowbound,
779 cases_biased(out,lowbound,highbound);
780 cases_biased(out+2,lowbound,highbound);
783 static void complex_cases_biased_float(uint32 *out, uint32 lowbound,
785 cases_biased_float(out,lowbound,highbound);
786 cases_biased_float(out+2,lowbound,highbound);
789 static void complex_cases_uniform(uint32 *out, uint32 lowbound,
791 cases_uniform(out,lowbound,highbound);
792 cases_uniform(out+2,lowbound,highbound);
795 static void complex_cases_uniform_float(uint32 *out, uint32 lowbound,
797 cases_uniform_float(out,lowbound,highbound);
798 cases_uniform(out+2,lowbound,highbound);
801 static void complex_pow_cases(uint32 *out, uint32 lowbound,
820 cases_uniform(out,0x3fe00000, 0x40000000);
821 cases_uniform(out+2,0x3fe00000, 0x40000000);
822 cases_uniform(out+4,0x3f800000, 0x40600000);
823 cases_uniform(out+6,0x3f800000, 0x40600000);
826 static void complex_pow_cases_float(uint32 *out, uint32 lowbound,
832 cases_uniform_float(out,0x3f000000, 0x40000000);
833 cases_uniform_float(out+2,0x3f000000, 0x40000000);
834 cases_uniform_float(out+4,0x3d600000, 0x41900000);
835 cases_uniform_float(out+6,0x3d600000, 0x41900000);
838 static void complex_arithmetic_cases(uint32 *out, uint32 lowbound,
840 cases_uniform(out,0,0x7fefffff);
841 cases_uniform(out+2,0,0x7fefffff);
842 cases_uniform(out+4,0,0x7fefffff);
843 cases_uniform(out+6,0,0x7fefffff);
846 static void complex_arithmetic_cases_float(uint32 *out, uint32 lowbound,
848 cases_uniform_float(out,0,0x7f7fffff);
849 cases_uniform_float(out+2,0,0x7f7fffff);
850 cases_uniform_float(out+4,0,0x7f7fffff);
851 cases_uniform_float(out+6,0,0x7f7fffff);
1181 static void cases_biased(uint32 *out, uint32 lowbound,
1184 out[0] = highbound - random_upto_biased(highbound-lowbound, 8);
1185 out[1] = random_upto(0xFFFFFFFF);
1186 out[0] |= random_sign;
1187 } while (iszero(out)); /* rule out zero */
1190 static void cases_biased_positive(uint32 *out, uint32 lowbound,
1193 out[0] = highbound - random_upto_biased(highbound-lowbound, 8);
1194 out[1] = random_upto(0xFFFFFFFF);
1195 } while (iszero(out)); /* rule out zero */
1198 static void cases_biased_float(uint32 *out, uint32 lowbound,
1201 out[0] = highbound - random_upto_biased(highbound-lowbound, 8);
1202 out[1] = 0;
1203 out[0] |= random_sign;
1204 } while (iszero(out)); /* rule out zero */
1207 static void cases_semi1(uint32 *out, uint32 param1,
1209 float64_case(out);
1212 static void cases_semi1_float(uint32 *out, uint32 param1,
1214 float32_case(out);
1217 static void cases_semi2(uint32 *out, uint32 param1,
1219 float64_case(out);
1220 float64_case(out+2);
1223 static void cases_semi2_float(uint32 *out, uint32 param1,
1225 float32_case(out);
1226 float32_case(out+2);
1229 static void cases_ldexp(uint32 *out, uint32 param1,
1231 float64_case(out);
1232 out[2] = random_upto(2048)-1024;
1235 static void cases_ldexp_float(uint32 *out, uint32 param1,
1237 float32_case(out);
1238 out[2] = random_upto(256)-128;
1241 static void cases_uniform(uint32 *out, uint32 lowbound,
1244 out[0] = highbound - random_upto(highbound-lowbound);
1245 out[1] = random_upto(0xFFFFFFFF);
1246 out[0] |= random_sign;
1247 } while (iszero(out)); /* rule out zero */
1249 static void cases_uniform_float(uint32 *out, uint32 lowbound,
1252 out[0] = highbound - random_upto(highbound-lowbound);
1253 out[1] = 0;
1254 out[0] |= random_sign;
1255 } while (iszero(out)); /* rule out zero */
1258 static void cases_uniform_positive(uint32 *out, uint32 lowbound,
1261 out[0] = highbound - random_upto(highbound-lowbound);
1262 out[1] = random_upto(0xFFFFFFFF);
1263 } while (iszero(out)); /* rule out zero */
1265 static void cases_uniform_float_positive(uint32 *out, uint32 lowbound,
1268 out[0] = highbound - random_upto(highbound-lowbound);
1269 out[1] = 0;
1270 } while (iszero(out)); /* rule out zero */
1274 static void log_cases(uint32 *out, uint32 param1,
1277 out[0] = random_upto(0x7FEFFFFF);
1278 out[1] = random_upto(0xFFFFFFFF);
1279 } while (iszero(out)); /* rule out zero */
1282 static void log_cases_float(uint32 *out, uint32 param1,
1285 out[0] = random_upto(0x7F7FFFFF);
1286 out[1] = 0;
1287 } while (iszero(out)); /* rule out zero */
1290 static void log1p_cases(uint32 *out, uint32 param1, uint32 param2)
1294 cases_uniform_positive(out, 0x3c700000, 0x43400000);
1296 cases_uniform_positive(out, 0x3c000000, 0x3ff00000);
1298 out[0] |= sign;
1301 static void log1p_cases_float(uint32 *out, uint32 param1, uint32 param2)
1305 cases_uniform_float_positive(out, 0x32000000, 0x4c000000);
1307 cases_uniform_float_positive(out, 0x30000000, 0x3f800000);
1309 out[0] |= sign;
1312 static void minmax_cases(uint32 *out, uint32 param1, uint32 param2)
1315 out[0] = random_upto(0x7FEFFFFF);
1316 out[1] = random_upto(0xFFFFFFFF);
1317 out[0] |= random_sign;
1318 out[2] = random_upto(0x7FEFFFFF);
1319 out[3] = random_upto(0xFFFFFFFF);
1320 out[2] |= random_sign;
1321 } while (iszero(out)); /* rule out zero */
1324 static void minmax_cases_float(uint32 *out, uint32 param1, uint32 param2)
1327 out[0] = random_upto(0x7F7FFFFF);
1328 out[1] = 0;
1329 out[0] |= random_sign;
1330 out[2] = random_upto(0x7F7FFFFF);
1331 out[3] = 0;
1332 out[2] |= random_sign;
1333 } while (iszero(out)); /* rule out zero */
1336 static void rred_cases(uint32 *out, uint32 param1,
1339 out[0] = ((0x3fc00000 + random_upto(0x036fffff)) |
1341 out[1] = random_upto(0xFFFFFFFF);
1342 } while (iszero(out)); /* rule out zero */
1345 static void rred_cases_float(uint32 *out, uint32 param1,
1348 out[0] = ((0x3e000000 + random_upto(0x0cffffff)) |
1350 out[1] = 0; /* for iszero */
1351 } while (iszero(out)); /* rule out zero */
1354 static void atan2_cases(uint32 *out, uint32 param1,
1364 out[swap ^ 0] = random_upto(0x7FEFFFFF-((expdiff+1)<<20));
1365 out[swap ^ 2] = random_upto(((expdiff+1)<<20)-1) + out[swap ^ 0];
1366 out[1] = random_upto(0xFFFFFFFF);
1367 out[3] = random_upto(0xFFFFFFFF);
1368 out[0] |= random_sign;
1369 out[2] |= random_sign;
1370 } while (iszero(out) || iszero(out+2));/* rule out zero */
1373 static void atan2_cases_float(uint32 *out, uint32 param1,
1383 out[swap ^ 0] = random_upto(0x7F7FFFFF-((expdiff+1)<<23));
1384 out[swap ^ 2] = random_upto(((expdiff+1)<<23)-1) + out[swap ^ 0];
1385 out[0] |= random_sign;
1386 out[2] |= random_sign;
1387 out[1] = out[3] = 0; /* for iszero */
1388 } while (iszero(out) || iszero(out+2));/* rule out zero */
1391 static void pow_cases(uint32 *out, uint32 param1,
1454 out[0] = 0;
1455 out[1] = random_upto((1 << (n-1)) - 1) + (1 << (n-1));
1457 out[0] = 1;
1458 out[1] = random_upto(0xFFFFFFFF);
1460 out[0] = random_upto((1 << (n-33)) - 1) + (1 << (n-33));
1461 out[1] = random_upto(0xFFFFFFFF);
1465 out[1] = -out[1];
1466 out[0] = -out[0];
1467 if (out[1]) out[0]--;
1470 out[0] &= 0xFFFFF;
1471 out[0] |= ((e > 0 ? e : 0) << 20);
1475 out[2] = dmax - random_upto_biased(dmax-pmin, 10);
1478 out[2] = (dmin - random_upto_biased(dmin-pmin, 10)) | 0x80000000;
1480 out[3] = random_upto(0xFFFFFFFF);
1482 static void pow_cases_float(uint32 *out, uint32 param1,
1543 out[0] = random_upto((1 << (n-1)) - 1) + (1 << (n-1));
1544 out[1] = 0;
1547 out[0] = -out[0];
1550 out[0] &= 0x7FFFFF;
1551 out[0] |= ((e > 0 ? e : 0) << 23);
1555 out[2] = dmax - random_upto_biased(dmax-pmin, 10);
1558 out[2] = (dmin - random_upto_biased(dmin-pmin, 10)) | 0x80000000;
1560 out[3] = 0;