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

/barrelfish-master/lib/compiler-rt/builtins/x86_64/
H A Dfloatundidf.S22 twop52: label
41 orpd REL_ADDR(twop52), %xmm0 // 0x1p52 + a_lo (no rounding occurs)
/barrelfish-master/lib/compiler-rt/builtins/i386/
H A Dfloatdidf.S14 twop52: label
31 movsd REL_ADDR(twop52), %xmm2 // 0x1.0p52
H A Dfloatundidf.S22 twop52: label
44 orpd REL_ADDR(twop52), %xmm0 // 0x1p52 + a_lo (no rounding occurs)
H A Dfloatundixf.S14 twop52: label
35 orpd REL_ADDR(twop52), %xmm1 // 2^52 + lo (as a double)
H A Dfloatundisf.S59 twop52: label
72 #define TWOp52 twop52-0b(%ecx)
/barrelfish-master/lib/compiler-rt/builtins/
H A Dfloatdidf.c28 static const double twop52 = 4503599627370496.0; // 0x1.0p52 local
34 } low = {.d = twop52};
39 const double result = (high - twop52) + low.d;
H A Dfloatundidf.c28 static const double twop52 = 4503599627370496.0; // 0x1.0p52 local
40 } low = {.d = twop52};

Completed in 38 milliseconds