1/* Public domain. */ 2typedef int HItype __attribute__ ((mode (HI))); 3typedef unsigned int UHItype __attribute__ ((mode (HI))); 4typedef float DFtype __attribute__ ((mode (DF))); 5 6extern DFtype __floatunsidf (unsigned long); 7 8DFtype __floatunhidf (UHItype); 9 10DFtype 11__floatunhidf (UHItype u) 12{ 13 return __floatunsidf ((unsigned long)u); 14} 15