Lines Matching refs:mant
4180 int s, uint16_t _exp, uint64_t mant)
4184 tmp = ((uint64_t)s << 63) | ((uint64_t)_exp << 52) | mant;
4191 s, _exp, mant, *(uint64_t *)farg, *(double *)farg);
4225 uint64_t mant;
4242 for (mant = 0x0000000000001ULL; mant < (1ULL << 52);
4244 mant = ((mant + 0x4A6) << 13) + 0x359) {
4245 register_farg(&fargs[i++], s, _exp, mant);
4262 for (mant = 0x0000000000001ULL; mant < (1ULL << 52);
4264 mant = ((mant + 0x4A6) << 29) + 0x359) { // x2
4265 register_farg(&fargs[i++], s, _exp, mant);
4282 mant = 0x0000000000000ULL;
4283 register_farg(&fargs[i++], s, _exp, mant);
4287 mant = 0x0000000000000ULL;
4288 register_farg(&fargs[i++], s, _exp, mant);
4292 mant = 0x0000000000000ULL;
4293 register_farg(&fargs[i++], s, _exp, mant);
4297 mant = 0x0000000000000ULL;
4298 register_farg(&fargs[i++], s, _exp, mant);
4302 mant = 0x7FFFFFFFFFFFFULL;
4303 register_farg(&fargs[i++], s, _exp, mant);
4307 mant = 0x7FFFFFFFFFFFFULL;
4308 register_farg(&fargs[i++], s, _exp, mant);
4312 mant = 0x8000000000000ULL;
4313 register_farg(&fargs[i++], s, _exp, mant);
4317 mant = 0x8000000000000ULL;
4318 register_farg(&fargs[i++], s, _exp, mant);
4438 int s, uint8_t _exp, uint32_t mant)
4443 tmp = ((uint64_t)s << 31) | ((uint64_t)_exp << 23) | mant;
4446 s, _exp, mant, *((uint32_t*)&tmp), *(float*)&tmp);
4465 uint32_t mant;
4480 for (mant = 0x3FFFFF; mant < 0x7FFFFF;
4481 mant = /* random */ ((mant + 0x1A6) << 31) + 0x159) {
4482 mant);
4495 for (mant = 0x0; mant < 0x7FFFFF;
4496 mant = /* random */ ((mant + 0x4A6) << 5) + 0x359) {
4497 register_vfarg(&vfargs[i++], s, (uint8_t)_exp, mant);
4509 mant = 0x000000;
4510 register_vfarg(&vfargs[i++], s, _exp, mant);
4514 mant = 0x000000;
4515 register_vfarg(&vfargs[i++], s, _exp, mant);
4520 mant = 0x000000;
4521 register_vfarg(&vfargs[i++], s, _exp, mant);
4525 mant = 0x000000;
4526 register_vfarg(&vfargs[i++], s, _exp, mant);
4533 mant = 0x7FFFFF;
4534 register_vfarg(&vfargs[i++], s, _exp, mant);
4538 mant = 0x7FFFFF;
4539 register_vfarg(&vfargs[i++], s, _exp, mant);
4545 mant = 0x3FFFFF;
4546 register_vfarg(&vfargs[i++], s, _exp, mant);
4550 mant = 0x3FFFFF;
4551 register_vfarg(&vfargs[i++], s, _exp, mant);
