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

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

Completed in 73 milliseconds