Lines Matching full:ieee754
1368 /* Given an IEEE754 single, produce an I32 with the same bit
2777 /* Given an IEEE754 double, produce an I64 with the same bit
2927 /* Given an I32, produce an IEEE754 float with the same bit
3194 /* Given an I64, produce an IEEE754 double with the same
