1  /* Public domain.  */
       2  typedef int SItype __attribute__ ((mode (SI)));
       3  typedef unsigned int USItype __attribute__ ((mode (SI)));
       4  typedef float XFtype __attribute__ ((mode (XF)));
       5  
       6  XFtype
       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  }