1165   #define ecb_mod(m,n) ((m) % (n) + ((m) % (n) < 0 ? (n) : 0))  argument
1167   #define ecb_mod(m,n) ((m) < 0 ? ((n) - 1 - ((-1 - (m)) % (n))) : ((m) % (n)))  argument
1203   unsigned int m =  x        & 0x03ff;  in ecb_binary16_to_binary32()  local
1210       if (ecb_expect_true (!m))  in ecb_binary16_to_binary32()
1216           unsigned int s = 10 - ecb_ld32 (m);  in ecb_binary16_to_binary32()
1218           m = (m << s) & 0x3ff; /* mask implicit bit */  in ecb_binary16_to_binary32()
1226   return s | (e << 23) | (m << (23 - 10));  in ecb_binary16_to_binary32()
1235   unsigned int m =   x        & 0x007fffff;  in ecb_binary32_to_binary16()  local
1243       m += 0x00000fff + ((m >> (23 - 10)) & 1);  in ecb_binary32_to_binary16()
1246       if (ecb_expect_false (m >= 0x00800000))  in ecb_binary32_to_binary16()
1248           m >>= 1;  in ecb_binary32_to_binary16()
1252       return s | (e << 10) | (m >> (23 - 10));  in ecb_binary32_to_binary16()
1272       m |= 0x00800000; /* make implicit bit explicit */  in ecb_binary32_to_binary16()
1278         unsigned int even = (m >> bits) & 1;  in ecb_binary32_to_binary16()
1281         m = (m + half + even) >> bits;  in ecb_binary32_to_binary16()
1284       return s | m;  in ecb_binary32_to_binary16()
1288   m >>= 13;  in ecb_binary32_to_binary16()
1290   return s | 0x7c00 | m | !m;  in ecb_binary32_to_binary16()
1355       uint32_t m;  in ecb_float_to_binary32()  local
1363       m = ecb_frexpf (x, &e) * 0x1000000U;  in ecb_float_to_binary32()
1365       r = m & 0x80000000U;  in ecb_float_to_binary32()
1368         m = -m;  in ecb_float_to_binary32()
1372           m &= 0xffffffU;  in ecb_float_to_binary32()
1373           m >>= (-125 - e);  in ecb_float_to_binary32()
1378       r |= m & 0x7fffffU;  in ecb_float_to_binary32()
1425       uint64_t m;  in ecb_double_to_binary64()  local
1433       m = frexp (x, &e) * 0x20000000000000U;  in ecb_double_to_binary64()
1435       r = m & 0x8000000000000000;;  in ecb_double_to_binary64()
1438         m = -m;  in ecb_double_to_binary64()
1442           m &= 0x1fffffffffffffU;  in ecb_double_to_binary64()
1443           m >>= (-1021 - e);  in ecb_double_to_binary64()
1448       r |= m & 0xfffffffffffffU;  in ecb_double_to_binary64()