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