/seL4-test-master/projects/musllibc/src/math/ |
H A D | sqrtf.c | 24 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 D | tan.c | 47 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 D | tanf.c | 29 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 D | cos.c | 48 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 D | sin.c | 48 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 D | logf.c | 32 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 D | sinf.c | 29 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 D | atanf.c | 44 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 D | cosf.c | 29 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 D | asinf.c | 39 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 D | sincos.c | 19 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 D | log10f.c | 34 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 D | log2f.c | 32 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 D | atan2.c | 49 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 D | sincosf.c | 31 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 D | atan2f.c | 25 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 D | atan.c | 66 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 D | j0.c | 66 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 D | j0f.c | 25 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 D | j1.c | 65 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 D | j1f.c | 25 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 D | log1pf.c | 28 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 D | ccoshf.c | 38 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 D | csinh.c | 44 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 D | csinhf.c | 38 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...] |