Searched refs:ix (Results 1 - 25 of 50) sorted by relevance

12

/seL4-test-master/projects/musllibc/src/math/
H A Dsqrtf.c24 int32_t ix,s,q,m,t,i; local
27 GET_FLOAT_WORD(ix, x);
30 if ((ix&0x7f800000) == 0x7f800000)
34 if (ix <= 0) {
35 if ((ix&~sign) == 0)
37 if (ix < 0)
41 m = ix>>23;
43 for (i = 0; (ix&0x00800000) == 0; i++)
44 ix<<=1;
48 ix
[all...]
H A Dtan.c47 uint32_t ix; local
50 GET_HIGH_WORD(ix, x);
51 ix &= 0x7fffffff;
54 if (ix <= 0x3fe921fb) {
55 if (ix < 0x3e400000) { /* |x| < 2**-27 */
57 FORCE_EVAL(ix < 0x00100000 ? x/0x1p120f : x+0x1p120f);
64 if (ix >= 0x7ff00000)
H A Dtanf.c29 uint32_t ix; local
32 GET_FLOAT_WORD(ix, x);
33 sign = ix >> 31;
34 ix &= 0x7fffffff;
36 if (ix <= 0x3f490fda) { /* |x| ~<= pi/4 */
37 if (ix < 0x39800000) { /* |x| < 2**-12 */
39 FORCE_EVAL(ix < 0x00800000 ? x/0x1p120f : x+0x1p120f);
44 if (ix <= 0x407b53d1) { /* |x| ~<= 5*pi/4 */
45 if (ix <= 0x4016cbe3) /* |x| ~<= 3pi/4 */
50 if (ix <
[all...]
H A Dcos.c48 uint32_t ix; local
51 GET_HIGH_WORD(ix, x);
52 ix &= 0x7fffffff;
55 if (ix <= 0x3fe921fb) {
56 if (ix < 0x3e46a09e) { /* |x| < 2**-27 * sqrt(2) */
65 if (ix >= 0x7ff00000)
H A Dsin.c48 uint32_t ix; local
52 GET_HIGH_WORD(ix, x);
53 ix &= 0x7fffffff;
56 if (ix <= 0x3fe921fb) {
57 if (ix < 0x3e500000) { /* |x| < 2**-26 */
59 FORCE_EVAL(ix < 0x00100000 ? x/0x1p120f : x+0x1p120f);
66 if (ix >= 0x7ff00000)
H A Dlogf.c32 uint32_t ix; local
35 ix = u.i;
37 if (ix < 0x00800000 || ix>>31) { /* x < 2**-126 */
38 if (ix<<1 == 0)
40 if (ix>>31)
46 ix = u.i;
47 } else if (ix >= 0x7f800000) {
49 } else if (ix == 0x3f800000)
53 ix
[all...]
H A Dsinf.c29 uint32_t ix; local
32 GET_FLOAT_WORD(ix, x);
33 sign = ix >> 31;
34 ix &= 0x7fffffff;
36 if (ix <= 0x3f490fda) { /* |x| ~<= pi/4 */
37 if (ix < 0x39800000) { /* |x| < 2**-12 */
39 FORCE_EVAL(ix < 0x00800000 ? x/0x1p120f : x+0x1p120f);
44 if (ix <= 0x407b53d1) { /* |x| ~<= 5*pi/4 */
45 if (ix <= 0x4016cbe3) { /* |x| ~<= 3pi/4 */
53 if (ix <
[all...]
H A Datanf.c44 uint32_t ix,sign; local
47 GET_FLOAT_WORD(ix, x);
48 sign = ix>>31;
49 ix &= 0x7fffffff;
50 if (ix >= 0x4c800000) { /* if |x| >= 2**26 */
56 if (ix < 0x3ee00000) { /* |x| < 0.4375 */
57 if (ix < 0x39800000) { /* |x| < 2**-12 */
58 if (ix < 0x00800000)
66 if (ix < 0x3f980000) { /* |x| < 1.1875 */
67 if (ix <
[all...]
H A Dcosf.c29 uint32_t ix; local
32 GET_FLOAT_WORD(ix, x);
33 sign = ix >> 31;
34 ix &= 0x7fffffff;
36 if (ix <= 0x3f490fda) { /* |x| ~<= pi/4 */
37 if (ix < 0x39800000) { /* |x| < 2**-12 */
44 if (ix <= 0x407b53d1) { /* |x| ~<= 5*pi/4 */
45 if (ix > 0x4016cbe3) /* |x| ~> 3*pi/4 */
54 if (ix <= 0x40e231d5) { /* |x| ~<= 9*pi/4 */
55 if (ix >
[all...]
H A Dasinf.c39 uint32_t hx,ix; local
42 ix = hx & 0x7fffffff;
43 if (ix >= 0x3f800000) { /* |x| >= 1 */
44 if (ix == 0x3f800000) /* |x| == 1 */
48 if (ix < 0x3f000000) { /* |x| < 0.5 */
50 if (ix < 0x39800000 && ix >= 0x00800000)
H A Dsincos.c19 uint32_t ix; local
22 GET_HIGH_WORD(ix, x);
23 ix &= 0x7fffffff;
26 if (ix <= 0x3fe921fb) {
28 if (ix < 0x3e46a09e) {
30 FORCE_EVAL(ix < 0x00100000 ? x/0x1p120f : x+0x1p120f);
41 if (ix >= 0x7ff00000) {
H A Dlog10f.c34 uint32_t ix; local
37 ix = u.i;
39 if (ix < 0x00800000 || ix>>31) { /* x < 2**-126 */
40 if (ix<<1 == 0)
42 if (ix>>31)
48 ix = u.i;
49 } else if (ix >= 0x7f800000) {
51 } else if (ix == 0x3f800000)
55 ix
[all...]
H A Dlog2f.c32 uint32_t ix; local
35 ix = u.i;
37 if (ix < 0x00800000 || ix>>31) { /* x < 2**-126 */
38 if (ix<<1 == 0)
40 if (ix>>31)
46 ix = u.i;
47 } else if (ix >= 0x7f800000) {
49 } else if (ix == 0x3f800000)
53 ix
[all...]
H A Datan2.c49 uint32_t m,lx,ly,ix,iy; local
53 EXTRACT_WORDS(ix, lx, x);
55 if ((ix-0x3ff00000 | lx) == 0) /* x = 1.0 */
57 m = ((iy>>31)&1) | ((ix>>30)&2); /* 2*sign(x)+sign(y) */
58 ix = ix & 0x7fffffff;
71 if ((ix|lx) == 0)
74 if (ix == 0x7ff00000) {
92 if (ix+(64<<20) < iy || iy == 0x7ff00000)
96 if ((m&2) && iy+(64<<20) < ix) /* |
[all...]
H A Dsincosf.c31 uint32_t ix; local
34 GET_FLOAT_WORD(ix, x);
35 sign = ix >> 31;
36 ix &= 0x7fffffff;
39 if (ix <= 0x3f490fda) {
41 if (ix < 0x39800000) {
43 FORCE_EVAL(ix < 0x00100000 ? x/0x1p120f : x+0x1p120f);
54 if (ix <= 0x407b53d1) {
55 if (ix <= 0x4016cbe3) { /* |x| ~<= 3pi/4 */
72 if (ix <
[all...]
H A Datan2f.c25 uint32_t m,ix,iy; local
29 GET_FLOAT_WORD(ix, x);
31 if (ix == 0x3f800000) /* x=1.0 */
33 m = ((iy>>31)&1) | ((ix>>30)&2); /* 2*sign(x)+sign(y) */
34 ix &= 0x7fffffff;
47 if (ix == 0)
50 if (ix == 0x7f800000) {
68 if (ix+(26<<23) < iy || iy == 0x7f800000)
72 if ((m&2) && iy+(26<<23) < ix) /*|y/x| < 0x1p-26, x < 0 */
H A Datan.c66 uint32_t ix,sign; local
69 GET_HIGH_WORD(ix, x);
70 sign = ix >> 31;
71 ix &= 0x7fffffff;
72 if (ix >= 0x44100000) { /* if |x| >= 2^66 */
78 if (ix < 0x3fdc0000) { /* |x| < 0.4375 */
79 if (ix < 0x3e400000) { /* |x| < 2^-27 */
80 if (ix < 0x00100000)
88 if (ix < 0x3ff30000) { /* |x| < 1.1875 */
89 if (ix <
[all...]
H A Dj0.c66 static double common(uint32_t ix, double x, int y0) argument
84 if (ix < 0x7fe00000) {
91 if (ix < 0x48000000) {
114 uint32_t ix; local
116 GET_HIGH_WORD(ix, x);
117 ix &= 0x7fffffff;
120 if (ix >= 0x7ff00000)
124 if (ix >= 0x40000000) { /* |x| >= 2 */
126 return common(ix,x,0);
130 if (ix >
162 uint32_t ix,lx; local
267 uint32_t ix; local
363 uint32_t ix; local
[all...]
H A Dj0f.c25 static float common(uint32_t ix, float x, int y0) argument
37 if (ix < 0x7f000000) {
44 if (ix < 0x58800000) {
67 uint32_t ix; local
69 GET_FLOAT_WORD(ix, x);
70 ix &= 0x7fffffff;
71 if (ix >= 0x7f800000)
75 if (ix >= 0x40000000) { /* |x| >= 2 */
77 return common(ix, x, 0);
79 if (ix >
107 uint32_t ix; local
206 uint32_t ix; local
302 uint32_t ix; local
[all...]
H A Dj1.c65 static double common(uint32_t ix, double x, int y1, int sign) argument
82 if (ix < 0x7fe00000) {
90 if (ix < 0x48000000) {
116 uint32_t ix; local
119 GET_HIGH_WORD(ix, x);
120 sign = ix>>31;
121 ix &= 0x7fffffff;
122 if (ix >= 0x7ff00000)
124 if (ix >= 0x40000000) /* |x| >= 2 */
125 return common(ix, fab
155 uint32_t ix,lx; local
254 uint32_t ix; local
350 uint32_t ix; local
[all...]
H A Dj1f.c25 static float common(uint32_t ix, float x, int y1, int sign) argument
34 if (ix < 0x7f000000) {
41 if (ix < 0x58800000) {
67 uint32_t ix; local
70 GET_FLOAT_WORD(ix, x);
71 sign = ix>>31;
72 ix &= 0x7fffffff;
73 if (ix >= 0x7f800000)
75 if (ix >= 0x40000000) /* |x| >= 2 */
76 return common(ix, fabs
106 uint32_t ix; local
203 uint32_t ix; local
299 uint32_t ix; local
[all...]
H A Dlog1pf.c28 uint32_t ix,iu; local
31 ix = u.i;
33 if (ix < 0x3ed413d0 || ix>>31) { /* 1+x < sqrt(2)+ */
34 if (ix >= 0xbf800000) { /* x <= -1.0 */
39 if (ix<<1 < 0x33800000<<1) { /* |x| < 2**-24 */
41 if ((ix&0x7f800000) == 0)
45 if (ix <= 0xbe95f619) { /* sqrt(2)/2- <= 1+x < sqrt(2)+ */
50 } else if (ix >= 0x7f800000)
/seL4-test-master/projects/musllibc/src/complex/
H A Dccoshf.c38 int32_t hx, hy, ix, iy; local
46 ix = 0x7fffffff & hx;
49 if (ix < 0x7f800000 && iy < 0x7f800000) {
52 if (ix < 0x41100000) /* small x: normal case */
56 if (ix < 0x42b17218) {
60 } else if (ix < 0x4340b1e7) {
71 if (ix == 0 && iy >= 0x7f800000)
74 if (iy == 0 && ix >= 0x7f800000) {
80 if (ix < 0x7f800000 && iy >= 0x7f800000)
83 if (ix >
[all...]
H A Dcsinh.c44 int32_t hx, hy, ix, iy, lx, ly; local
52 ix = 0x7fffffff & hx;
56 if (ix < 0x7ff00000 && iy < 0x7ff00000) {
59 if (ix < 0x40360000) /* small x: normal case */
63 if (ix < 0x40862e42) {
67 } else if (ix < 0x4096bbaa) {
87 if ((ix | lx) == 0 && iy >= 0x7ff00000)
95 if ((iy | ly) == 0 && ix >= 0x7ff00000) {
109 if (ix < 0x7ff00000 && iy >= 0x7ff00000)
123 if (ix >
[all...]
H A Dcsinhf.c38 int32_t hx, hy, ix, iy; local
46 ix = 0x7fffffff & hx;
49 if (ix < 0x7f800000 && iy < 0x7f800000) {
52 if (ix < 0x41100000) /* small x: normal case */
56 if (ix < 0x42b17218) {
60 } else if (ix < 0x4340b1e7) {
71 if (ix == 0 && iy >= 0x7f800000)
74 if (iy == 0 && ix >= 0x7f800000) {
80 if (ix < 0x7f800000 && iy >= 0x7f800000)
83 if (ix >
[all...]

Completed in 46 milliseconds

12