Searched refs:twop52 (Results 1 – 9 of 9) sorted by relevance
13 static const double twop52 = 0x1.0p52; in __floatditf() local15 doublebits low = {.d = twop52}; in __floatditf()18 const double high_addend = (double)((int32_t)(a >> 32)) * twop32 - twop52; in __floatditf()
14 static const double twop52 = 0x1.0p52; in __floatunditf() local19 doublebits low = {.d = twop52}; in __floatunditf()
28 static const double twop52 = 4503599627370496.0; // 0x1.0p52 in __floatdidf() local34 } low = {.d = twop52}; in __floatdidf()39 const double result = (high - twop52) + low.d; in __floatdidf()
28 static const double twop52 = 4503599627370496.0; // 0x1.0p52 in __floatundidf() local40 } low = {.d = twop52}; in __floatundidf()
22 twop52: label41 orpd REL_ADDR(twop52), %xmm0 // 0x1p52 + a_lo (no rounding occurs)
14 twop52: label31 movsd REL_ADDR(twop52), %xmm2 // 0x1.0p52
22 twop52: label44 orpd REL_ADDR(twop52), %xmm0 // 0x1p52 + a_lo (no rounding occurs)
14 twop52: label35 orpd REL_ADDR(twop52), %xmm1 // 2^52 + lo (as a double)
59 twop52: label72 #define TWOp52 twop52-0b(%ecx)