4293                                   int s, uint16_t _exp, uint64_t mant)  in register_farg()  argument
4297    tmp = ((uint64_t)s << 63) | ((uint64_t)_exp << 52) | mant;  in register_farg()
4304               s, _exp, mant, *(uint64_t *)farg, *(double *)farg);  in register_farg()
4338    uint64_t mant;  in build_fargs_table()  local
4355                for (mant = 0x0000000000001ULL; mant < (1ULL << 52);  in build_fargs_table()
4357                     mant = ((mant + 0x4A6) << 13) + 0x359) {  in build_fargs_table()
4358                   register_farg(&fargs[i++], s, _exp, mant);  in build_fargs_table()
4375                for (mant = 0x0000000000001ULL; mant < (1ULL << 52);  in build_fargs_table()
4377                     mant = ((mant + 0x4A6) << 29) + 0x359) {  // x2  in build_fargs_table()
4378                   register_farg(&fargs[i++], s, _exp, mant);  in build_fargs_table()
4395    mant = 0x0000000000000ULL;  in build_fargs_table()
4396    register_farg(&fargs[i++], s, _exp, mant);  in build_fargs_table()
4400    mant = 0x0000000000000ULL;  in build_fargs_table()
4401    register_farg(&fargs[i++], s, _exp, mant);  in build_fargs_table()
4405    mant = 0x0000000000000ULL;  in build_fargs_table()
4406    register_farg(&fargs[i++], s, _exp, mant);  in build_fargs_table()
4410    mant = 0x0000000000000ULL;  in build_fargs_table()
4411    register_farg(&fargs[i++], s, _exp, mant);  in build_fargs_table()
4415    mant = 0x7FFFFFFFFFFFFULL;  in build_fargs_table()
4416    register_farg(&fargs[i++], s, _exp, mant);  in build_fargs_table()
4420    mant = 0x7FFFFFFFFFFFFULL;  in build_fargs_table()
4421    register_farg(&fargs[i++], s, _exp, mant);  in build_fargs_table()
4425    mant = 0x8000000000000ULL;  in build_fargs_table()
4426    register_farg(&fargs[i++], s, _exp, mant);  in build_fargs_table()
4430    mant = 0x8000000000000ULL;  in build_fargs_table()
4431    register_farg(&fargs[i++], s, _exp, mant);  in build_fargs_table()
4551                                   int s, uint8_t _exp, uint32_t mant)  in register_vfarg()  argument
4556    tmp = ((uint64_t)s << 31) | ((uint64_t)_exp << 23) | mant;  in register_vfarg()
4559               s, _exp, mant, *((uint32_t*)&tmp), *(float*)&tmp);  in register_vfarg()
4578    uint32_t mant;  in build_vfargs_table()  local
4593          for (mant = 0x3FFFFF; mant < 0x7FFFFF;  in build_vfargs_table()
4594               mant = /* random */ ((mant + 0x1A6) << 31) + 0x159) {  in build_vfargs_table()
4595             register_vfarg(&vfargs[i++], s, (uint8_t)_exp, mant);  in build_vfargs_table()
4608          for (mant = 0x0; mant < 0x7FFFFF;  in build_vfargs_table()
4609               mant = /* random */ ((mant + 0x4A6) << 5) + 0x359) {  in build_vfargs_table()
4610             register_vfarg(&vfargs[i++], s, (uint8_t)_exp, mant);  in build_vfargs_table()
4622    mant = 0x000000;  in build_vfargs_table()
4623    register_vfarg(&vfargs[i++], s, _exp, mant);  in build_vfargs_table()
4627    mant = 0x000000;  in build_vfargs_table()
4628    register_vfarg(&vfargs[i++], s, _exp, mant);  in build_vfargs_table()
4633    mant = 0x000000;  in build_vfargs_table()
4634    register_vfarg(&vfargs[i++], s, _exp, mant);  in build_vfargs_table()
4638    mant = 0x000000;  in build_vfargs_table()
4639    register_vfarg(&vfargs[i++], s, _exp, mant);  in build_vfargs_table()
4646    mant = 0x7FFFFF;  in build_vfargs_table()
4647    register_vfarg(&vfargs[i++], s, _exp, mant);  in build_vfargs_table()
4651    mant = 0x7FFFFF;  in build_vfargs_table()
4652    register_vfarg(&vfargs[i++], s, _exp, mant);  in build_vfargs_table()
4658    mant = 0x3FFFFF;  in build_vfargs_table()
4659    register_vfarg(&vfargs[i++], s, _exp, mant);  in build_vfargs_table()
4663    mant = 0x3FFFFF;  in build_vfargs_table()
4664    register_vfarg(&vfargs[i++], s, _exp, mant);  in build_vfargs_table()