Searched refs:twop32 (Results 1 – 3 of 3) sorted by relevance
12 static const double twop32 = 0x1.0p32; in __floatditf() local18 const double high_addend = (double)((int32_t)(a >> 32))*twop32 - twop52; in __floatditf()
17 twop32: label29 mulsd REL_ADDR(twop32), %xmm1 // a_hi as a double (without rounding)
36 static const double twop32 = 0x1.0p32; in ARM_EABI_FNALIAS() local40 const double high = (int32_t)(a >> 32) * twop32; in ARM_EABI_FNALIAS()