Searched refs:twop32 (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/lib/compiler-rt/builtins/i386/
H A Dfloatdidf.S18 twop32: label
30 mulsd REL_ADDR(twop32), %xmm1 // a_hi as a double (without rounding)
/barrelfish-master/lib/compiler-rt/builtins/
H A Dfloatdidf.c29 static const double twop32 = 4294967296.0; // 0x1.0p32 local
36 const double high = (int32_t)(a >> 32) * twop32;

Completed in 80 milliseconds