Searched refs:hx (Results 1 - 25 of 71) sorted by relevance

123

/seL4-refos-master/libs/libmuslc/src/math/
H A Dcbrtf.c31 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 Dexpf.c34 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 Dcbrt.c37 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 Dlog.c81 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 Dexp.c85 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 Dlog10.c40 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 Dlog2.c38 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 Dacosf.c37 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 Dlog1p.c73 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 Dasinf.c39 uint32_t hx,ix; local
41 GET_FLOAT_WORD(hx, x);
42 ix = hx & 0x7fffffff;
58 if (hx >> 31)
H A Dexpm1f.c35 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 Dacos.c63 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 Drect.h10 xchar hx, hy; member in struct:nhrect
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Drect.h10 xchar hx, hy; member in struct:nhrect
/seL4-refos-master/libs/libmuslc/src/complex/
H A Dcexp.c37 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 Dcexpf.c37 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.c43 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.c42 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 Dctanh.c72 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 Dctanhf.c37 uint32_t hx, ix; local
42 GET_FLOAT_WORD(hx, x);
43 ix = hx & 0x7fffffff;
48 SET_FLOAT_WORD(x, hx - 0x40000000);
H A Dccoshf.c38 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 Dcsinh.c44 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 Dcsinhf.c38 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 Drect.c33 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 Drect.c33 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...]

Completed in 111 milliseconds

123