/seL4-test-master/projects/musllibc/src/complex/ |
H A D | cexp.c | 37 uint32_t hx, hy, lx, ly; local 48 EXTRACT_WORDS(hx, lx, x); 50 if (((hx & 0x7fffffff) | lx) == 0) 54 if (lx != 0 || (hx & 0x7fffffff) != 0x7ff00000) {
|
H A D | csinh.c | 44 int32_t hx, hy, ix, iy, lx, ly; local 49 EXTRACT_WORDS(hx, lx, x); 87 if ((ix | lx) == 0 && iy >= 0x7ff00000) 96 if (((hx & 0xfffff) | lx) == 0) 123 if (ix >= 0x7ff00000 && ((hx & 0xfffff) | lx) == 0) {
|
H A D | ctanh.c | 72 uint32_t hx, ix, lx; local 77 EXTRACT_WORDS(hx, lx, x); 97 if ((ix & 0xfffff) | lx) /* x is NaN */
|
H A D | ccosh.c | 44 int32_t hx, hy, ix, iy, lx, ly; local 49 EXTRACT_WORDS(hx, lx, x); 87 if ((ix | lx) == 0 && iy >= 0x7ff00000) 97 if (((hx & 0xfffff) | lx) == 0) 122 if (ix >= 0x7ff00000 && ((hx & 0xfffff) | lx) == 0) {
|
/seL4-test-master/projects/musllibc/src/math/ |
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 */ 71 if ((ix|lx) == 0)
|
H A D | jn.c | 43 uint32_t ix, lx; local 47 EXTRACT_WORDS(ix, lx, x); 51 if ((ix | (lx|-lx)>>31) > 0x7ff00000) /* nan */ 71 if ((ix|lx) == 0 || ix == 0x7ff00000) /* if x is 0 or inf */ 217 uint32_t ix, lx, ib; local 221 EXTRACT_WORDS(ix, lx, x); 225 if ((ix | (lx|-lx)>>31) > 0x7ff00000) /* nan */ 227 if (sign && (ix|lx)! [all...] |
H A D | acos.c | 69 uint32_t lx; local 71 GET_LOW_WORD(lx,x); 72 if ((ix-0x3ff00000 | lx) == 0) {
|
H A D | asin.c | 76 uint32_t lx; local 77 GET_LOW_WORD(lx, x); 78 if ((ix-0x3ff00000 | lx) == 0)
|
H A D | hypot.c | 26 double_t hx, lx, hy, ly, z; local 64 sq(&hx, &lx, x); 66 return z*sqrt(ly+lx+hy+hx);
|
H A D | hypotl.c | 29 long double hx, lx, hy, ly, z; local 62 sq(&hx, &lx, x); 64 return z*sqrtl(ly+lx+hy+hx);
|
H A D | pow.c | 98 uint32_t lx,ly; local 100 EXTRACT_WORDS(hx, lx, x); 109 if (hx == 0x3ff00000 && lx == 0) 112 if (ix > 0x7ff00000 || (ix == 0x7ff00000 && lx != 0) || 142 if (((ix-0x3ff00000)|lx) == 0) /* (-1)**+-inf is 1 */ 173 if (lx == 0) {
|
H A D | powl.c | 457 int n, e, sign, lx; local 474 s = frexpl( s, &lx); 475 e = (lx - 1)*n; 478 s = (2.9142135623730950L * s - 0.5 + lx) * nn * LOGE2L;
|
H A D | j0.c | 162 uint32_t ix,lx; local 164 EXTRACT_WORDS(ix, lx, x); 167 if ((ix<<1 | lx) == 0)
|
H A D | j1.c | 155 uint32_t ix,lx; local 157 EXTRACT_WORDS(ix, lx, x); 159 if ((ix<<1 | lx) == 0)
|