]> git.ipfire.org Git - thirdparty/gcc.git/blob - libgcc/floatunsixf.c
[Ada] Use new API when creating a special SPARK heap entity
[thirdparty/gcc.git] / libgcc / floatunsixf.c
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 }