1201   unsigned int s = (x & 0x8000) << (31 - 15);  in ecb_binary16_to_binary32()  local
1216           unsigned int s = 10 - ecb_ld32 (m);  in ecb_binary16_to_binary32()  local
1218           m = (m << s) & 0x3ff; /* mask implicit bit */  in ecb_binary16_to_binary32()
1219           e -= s - 1;  in ecb_binary16_to_binary32()
1226   return s | (e << 23) | (m << (23 - 10));  in ecb_binary16_to_binary32()
1233   unsigned int s =  (x >> 16) & 0x00008000; /* sign bit, the easy part */  in ecb_binary32_to_binary16()  local
1252       return s | (e << 10) | (m >> (23 - 10));  in ecb_binary32_to_binary16()
1257     return s | 0x7c00;  in ecb_binary32_to_binary16()
1264         return s;  in ecb_binary32_to_binary16()
1270         return s;  in ecb_binary32_to_binary16()
1284       return s | m;  in ecb_binary32_to_binary16()
1290   return s | 0x7c00 | m | !m;  in ecb_binary32_to_binary16()
1975   ev_free (stem ## s idx); stem ## cnt idx = stem ## max idx = 0; stem ## s idx = 0