Lines Matching refs:mant

4197                                   int s, uint16_t _exp, uint64_t mant)
4201    tmp = ((uint64_t)s << 63) | ((uint64_t)_exp << 52) | mant;
4208               s, _exp, mant, *(uint64_t *)farg, *(double *)farg);
4242    uint64_t mant;
4259                for (mant = 0x0000000000001ULL; mant < (1ULL << 52);
4261                     mant = ((mant + 0x4A6) << 13) + 0x359) {
4262                   register_farg(&fargs[i++], s, _exp, mant);
4279                for (mant = 0x0000000000001ULL; mant < (1ULL << 52);
4281                     mant = ((mant + 0x4A6) << 29) + 0x359) {  // x2
4282                   register_farg(&fargs[i++], s, _exp, mant);
4299    mant = 0x0000000000000ULL;
4300    register_farg(&fargs[i++], s, _exp, mant);
4304    mant = 0x0000000000000ULL;
4305    register_farg(&fargs[i++], s, _exp, mant);
4309    mant = 0x0000000000000ULL;
4310    register_farg(&fargs[i++], s, _exp, mant);
4314    mant = 0x0000000000000ULL;
4315    register_farg(&fargs[i++], s, _exp, mant);
4319    mant = 0x7FFFFFFFFFFFFULL;
4320    register_farg(&fargs[i++], s, _exp, mant);
4324    mant = 0x7FFFFFFFFFFFFULL;
4325    register_farg(&fargs[i++], s, _exp, mant);
4329    mant = 0x8000000000000ULL;
4330    register_farg(&fargs[i++], s, _exp, mant);
4334    mant = 0x8000000000000ULL;
4335    register_farg(&fargs[i++], s, _exp, mant);
4455                                   int s, uint8_t _exp, uint32_t mant)
4460    tmp = ((uint64_t)s << 31) | ((uint64_t)_exp << 23) | mant;
4463               s, _exp, mant, *((uint32_t*)&tmp), *(float*)&tmp);
4482    uint32_t mant;
4497          for (mant = 0x3FFFFF; mant < 0x7FFFFF;
4498               mant = /* random */ ((mant + 0x1A6) << 31) + 0x159) {
4499             register_vfarg(&vfargs[i++], s, (uint8_t)_exp, mant);
4512          for (mant = 0x0; mant < 0x7FFFFF;
4513               mant = /* random */ ((mant + 0x4A6) << 5) + 0x359) {
4514             register_vfarg(&vfargs[i++], s, (uint8_t)_exp, mant);
4526    mant = 0x000000;
4527    register_vfarg(&vfargs[i++], s, _exp, mant);
4531    mant = 0x000000;
4532    register_vfarg(&vfargs[i++], s, _exp, mant);
4537    mant = 0x000000;
4538    register_vfarg(&vfargs[i++], s, _exp, mant);
4542    mant = 0x000000;
4543    register_vfarg(&vfargs[i++], s, _exp, mant);
4550    mant = 0x7FFFFF;
4551    register_vfarg(&vfargs[i++], s, _exp, mant);
4555    mant = 0x7FFFFF;
4556    register_vfarg(&vfargs[i++], s, _exp, mant);
4562    mant = 0x3FFFFF;
4563    register_vfarg(&vfargs[i++], s, _exp, mant);
4567    mant = 0x3FFFFF;
4568    register_vfarg(&vfargs[i++], s, _exp, mant);