blob: 6f6fe19270c4eb4a12484c8d985267394f95668e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
/*
* inspired by glibc-2.0.6/sysdeps/libm-ieee754/s_nextafterf.c
*
* gcc -O2 -S -DOP=+ gives faddp %st(1),%st
* gcc -O2 -S -DOP=* gives fmulp %st(1),%st
* gcc -O2 -S -DOP=- gives fsubrp %st(1),%st
* gcc -O2 -S -DOP=/ gives fdivrp %st(1),%st
*/
#ifndef OP
#define OP *
#endif
typedef int int32_t __attribute__ ((__mode__ ( __SI__ ))) ;
typedef unsigned int u_int32_t __attribute__ ((__mode__ ( __SI__ ))) ;
typedef union
{
float value;
u_int32_t word;
} ieee_float_shape_type;
float __nextafterf(float x, float y)
{
int32_t hx,hy,ix,iy;
{
ieee_float_shape_type gf_u;
gf_u.value = x;
hx = gf_u.word;
}
{
ieee_float_shape_type gf_u;
gf_u.value = y;
hy = gf_u.word;
}
ix = hx&0x7fffffff;
iy = hy&0x7fffffff;
if ( ix > 0x7f800000 || iy > 0x7f800000 )
return x+y;
if (x == y) return x;
if (ix == 0)
{
{
ieee_float_shape_type sf_u;
sf_u.word = (hy&0x80000000) | 1;
x = sf_u.value;
}
y = x*x;
if (y == x) return y; else return x;
}
if (hx >= 0)
{
if (hx > hy)
hx -= 1;
else
hx += 1;
}
else
{
if (hy >= 0 || hx > hy)
hx -= 1;
else
hx += 1;
}
hy = hx & 0x7f800000;
if (hy >= 0x7f800000)
return x+x;
if (hy < 0x00800000)
{
y = x OP x;
if (y != x)
{
ieee_float_shape_type sf_u;
sf_u.word = hx;
y = sf_u.value;
return y;
}
}
{
ieee_float_shape_type sf_u;
sf_u.word = hx;
x = sf_u.value;
}
return x;
}
|
