1/* Public domain. */ 2typedef int SItype __attribute__ ((mode (SI))); 3typedef unsigned int USItype __attribute__ ((mode (SI))); 4typedef float XFtype __attribute__ ((mode (XF))); 5 6XFtype 7__floatunsixf (USItype u) 8{ 9 SItype s = (SItype) u; 10 XFtype r = (XFtype) s; 11 if (s < 0) 12 r += (XFtype)2.0 * (XFtype) ((USItype) 1 13 << (sizeof (USItype) * __CHAR_BIT__ - 1)); 14 return r; 15} 16