HomeSort by: relevance | last modified time | path
    Searched defs:twop52 (Results 1 - 9 of 9) sorted by relevancy

  /src/sys/external/bsd/compiler_rt/dist/lib/builtins/i386/
floatdidf.S 13 twop52: label
30 movsd REL_ADDR(twop52), %xmm2 // 0x1.0p52
floatundidf.S 23 twop52: label
45 orpd REL_ADDR(twop52), %xmm0 // 0x1p52 + a_lo (no rounding occurs)
floatundixf.S 13 twop52: label
34 orpd REL_ADDR(twop52), %xmm1 // 2^52 + lo (as a double)
floatundisf.S 58 twop52: label
71 #define TWOp52 twop52-0b(%ecx)
92 movsd TWOp52, %xmm2 // 0x1.0p52
  /src/sys/external/bsd/compiler_rt/dist/lib/builtins/x86_64/
floatundidf.S 23 twop52: label
42 orpd REL_ADDR(twop52), %xmm0 // 0x1p52 + a_lo (no rounding occurs)
  /src/sys/external/bsd/compiler_rt/dist/lib/builtins/ppc/
floatditf.c 13 static const double twop52 = 0x1.0p52; local in function:__floatditf
15 doublebits low = { .d = twop52 };
18 const double high_addend = (double)((int32_t)(a >> 32))*twop32 - twop52;
floatunditf.c 14 static const double twop52 = 0x1.0p52; local in function:__floatunditf
19 doublebits low = { .d = twop52 };
  /src/sys/external/bsd/compiler_rt/dist/lib/builtins/
floatdidf.c 33 static const double twop52 = 4503599627370496.0; // 0x1.0p52 local in function:__floatdidf
36 union { int64_t x; double d; } low = { .d = twop52 };
41 const double result = (high - twop52) + low.d;
floatundidf.c 33 static const double twop52 = 4503599627370496.0; // 0x1.0p52 local in function:__floatundidf
38 union { uint64_t x; double d; } low = { .d = twop52 };

Completed in 13 milliseconds