Lines Matching defs:dmax
1375 uint32 dmin, dmax;
1396 dmax = doubletop(imax, -8);
1403 dmax = 63 - n;
1405 dmax = 62 - n;
1406 dmax = (dmax << 20) + 0x3FF00000;
1407 dmin = dmax;
1432 out[2] = dmax - random_upto_biased(dmax-pmin, 10);
1465 uint32 dmin, dmax;
1486 dmax = floatval(imax, -8);
1493 dmax = 31 - n;
1495 dmax = 30 - n;
1496 dmax = (dmax << 23) + 0x3F800000;
1497 dmin = dmax;
1512 out[2] = dmax - random_upto_biased(dmax-pmin, 10);