/seL4-refos-master/libs/libmuslc/src/stdlib/ |
H A D | bsearch.c | 6 int sign; local 9 sign = cmp(key, try); 10 if (!sign) return try; 12 else if (sign < 0)
|
H A D | fcvt.c | 6 char *fcvt(double x, int n, int *dp, int *sign) argument 18 *sign = i; 24 return ecvt(x, n-lz, dp, sign);
|
H A D | ecvt.c | 5 char *ecvt(double x, int n, int *dp, int *sign) argument 13 i = *sign = (tmp[0]=='-');
|
/seL4-refos-master/libs/libmuslc/src/math/ |
H A D | tanf.c | 30 unsigned n, sign; local 33 sign = ix >> 31; 46 return __tandf((sign ? x+t1pio2 : x-t1pio2), 1); 48 return __tandf((sign ? x+t2pio2 : x-t2pio2), 0); 52 return __tandf((sign ? x+t3pio2 : x-t3pio2), 1); 54 return __tandf((sign ? x+t4pio2 : x-t4pio2), 0);
|
H A D | expf.c | 33 int k, sign; local 37 sign = hx >> 31; /* sign bit of x */ 44 if (hx >= 0x42b17218 && !sign) { /* x >= 88.722839f */ 49 if (sign) { 60 k = invln2*x + half[sign]; 62 k = 1 - sign - sign;
|
H A D | sqrt.c | 86 int32_t sign = (int)0x80000000; local 98 if (((ix0&~sign)|ix1) == 0) 120 ix0 += ix0 + ((ix1&sign)>>31); 126 ix0 += ix0 + ((ix1&sign)>>31); 138 ix0 += ix0 + ((ix1&sign)>>31); 143 r = sign; 149 if ((t1&sign) == sign && (s1&sign) == 0) 157 ix0 += ix0 + ((ix1&sign)>>3 [all...] |
H A D | sincosf.c | 32 unsigned n, sign; local 35 sign = ix >> 31; 56 if (sign) { 66 *sin = -__sindf(sign ? x + s2pio2 : x - s2pio2); 67 *cos = -__cosdf(sign ? x + s2pio2 : x - s2pio2); 74 if (sign) { 83 *sin = __sindf(sign ? x + s4pio2 : x - s4pio2); 84 *cos = __cosdf(sign ? x + s4pio2 : x - s4pio2);
|
H A D | cosf.c | 30 unsigned n, sign; local 33 sign = ix >> 31; 46 return -__cosdf(sign ? x+c2pio2 : x-c2pio2); 48 if (sign) 56 return __cosdf(sign ? x+c4pio2 : x-c4pio2); 58 if (sign)
|
H A D | sinf.c | 30 int n, sign; local 33 sign = ix >> 31; 46 if (sign) 51 return __sindf(sign ? -(x + s2pio2) : -(x - s2pio2)); 55 if (sign) 60 return __sindf(sign ? x + s4pio2 : x - s4pio2);
|
H A D | exp.c | 84 int k, sign; local 88 sign = hx>>31; 111 k = (int)(invln2*x + half[sign]); 113 k = 1 - sign - sign;
|
H A D | jnf.c | 22 int nm1, sign, i; local 26 sign = ix>>31; 37 sign ^= 1; 43 sign &= n; /* even n: 0, odd n: signbit(x) */ 159 return sign ? -b : b; 165 int nm1, sign, i; local 169 sign = ix>>31; 173 if (sign && ix != 0) /* x < 0 */ 182 sign = n&1; 185 sign [all...] |
H A D | tanh.c | 11 int sign; local 15 sign = u.i >> 63; 44 return sign ? -t : t;
|
H A D | tanhf.c | 7 int sign; local 11 sign = u.i >> 31; 38 return sign ? -t : t;
|
H A D | atanf.c | 44 uint32_t ix,sign; local 48 sign = ix>>31; 54 return sign ? -z : z; 93 return sign ? -z : z;
|
H A D | tgamma.c | 29 /* sin(pi x) with x > 0x1p-100, if sin(pi*x)==0 the sign is arbitrary */ 114 int sign = u.i>>63; local 127 if (sign) 136 if (sign) { 146 absx = sign ? -x : x; 174 double __lgamma_r(double x, int *sign) 178 *sign = 1; 198 *sign = 1 - 2*!!signbit(x); 205 *sign = 1 - 2*!!signbit(x); 215 *sign [all...] |
H A D | __tan.c | 71 int big, sign; local 76 sign = hx>>31; 77 if (sign) { 99 return sign ? -v : v;
|
H A D | atan.c | 66 uint32_t ix,sign; local 70 sign = ix >> 31; 76 return sign ? -z : z; 115 return sign ? -z : z;
|
H A D | __rem_pio2f.c | 48 int n, sign, e0; local 64 sign = u.i>>31; 69 if (sign) {
|
H A D | jn.c | 44 int nm1, i, sign; local 48 sign = ix>>31; 63 sign ^= 1; 69 sign &= n; /* even n: 0, odd n: signbit(x) */ 211 return sign ? -b : b; 218 int nm1, sign, i; local 222 sign = ix>>31; 227 if (sign && (ix|lx)!=0) /* x < 0 */ 236 sign = n&1; 239 sign [all...] |
H A D | __rem_pio2.c | 54 int sign, n, ex, ey, i; local 56 sign = u.i>>63; 62 if (!sign) { 74 if (!sign) { 91 if (!sign) { 105 if (!sign) { 169 if (sign) {
|
H A D | erf.c | 47 * erf(x) = sign(x) * (c + P1(s)/Q1(s)) 72 * erf(x) = sign(x)*(1.0 - erfc(x)) if x < 6, else 73 * erf(x) = sign(x)*(1.0 - tiny) 96 * erf(x) = sign(x) *(1 - tiny) (raise inexact) 217 int sign; local 220 sign = ix>>31; 224 return 1-2*sign + 1/x; 241 return sign ? -y : y; 248 int sign; local 251 sign [all...] |
H A D | erff.c | 127 int sign; local 130 sign = ix>>31; 134 return 1-2*sign + 1/x; 151 return sign ? -y : y; 158 int sign; local 161 sign = ix>>31; 165 return 2*sign + 1/x; 175 if (sign || ix < 0x3e800000) /* x < 1/4 */ 180 return sign ? 2 - erfc2(ix,x) : erfc2(ix,x); 182 return sign [all...] |
/seL4-refos-master/libs/libmuslc/tools/ |
H A D | add-cfi.common.awk | 19 sign = sub(/^-/, "", str) 25 return sign ? -n : n
|
/seL4-refos-master/libs/libmuslc/src/internal/ |
H A D | floatscan.c | 66 static long double decfloat(FILE *f, int c, int bits, int emin, int sign, int pok) argument 143 if (!x[0]) return sign * 0.0; 147 return sign * (long double)x[0]; 150 return sign * LDBL_MAX * LDBL_MAX; 154 return sign * LDBL_MIN * LDBL_MIN; 171 if (rp == 9) return sign * (long double)x[0]; 172 if (rp < 9) return sign * (long double)x[0] / p10s[8-rp]; 175 return sign * (long double)x[0] * p10s[rp-10]; 266 y *= sign; 287 frac += 0.25*sign; 317 hexfloat(FILE *f, int bits, int emin, int sign, int pok) argument 431 int sign = 1; local [all...] |
/seL4-refos-master/libs/libmuslc/src/locale/ |
H A D | __mo_lookup.c | 25 int sign = strcmp(s, (char *)p + os); local 26 if (!sign) { 34 else if (sign < 0)
|