/seL4-camkes-master/projects/musllibc/src/math/ |
H A D | cosl.c | 12 long double y[2], hi, lo; local 26 lo = y[1]; 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 28 lo = y[1]; 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 | exp.c | 21 * Here r will be represented as r = hi-lo for better 83 double_t hi, lo, c, xx, y; local 115 lo = k*ln2lo; 116 x = hi - lo; 120 lo = 0; 130 y = 1 + (x*c/(2-c) - lo + hi);
|
H A D | expf.c | 32 float_t hi, lo, c, xx, y; local 64 lo = k*ln2lo; 65 x = hi - lo; 69 lo = 0; 79 y = 1 + (x*c/(2-c) - lo + hi);
|
H A D | fmodl.c | 62 uint64_t hi, lo, xhi, xlo, yhi, ylo; local 65 xlo = ux.i2.lo; 66 ylo = uy.i2.lo; 69 lo = xlo - ylo; 73 if ((hi|lo) == 0) 75 xhi = 2*hi + (lo>>63); 76 xlo = 2*lo; 83 lo = xlo - ylo; 87 if ((hi|lo) == 0) 90 xlo = lo; [all...] |
H A D | fma.c | 6 static void add(long double *hi, long double *lo, long double x, long double y) argument 13 *lo = y - r; 17 static void mul(long double *hi, long double *lo, long double x, long double y) argument 29 *lo = (xh*yh - *hi) + xh*yl + xl*yh + xl*yl; 33 assume (long double)(hi+lo) == hi 36 static long double adjust(long double hi, long double lo) argument 40 if (lo == 0) 45 ulo.f = lo; 128 lo = dadd(lo1, lo2) 130 dadd(hi, lo) 202 double lo; member in struct:dd [all...] |
H A D | remquol.c | 69 uint64_t hi, lo, xhi, xlo, yhi, ylo; 72 xlo = ux.i2.lo; 73 ylo = ux.i2.lo; 76 lo = xlo - ylo; 80 xhi = 2*hi + (lo>>63); 81 xlo = 2*lo; 90 lo = xlo - ylo; 95 xlo = lo; 103 ux.i2.lo = xlo;
|
H A D | expm1.c | 123 double_t y,hi,lo,c,t,e,hxs,hfx,r1,twopk; local 145 lo = ln2_lo; 149 lo = -ln2_lo; 156 lo = t*ln2_lo; 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 55 lo = ln2_lo; 59 lo = -ln2_lo; 66 lo = t*ln2_lo; 68 x = hi-lo; 69 c = (hi-x)-lo;
|
H A D | fmal.c | 41 #define LASTBIT(u) (u.i.lo & 1) 52 long double lo; member in struct:dd 67 ret.lo = (a - (ret.hi - s)) + (b - s); 88 if (sum.lo != 0) { 91 sum.hi = nextafterl(sum.hi, INFINITY * sum.lo); 113 * bits in sum.lo. With the sticky bit adjusted, the hardware will 119 if (sum.lo != 0) { 123 sum.hi = nextafterl(sum.hi, INFINITY * sum.lo); 152 ret.lo = p - ret.hi + q + la * lb; 243 * (xy.hi, xy.lo) [all...] |
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;
|
H A D | log10f.c | 33 float_t hfsq,f,s,z,R,w,t1,t2,dk,hi,lo; local 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 72 lo = f - hi - hfsq + s*(hfsq+R); 73 return (lo+hi)*ivln2lo + lo*ivln2hi + hi*ivln2hi + k;
|
H A D | nextafterl.c | 56 ux.i.lo = 1; 59 ux.i2.lo++; 60 if (ux.i2.lo == 0) 63 if (ux.i2.lo == 0) 65 ux.i2.lo--;
|
/seL4-camkes-master/projects/musllibc/src/internal/ |
H A D | libm.h | 35 uint64_t lo; member in struct:ldshape::__anon365 41 uint64_t lo; member in struct:ldshape::__anon366 52 uint64_t lo; member in struct:ldshape::__anon367 56 uint64_t lo; member in struct:ldshape::__anon368 77 #define EXTRACT_WORDS(hi,lo,d) \ 82 (lo) = (uint32_t)__u.i; \ 94 #define GET_LOW_WORD(lo,d) \ 98 (lo) = (uint32_t)__u.i; \ 102 #define INSERT_WORDS(d,hi,lo) \ 105 __u.i = ((uint64_t)(hi)<<32) | (uint32_t)(lo); \ [all...] |
/seL4-camkes-master/kernel/include/drivers/timer/ |
H A D | exynos4412-mct.h | 20 uint32_t hi, hi2, lo; local 25 lo = mct->global.cntl; 29 return ((((uint64_t) hi) << 32llu) | (uint64_t) lo);
|
/seL4-camkes-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 69 # lo = hi - xh*yh + xl*yh 79 # fpu stack: 2^hi x lo xh xl yl 80 # lo += xh*yl + xl*yl 92 # fpu stack: 2^hi x lo log2e_lo 93 # lo += log2e_lo*x 94 # return 2^hi + 2^hi (2^lo - 1)
|
/seL4-camkes-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 69 # lo = hi - xh*yh + xl*yh 79 # fpu stack: 2^hi x lo xh xl yl 80 # lo += xh*yl + xl*yl 92 # fpu stack: 2^hi x lo log2e_lo 93 # lo += log2e_lo*x 94 # return 2^hi + 2^hi (2^lo - 1)
|
/seL4-camkes-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 68 # lo = hi - xh*yh + xl*yh 78 # fpu stack: 2^hi x lo xh xl yl 79 # lo += xh*yl + xl*yl 92 # fpu stack: 2^hi x lo log2e_lo 93 # lo += log2e_lo*x 94 # return 2^hi + 2^hi (2^lo - 1)
|
/seL4-camkes-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 68 # lo = hi - xh*yh + xl*yh 78 # fpu stack: 2^hi x lo xh xl yl 79 # lo += xh*yl + xl*yl 92 # fpu stack: 2^hi x lo log2e_lo 93 # lo += log2e_lo*x 94 # return 2^hi + 2^hi (2^lo - 1)
|
/seL4-camkes-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 68 # lo = hi - xh*yh + xl*yh 78 # fpu stack: 2^hi x lo xh xl yl 79 # lo += xh*yl + xl*yl 92 # fpu stack: 2^hi x lo log2e_lo 93 # lo += log2e_lo*x 94 # return 2^hi + 2^hi (2^lo - 1)
|
/seL4-camkes-master/projects/musllibc/src/unistd/mips/ |
H A D | pipe.s | 7 addiu $gp, %lo(_gp_disp)
|
/seL4-camkes-master/projects/musllibc/src/unistd/mips64/ |
H A D | pipe.s | 6 daddiu $3, $3, %lo(%neg(%gp_rel(pipe)))
|
/seL4-camkes-master/projects/musllibc/src/unistd/mipsn32/ |
H A D | pipe.s | 6 addiu $3, $3, %lo(%neg(%gp_rel(pipe)))
|
/seL4-camkes-master/projects/musllibc/src/ldso/mips/ |
H A D | dlsym.s | 7 addiu $gp, %lo(_gp_disp)
|