Searched refs:twop84_plus_twop52 (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/lib/compiler-rt/builtins/x86_64/
H A Dfloatundidf.S26 twop84_plus_twop52: label
43 subsd REL_ADDR(twop84_plus_twop52), %xmm1 // a_hi - 0x1p52 (no rounding occurs)
/barrelfish-master/lib/compiler-rt/builtins/i386/
H A Dfloatundidf.S26 twop84_plus_twop52: label
43 subsd REL_ADDR(twop84_plus_twop52), %xmm1 // a_hi - 0x1p52 (no rounding occurs)
/barrelfish-master/lib/compiler-rt/builtins/
H A Dfloatundidf.c30 static const double twop84_plus_twop52 = local
45 const double result = (high.d - twop84_plus_twop52) + low.d;

Completed in 39 milliseconds