/seL4-test-master/projects/musllibc/src/math/ |
H A D | cosl.c | 12 long double y[2], hi, lo; local 25 hi = y[0]; 29 return __cosl(hi, lo); 31 return -__sinl(hi, lo, 1); 33 return -__cosl(hi, lo); 36 return __sinl(hi, lo, 1);
|
H A D | sinl.c | 13 long double y[2], hi, lo; local 27 hi = y[0]; 31 return __sinl(hi, lo, 1); 33 return __cosl(hi, lo); 35 return -__sinl(hi, lo, 1); 38 return -__cosl(hi, lo);
|
H A D | fma.c | 6 static void add(long double *hi, long double *lo, long double x, long double y) argument 11 *hi = r; 17 static void mul(long double *hi, long double *lo, long double x, long double y) argument 28 *hi = x*y; 29 *lo = (xh*yh - *hi) + xh*yl + xl*yh + xl*yl; 33 assume (long double)(hi+lo) == hi 34 return an adjusted hi so that rounding it to double (or less) precision is correct 36 static long double adjust(long double hi, long double lo) argument 41 return hi; 83 long double hi, lo1, lo2, xy; local 201 double hi; member in struct:dd [all...] |
H A D | fmodl.c | 62 uint64_t hi, lo, xhi, xlo, yhi, ylo; local 63 xhi = (ux.i2.hi & -1ULL>>16) | 1ULL<<48; 64 yhi = (uy.i2.hi & -1ULL>>16) | 1ULL<<48; 68 hi = xhi - yhi; 71 hi -= 1; 72 if (hi >> 63 == 0) { 73 if ((hi|lo) == 0) 75 xhi = 2*hi + (lo>>63); 82 hi = xhi - yhi; 85 hi [all...] |
H A D | log10f.c | 33 float_t hfsq,f,s,z,R,w,t1,t2,dk,hi,lo; local 70 hi = f - hfsq; 71 u.f = hi; 73 hi = u.f; 74 lo = f - hi - hfsq + s*(hfsq+R); 76 return dk*log10_2lo + (lo+hi)*ivln10lo + lo*ivln10hi + hi*ivln10hi + dk*log10_2hi;
|
H A D | log2f.c | 31 float_t hfsq,f,s,z,R,w,t1,t2,hi,lo; local 68 hi = f - hfsq; 69 u.f = hi; 71 hi = u.f; 72 lo = f - hi - hfsq + s*(hfsq+R); 73 return (lo+hi)*ivln2lo + lo*ivln2hi + hi*ivln2hi + k;
|
H A D | fmal.c | 47 * of a long double. We maintain the invariant that "hi" stores the high-order 51 long double hi; member in struct:dd 65 ret.hi = a + b; 66 s = ret.hi - a; 67 ret.lo = (a - (ret.hi - s)) + (b - s); 89 u.f = sum.hi; 91 sum.hi = nextafterl(sum.hi, INFINITY * sum.lo); 93 return (sum.hi); 112 * lowest bit of sum.hi t [all...] |
H A D | exp.c | 21 * Here r will be represented as r = hi-lo for better 83 double_t hi, lo, c, xx, y; local 114 hi = x - k*ln2hi; /* k*ln2hi is exact here */ 116 x = hi - lo; 119 hi = x; 130 y = 1 + (x*c/(2-c) - lo + hi);
|
H A D | expf.c | 32 float_t hi, lo, c, xx, y; local 63 hi = x - k*ln2hi; /* k*ln2hi is exact here */ 65 x = hi - lo; 68 hi = x; 79 y = 1 + (x*c/(2-c) - lo + hi);
|
H A D | remquol.c | 69 uint64_t hi, lo, xhi, xlo, yhi, ylo; 70 xhi = (ux.i2.hi & -1ULL>>16) | 1ULL<<48; 71 yhi = (uy.i2.hi & -1ULL>>16) | 1ULL<<48; 75 hi = xhi - yhi; 78 hi -= 1; 79 if (hi >> 63 == 0) { 80 xhi = 2*hi + (lo>>63); 89 hi = xhi - yhi; 92 hi -= 1; 93 if (hi >> 6 [all...] |
H A D | log10.c | 39 double_t hfsq,f,s,z,R,w,t1,t2,dk,y,hi,lo,val_hi,val_lo; local 77 /* hi+lo = f - hfsq + s*(hfsq+R) ~ log(1+f) */ 78 hi = f - hfsq; 79 u.f = hi; 81 hi = u.f; 82 lo = f - hi - hfsq + s*(hfsq+R); 85 val_hi = hi*ivln10hi; 88 val_lo = dk*log10_2lo + (lo+hi)*ivln10lo + lo*ivln10hi;
|
H A D | log2.c | 37 double_t hfsq,f,s,z,R,w,t1,t2,y,hi,lo,val_hi,val_lo; local 83 * theorem for spitting f-hfsq as hi+lo, unless double_t was used 105 /* hi+lo = f - hfsq + s*(hfsq+R) ~ log(1+f) */ 106 hi = f - hfsq; 107 u.f = hi; 109 hi = u.f; 110 lo = f - hi - hfsq + s*(hfsq+R); 112 val_hi = hi*ivln2hi; 113 val_lo = (lo+hi)*ivln2lo + lo*ivln2hi;
|
H A D | expm1.c | 123 double_t y,hi,lo,c,t,e,hxs,hfx,r1,twopk; local 144 hi = x - ln2_hi; 148 hi = x + ln2_hi; 155 hi = x - t*ln2_hi; /* t*ln2_hi is exact here */ 158 x = hi-lo; 159 c = (hi-x)-lo;
|
H A D | expm1f.c | 33 float_t y,hi,lo,c,t,e,hxs,hfx,r1,twopk; local 54 hi = x - ln2_hi; 58 hi = x + ln2_hi; 65 hi = x - t*ln2_hi; /* t*ln2_hi is exact here */ 68 x = hi-lo; 69 c = (hi-x)-lo;
|
H A D | __fpclassifyl.c | 29 return u.i2.lo | u.i2.hi ? FP_SUBNORMAL : FP_ZERO; 31 return u.i2.lo | u.i2.hi ? FP_NAN : FP_INFINITE;
|
/seL4-test-master/projects/musllibc/src/math/i386/ |
H A D | expl.s | 1 # exp(x) = 2^hi + 2^hi (2^lo - 1) 2 # where hi+lo = log2e*x with 128bit precision 33 # hi = log2e_hi*x 34 # 2^hi = exp2l(hi) 42 # if 2^hi == inf return 2^hi 49 # fpu stack: 2^hi x hi [all...] |
/seL4-test-master/projects/musllibc/src/math/i386_sel4/ |
H A D | expl.s | 1 # exp(x) = 2^hi + 2^hi (2^lo - 1) 2 # where hi+lo = log2e*x with 128bit precision 33 # hi = log2e_hi*x 34 # 2^hi = exp2l(hi) 42 # if 2^hi == inf return 2^hi 49 # fpu stack: 2^hi x hi [all...] |
/seL4-test-master/projects/musllibc/src/math/x32/ |
H A D | expl.s | 1 # exp(x) = 2^hi + 2^hi (2^lo - 1) 2 # where hi+lo = log2e*x with 128bit precision 33 # hi = log2e_hi*x 34 # 2^hi = exp2l(hi) 41 # if 2^hi == inf return 2^hi 48 # fpu stack: 2^hi x hi [all...] |
/seL4-test-master/projects/musllibc/src/math/x86_64/ |
H A D | expl.s | 1 # exp(x) = 2^hi + 2^hi (2^lo - 1) 2 # where hi+lo = log2e*x with 128bit precision 33 # hi = log2e_hi*x 34 # 2^hi = exp2l(hi) 41 # if 2^hi == inf return 2^hi 48 # fpu stack: 2^hi x hi [all...] |
/seL4-test-master/projects/musllibc/src/math/x86_64_sel4/ |
H A D | expl.s | 1 # exp(x) = 2^hi + 2^hi (2^lo - 1) 2 # where hi+lo = log2e*x with 128bit precision 33 # hi = log2e_hi*x 34 # 2^hi = exp2l(hi) 41 # if 2^hi == inf return 2^hi 48 # fpu stack: 2^hi x hi [all...] |
/seL4-test-master/kernel/include/drivers/timer/ |
H A D | exynos4412-mct.h | 20 uint32_t hi, hi2, lo; local 24 hi = hi2; 27 } while (hi != hi2); 29 return ((((uint64_t) hi) << 32llu) | (uint64_t) lo);
|
/seL4-test-master/projects/musllibc/src/internal/ |
H A D | libm.h | 42 uint64_t hi; member in struct:ldshape::__anon306 55 uint64_t hi; member in struct:ldshape::__anon308 77 #define EXTRACT_WORDS(hi,lo,d) \ 81 (hi) = __u.i >> 32; \ 86 #define GET_HIGH_WORD(hi,d) \ 90 (hi) = __u.i >> 32; \ 102 #define INSERT_WORDS(d,hi,lo) \ 105 __u.i = ((uint64_t)(hi)<<32) | (uint32_t)(lo); \ 110 #define SET_HIGH_WORD(d,hi) \ 115 __u.i |= (uint64_t)(hi) << 3 [all...] |
/seL4-test-master/projects/musllibc/src/unistd/mips/ |
H A D | pipe.s | 6 lui $gp, %hi(_gp_disp)
|
/seL4-test-master/projects/musllibc/src/unistd/mips64/ |
H A D | pipe.s | 5 lui $3, %hi(%neg(%gp_rel(pipe)))
|
/seL4-test-master/projects/musllibc/src/unistd/mipsn32/ |
H A D | pipe.s | 5 lui $3, %hi(%neg(%gp_rel(pipe)))
|