/seL4-refos-master/libs/libmuslc/src/math/ |
H A D | cbrtf.c | 31 uint32_t hx = u.i & 0x7fffffff; local 33 if (hx >= 0x7f800000) /* cbrt(NaN,INF) is itself */ 37 if (hx < 0x00800000) { /* zero or subnormal? */ 38 if (hx == 0) 41 hx = u.i & 0x7fffffff; 42 hx = hx/3 + B2; 44 hx = hx/3 + B1; 46 u.i |= hx; [all...] |
H A D | expf.c | 34 uint32_t hx; local 36 GET_FLOAT_WORD(hx, x); 37 sign = hx >> 31; /* sign bit of x */ 38 hx &= 0x7fffffff; /* high word of |x| */ 41 if (hx >= 0x42aeac50) { /* if |x| >= -87.33655f or NaN */ 42 if (hx > 0x7f800000) /* NaN */ 44 if (hx >= 0x42b17218 && !sign) { /* x >= 88.722839f */ 52 if (hx >= 0x42cff1b5) /* x <= -103.972084f */ 58 if (hx > 0x3eb17218) { /* if |x| > 0.5 ln2 */ 59 if (hx > [all...] |
H A D | cbrt.c | 37 uint32_t hx = u.i>>32 & 0x7fffffff; local 39 if (hx >= 0x7ff00000) /* cbrt(NaN,INF) is itself */ 57 if (hx < 0x00100000) { /* zero or subnormal? */ 59 hx = u.i>>32 & 0x7fffffff; 60 if (hx == 0) 62 hx = hx/3 + B2; 64 hx = hx/3 + B1; 66 u.i |= (uint64_t)hx << 3 [all...] |
H A D | log.c | 81 uint32_t hx; local 84 hx = u.i>>32; 86 if (hx < 0x00100000 || hx>>31) { 89 if (hx>>31) 95 hx = u.i>>32; 96 } else if (hx >= 0x7ff00000) { 98 } else if (hx == 0x3ff00000 && u.i<<32 == 0) 102 hx += 0x3ff00000 - 0x3fe6a09e; 103 k += (int)(hx>>2 [all...] |
H A D | exp.c | 85 uint32_t hx; local 87 GET_HIGH_WORD(hx, x); 88 sign = hx>>31; 89 hx &= 0x7fffffff; /* high word of |x| */ 92 if (hx >= 0x4086232b) { /* if |x| >= 708.39... */ 109 if (hx > 0x3fd62e42) { /* if |x| > 0.5 ln2 */ 110 if (hx >= 0x3ff0a2b2) /* if |x| >= 1.5 ln2 */ 117 } else if (hx > 0x3e300000) { /* if |x| > 2**-28 */
|
H A D | log10.c | 40 uint32_t hx; local 43 hx = u.i>>32; 45 if (hx < 0x00100000 || hx>>31) { 48 if (hx>>31) 54 hx = u.i>>32; 55 } else if (hx >= 0x7ff00000) { 57 } else if (hx == 0x3ff00000 && u.i<<32 == 0) 61 hx += 0x3ff00000 - 0x3fe6a09e; 62 k += (int)(hx>>2 [all...] |
H A D | log2.c | 38 uint32_t hx; local 41 hx = u.i>>32; 43 if (hx < 0x00100000 || hx>>31) { 46 if (hx>>31) 52 hx = u.i>>32; 53 } else if (hx >= 0x7ff00000) { 55 } else if (hx == 0x3ff00000 && u.i<<32 == 0) 59 hx += 0x3ff00000 - 0x3fe6a09e; 60 k += (int)(hx>>2 [all...] |
H A D | acosf.c | 37 uint32_t hx,ix; local 39 GET_FLOAT_WORD(hx, x); 40 ix = hx & 0x7fffffff; 44 if (hx >> 31) 57 if (hx >> 31) { 66 GET_FLOAT_WORD(hx,s); 67 SET_FLOAT_WORD(df,hx&0xfffff000);
|
H A D | log1p.c | 73 uint32_t hx,hu; local 76 hx = u.i>>32; 78 if (hx < 0x3fda827a || hx>>31) { /* 1+x < sqrt(2)+ */ 79 if (hx >= 0xbff00000) { /* x <= -1.0 */ 84 if (hx<<1 < 0x3ca00000<<1) { /* |x| < 2**-53 */ 86 if ((hx&0x7ff00000) == 0) 90 if (hx <= 0xbfd2bec4) { /* sqrt(2)/2- <= 1+x < sqrt(2)+ */ 95 } else if (hx >= 0x7ff00000)
|
H A D | asinf.c | 39 uint32_t hx,ix; local 41 GET_FLOAT_WORD(hx, x); 42 ix = hx & 0x7fffffff; 58 if (hx >> 31)
|
H A D | expm1f.c | 35 uint32_t hx = u.i & 0x7fffffff; local 39 if (hx >= 0x4195b844) { /* if |x|>=27*ln2 */ 40 if (hx > 0x7f800000) /* NaN */ 51 if (hx > 0x3eb17218) { /* if |x| > 0.5 ln2 */ 52 if (hx < 0x3F851592) { /* and |x| < 1.5 ln2 */ 70 } else if (hx < 0x33000000) { /* when |x|<2**-25, return x */ 71 if (hx < 0x00800000)
|
H A D | acos.c | 63 uint32_t hx,ix; local 65 GET_HIGH_WORD(hx, x); 66 ix = hx & 0x7fffffff; 74 if (hx >> 31) 87 if (hx >> 31) {
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | rect.h | 10 xchar hx, hy; member in struct:nhrect
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | rect.h | 10 xchar hx, hy; member in struct:nhrect
|
/seL4-refos-master/libs/libmuslc/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) { 57 } else if (hx & 0x80000000) { 66 if (hx >= exp_ovfl && hx <= cexp_ovfl) {
|
H A D | cexpf.c | 37 uint32_t hx, hy; local 48 GET_FLOAT_WORD(hx, x); 50 if ((hx & 0x7fffffff) == 0) 54 if ((hx & 0x7fffffff) != 0x7f800000) { 57 } else if (hx & 0x80000000) { 66 if (hx >= exp_ovfl && hx <= cexp_ovfl) {
|
H A D | __cexp.c | 43 uint32_t hx; local 52 GET_HIGH_WORD(hx, exp_x); 53 *expt = (hx >> 20) - (0x3ff + 1023) + k; 54 SET_HIGH_WORD(exp_x, (hx & 0xfffff) | ((0x3ff + 1023) << 20));
|
H A D | __cexpf.c | 42 uint32_t hx; local 45 GET_FLOAT_WORD(hx, exp_x); 46 *expt = (hx >> 23) - (0x7f + 127) + k; 47 SET_FLOAT_WORD(exp_x, (hx & 0x7fffff) | ((0x7f + 127) << 23));
|
H A D | ctanh.c | 72 uint32_t hx, ix, lx; local 77 EXTRACT_WORDS(hx, lx, x); 78 ix = hx & 0x7fffffff; 99 SET_HIGH_WORD(x, hx - 0x40000000); /* x = copysign(1, x) */
|
H A D | ctanhf.c | 37 uint32_t hx, ix; local 42 GET_FLOAT_WORD(hx, x); 43 ix = hx & 0x7fffffff; 48 SET_FLOAT_WORD(x, hx - 0x40000000);
|
H A D | ccoshf.c | 38 int32_t hx, hy, ix, iy; local 43 GET_FLOAT_WORD(hx, x); 46 ix = 0x7fffffff & hx; 75 if ((hx & 0x7fffff) == 0) 83 if (ix >= 0x7f800000 && (hx & 0x7fffff) == 0) {
|
H A D | csinh.c | 44 int32_t hx, hy, ix, iy, lx, ly; local 49 EXTRACT_WORDS(hx, lx, x); 52 ix = 0x7fffffff & hx; 96 if (((hx & 0xfffff) | lx) == 0) 123 if (ix >= 0x7ff00000 && ((hx & 0xfffff) | lx) == 0) {
|
H A D | csinhf.c | 38 int32_t hx, hy, ix, iy; local 43 GET_FLOAT_WORD(hx, x); 46 ix = 0x7fffffff & hx; 75 if ((hx & 0x7fffff) == 0) 83 if (ix >= 0x7f800000 && (hx & 0x7fffff) == 0) {
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | rect.c | 33 rect[0].hx = COLNO - 1; 47 register int lx, ly, hx, hy; local 51 hx = r->hx; hy = r->hy; 54 hx == rectp->hx && hy == rectp->hy) 68 register int lx, ly, hx, hy; local 72 hx = r->hx; hy = r->hy; 75 hx < [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | rect.c | 33 rect[0].hx = COLNO - 1; 47 register int lx, ly, hx, hy; local 51 hx = r->hx; hy = r->hy; 54 hx == rectp->hx && hy == rectp->hy) 68 register int lx, ly, hx, hy; local 72 hx = r->hx; hy = r->hy; 75 hx < [all...] |