Home
last modified time | relevance | path

Searched refs:twop52 (Results 1 – 9 of 9) sorted by relevance

/external/compiler-rt/lib/builtins/ppc/
Dfloatditf.c13 static const double twop52 = 0x1.0p52; in __floatditf() local
15 doublebits low = { .d = twop52 }; in __floatditf()
18 const double high_addend = (double)((int32_t)(a >> 32))*twop32 - twop52; in __floatditf()
Dfloatunditf.c14 static const double twop52 = 0x1.0p52; in __floatunditf() local
19 doublebits low = { .d = twop52 }; in __floatunditf()
/external/compiler-rt/lib/builtins/
Dfloatdidf.c35 static const double twop52 = 0x1.0p52; in ARM_EABI_FNALIAS() local
38 union { int64_t x; double d; } low = { .d = twop52 }; in ARM_EABI_FNALIAS()
43 const double result = (high - twop52) + low.d; in ARM_EABI_FNALIAS()
Dfloatundidf.c35 static const double twop52 = 0x1.0p52; in ARM_EABI_FNALIAS() local
40 union { uint64_t x; double d; } low = { .d = twop52 }; in ARM_EABI_FNALIAS()
/external/compiler-rt/lib/builtins/x86_64/
Dfloatundidf.S23 twop52: label
42 orpd REL_ADDR(twop52), %xmm0 // 0x1p52 + a_lo (no rounding occurs)
/external/compiler-rt/lib/builtins/i386/
Dfloatdidf.S13 twop52: label
30 movsd REL_ADDR(twop52), %xmm2 // 0x1.0p52
Dfloatundidf.S23 twop52: label
45 orpd REL_ADDR(twop52), %xmm0 // 0x1p52 + a_lo (no rounding occurs)
Dfloatundixf.S13 twop52: label
34 orpd REL_ADDR(twop52), %xmm1 // 2^52 + lo (as a double)
Dfloatundisf.S58 twop52: label
71 #define TWOp52 twop52-0b(%ecx)