1202   int          e = (x >> 10) & 0x001f;  in ecb_binary16_to_binary32()  local
1205   if (ecb_expect_false (e == 31))  in ecb_binary16_to_binary32()
1207     e = 255 - (127 - 15);  in ecb_binary16_to_binary32()
1208   else if (ecb_expect_false (!e))  in ecb_binary16_to_binary32()
1212         e = 0 - (127 - 15);  in ecb_binary16_to_binary32()
1219           e -= s - 1;  in ecb_binary16_to_binary32()
1224   e += 127 - 15;  in ecb_binary16_to_binary32()
1226   return s | (e << 23) | (m << (23 - 10));  in ecb_binary16_to_binary32()
1234   unsigned int e = ((x >> 23) & 0x000000ff) - (127 - 15); /* the desired exponent */  in ecb_binary32_to_binary16()  local
1249           e +=  1;  in ecb_binary32_to_binary16()
1252       return s | (e << 10) | (m >> (23 - 10));  in ecb_binary32_to_binary16()
1269       if (e < (14 - 24)) /* might not be sharp, but is good enough */  in ecb_binary32_to_binary16()
1276         unsigned int bits = 14 - e;  in ecb_binary32_to_binary16()
1337     #define ecb_ldexpf(x,e) ldexpf ((x), (e))  argument
1338     #define ecb_frexpf(x,e) frexpf ((x), (e))  argument
1340     #define ecb_ldexpf(x,e) (float) ldexp ((double) (x), (e))  argument
1341     #define ecb_frexpf(x,e) (float) frexp ((double) (x), (e))  argument
1356       int e;  in ecb_float_to_binary32()  local
1363       m = ecb_frexpf (x, &e) * 0x1000000U;  in ecb_float_to_binary32()
1370       if (e <= -126)  in ecb_float_to_binary32()
1373           m >>= (-125 - e);  in ecb_float_to_binary32()
1374           e = -126;  in ecb_float_to_binary32()
1377       r |= (e + 126) << 23;  in ecb_float_to_binary32()
1396       int e = (x >> 23) & 0xffU;  in ecb_binary32_to_float()  local
1400       if (e)  in ecb_binary32_to_float()
1403         e = 1;  in ecb_binary32_to_float()
1406       r = ecb_ldexpf (x * (0.5f / 0x800000U), e - 126);  in ecb_binary32_to_float()
1426       int e;  in ecb_double_to_binary64()  local
1433       m = frexp (x, &e) * 0x20000000000000U;  in ecb_double_to_binary64()
1440       if (e <= -1022)  in ecb_double_to_binary64()
1443           m >>= (-1021 - e);  in ecb_double_to_binary64()
1444           e = -1022;  in ecb_double_to_binary64()
1447       r |= ((uint64_t)(e + 1022)) << 52;  in ecb_double_to_binary64()
1466       int e = (x >> 52) & 0x7ffU;  in ecb_binary64_to_double()  local
1470       if (e)  in ecb_binary64_to_double()
1473         e = 1;  in ecb_binary64_to_double()
1476       r = ldexp (x * (0.5 / 0x10000000000000U), e - 1022);  in ecb_binary64_to_double()