Lines Matching full:ieee754
2177 /* Given an IEEE754 double, produce an I64 with the same bit
2200 /* Given an IEEE754 float, produce an I32 with the same bit
3594 /* Given an IEEE754 double, produce an I64 with the same bit
4164 /* Given an I64, produce an IEEE754 double with the same
4332 /* Given an I64, produce an IEEE754 DFP with the same
