mirror of
https://github.com/fluencelabs/musl
synced 2025-05-19 02:31:29 +00:00
old code was correct only if the result was stored (without the excess precision) or musl was compiled with -ffloat-store. now we use STRICT_ASSIGN to work around the issue. (see note 160 in c11 section 6.8.6.4)
38 lines
578 B
C
38 lines
578 B
C
#include "libm.h"
|
|
|
|
float modff(float x, float *iptr)
|
|
{
|
|
union {float x; uint32_t n;} u = {x};
|
|
uint32_t mask;
|
|
int e;
|
|
|
|
e = (int)(u.n>>23 & 0xff) - 0x7f;
|
|
|
|
/* no fractional part */
|
|
if (e >= 23) {
|
|
*iptr = x;
|
|
if (e == 0x80 && u.n<<9 != 0) { /* nan */
|
|
return x;
|
|
}
|
|
u.n &= 0x80000000;
|
|
return u.x;
|
|
}
|
|
/* no integral part */
|
|
if (e < 0) {
|
|
u.n &= 0x80000000;
|
|
*iptr = u.x;
|
|
return x;
|
|
}
|
|
|
|
mask = 0x007fffff>>e;
|
|
if ((u.n & mask) == 0) {
|
|
*iptr = x;
|
|
u.n &= 0x80000000;
|
|
return u.x;
|
|
}
|
|
u.n &= ~mask;
|
|
*iptr = u.x;
|
|
STRICT_ASSIGN(float, x, x - *iptr);
|
|
return x;
|
|
}
|