HomeSort by: relevance | last modified time | path
    Searched refs:MPFR_ASSERTD (Results 1 - 25 of 155) sorted by relevancy

1 2 3 4 5 6 7

  /src/external/lgpl3/mpfr/dist/src/
nbits_ulong.c 35 MPFR_ASSERTD (n > 0);
52 MPFR_ASSERTD (n <= 0xffff);
60 MPFR_ASSERTD (n <= 0xff);
68 MPFR_ASSERTD (n <= 0xf);
76 MPFR_ASSERTD (n <= 3);
83 MPFR_ASSERTD (cnt >= 0);
95 MPFR_ASSERTD (n > 0);
105 MPFR_ASSERTD (n <= 0xffff);
113 MPFR_ASSERTD (n <= 0xff);
121 MPFR_ASSERTD (n <= 0xf)
    [all...]
cmp2.c 58 MPFR_ASSERTD (MPFR_IS_PURE_UBF (b));
59 MPFR_ASSERTD (MPFR_IS_PURE_UBF (c));
119 MPFR_ASSERTD (bn >= 0);
136 MPFR_ASSERTD (bn >= 0);
137 MPFR_ASSERTD (cn >= 0);
138 MPFR_ASSERTD (bp[bn] != cp[cn]);
199 MPFR_ASSERTD (bp[bn] >= cc); /* no borrow out in subtraction below */
201 MPFR_ASSERTD (dif >= 1);
239 MPFR_ASSERTD (diff_exp <= 1); /* see comment before the loop */
252 MPFR_ASSERTD (diff_exp == 1)
    [all...]
sum.c 163 MPFR_ASSERTD (prec >= 1);
166 MPFR_ASSERTD (wq == (mpfr_prec_t) ws * GMP_NUMB_BITS);
170 MPFR_ASSERTD (wq >= logn + prec + 2);
182 MPFR_ASSERTD (maxexp > minexp);
228 MPFR_ASSERTD (maxexp2 >= MPFR_EMIN_MIN);
248 MPFR_ASSERTD (vs > 0); /* see xe <= minexp test above */
251 MPFR_ASSERTD (vd >= 0 && vd < GMP_NUMB_BITS);
256 MPFR_ASSERTD (vs > 0);
264 MPFR_ASSERTD (vs <= ts);
273 MPFR_ASSERTD (vs >= 1)
    [all...]
get_si.c 69 MPFR_ASSERTD (exp >= 1); /* since |x| >= 1 */
72 MPFR_ASSERTD (exp <= GMP_NUMB_BITS);
76 MPFR_ASSERTD (n > 0);
82 MPFR_ASSERTD (n > 0);
get_sj.c 52 MPFR_ASSERTD (r == 0);
79 MPFR_ASSERTD (MPFR_IS_NEG (x) && mpfr_powerof2_raw (x));
86 MPFR_ASSERTD (sh > 0 && sh < GMP_NUMB_BITS);
106 MPFR_ASSERTD (-sh < GMP_NUMB_BITS);
get_ui.c 62 MPFR_ASSERTD (exp >= 1); /* since |x| >= 1 */
65 MPFR_ASSERTD (exp <= GMP_NUMB_BITS);
69 MPFR_ASSERTD (n > 0);
75 MPFR_ASSERTD (n > 0);
inp_str.c 57 MPFR_ASSERTD (str_size < (size_t) -1);
65 MPFR_ASSERTD (str_size < alloc_size);
105 MPFR_ASSERTD (str_size < alloc_size);
117 MPFR_ASSERTD (nread >= 1);
int_ceil_log2.c 42 MPFR_ASSERTD (b >= 0);
pool.c 45 MPFR_ASSERTD (n_alloc <= numberof (mpz_tab));
72 MPFR_ASSERTD (n_alloc <= numberof (mpz_tab));
94 MPFR_ASSERTD (n_alloc >= 0);
112 MPFR_ASSERTD (n_alloc >= 0 && n_alloc <= numberof (mpz_tab));
round_near_x.c 165 MPFR_ASSERTD (!MPFR_IS_SINGULAR (v));
166 MPFR_ASSERTD (dir == 0 || dir == 1);
197 MPFR_ASSERTD (!MPFR_IS_NAN (y) && !MPFR_IS_ZERO (y));
234 MPFR_ASSERTD(inexact != 0);
mpn_exp.c 34 MPFR_ASSERTD (e > 0);
40 MPFR_ASSERTD (e <= 0xffff);
46 MPFR_ASSERTD (e <= 0xff);
52 MPFR_ASSERTD (e <= 0xf);
58 MPFR_ASSERTD (e <= 3);
118 MPFR_ASSERTD (error >= 0);
186 MPFR_ASSERTD (error >= 0);
187 MPFR_ASSERTD (err_s_a2 >= 0);
188 MPFR_ASSERTD (err_s_ab >= 0);
rec_sqrt.c 165 MPFR_ASSERTD((a[an - 1] & MPFR_LIMB_HIGHBIT) != 0);
170 MPFR_ASSERTD((a + an <= x) || (x + n <= a));
171 MPFR_ASSERTD(p >= 11);
206 MPFR_ASSERTD (1024 <= t && t <= 2047);
263 MPFR_ASSERTD(2 * xn <= un);
268 MPFR_ASSERTD(ln == 0);
296 MPFR_ASSERTD(an == 1);
304 MPFR_ASSERTD(rn <= n + 1);
306 MPFR_ASSERTD(an <= rn);
352 MPFR_ASSERTD(tn > 0)
    [all...]
cmpabs.c 52 MPFR_ASSERTD (MPFR_IS_PURE_FP (b));
53 MPFR_ASSERTD (MPFR_IS_PURE_FP (c));
div_2ui.c 63 MPFR_ASSERTD (n <= MPFR_EXP_MAX);
64 MPFR_ASSERTD (n >= 1);
cmp_d.c 37 MPFR_ASSERTD (res == 0);
cmp_ld.c 44 MPFR_ASSERTD (res == 0);
ufloor_log2.c 42 MPFR_ASSERTD (d >= 0);
tan.c 51 MPFR_ASSERTD(MPFR_IS_ZERO(x));
67 MPFR_ASSERTD (m >= 2); /* needed for the error analysis in algorithms.tex */
77 MPFR_ASSERTD (!MPFR_IS_SINGULAR (c));
sqrt.c 65 MPFR_ASSERTD(r1 & MPFR_LIMB_HIGHBIT);
92 MPFR_ASSERTD (((unsigned int) exp_u & 1) == 0);
119 MPFR_ASSERTD(r0 >= MPFR_LIMB_HIGHBIT);
134 MPFR_ASSERTD(rb == 0 || (rb == 1 && sb <= 2 * r0));
143 MPFR_ASSERTD (rb == 0 || sb != 0);
182 MPFR_ASSERTD (rb == 0 || rnd_mode == MPFR_RNDF);
183 MPFR_ASSERTD(exp_r >= __gmpfr_emin);
184 MPFR_ASSERTD(exp_r <= __gmpfr_emax);
199 MPFR_ASSERTD(exp_r >= __gmpfr_emin);
200 MPFR_ASSERTD(exp_r <= __gmpfr_emax)
    [all...]
get_d.c 55 MPFR_ASSERTD (MPFR_IS_ZERO(src));
103 MPFR_ASSERTD (1 <= nbits && nbits < IEEE_DBL_MANT_DIG);
115 MPFR_ASSERTD (nbits <= IEEE_DBL_MANT_DIG);
117 MPFR_ASSERTD ( np <= MPFR_LIMBS_PER_DOUBLE );
161 MPFR_ASSERTD (MPFR_IS_ZERO(src));
set_q.c 39 MPFR_ASSERTD (mpz_sgn (z) != 0);
43 MPFR_ASSERTD (s >= 0);
48 MPFR_ASSERTD (pf >= 1);
137 MPFR_ASSERTD (shift == GMP_NUMB_BITS*sn+cn-cd);
150 MPFR_ASSERTD(cd == 0);
round_raw_generic.c 81 MPFR_ASSERTD (inexp != ((int*) 0));
83 MPFR_ASSERTD (neg == 0 || neg == 1);
86 MPFR_ASSERTD (rnd_mode != MPFR_RNDF);
114 MPFR_ASSERTD(nw >= 1);
115 MPFR_ASSERTD(nw >= xsize);
141 MPFR_ASSERTD(k >= 0);
sinu.c 61 MPFR_ASSERTD (MPFR_IS_ZERO (x));
93 MPFR_ASSERTD (inex == 0);
112 MPFR_ASSERTD(prec >= 2);
175 MPFR_ASSERTD(inexact == 0);
177 MPFR_ASSERTD(inexact == 0);
229 MPFR_ASSERTD (xp == xr);
div.c 80 MPFR_ASSERTD((r1 & MPFR_LIMB_HIGHBIT) == 0);
92 MPFR_ASSERTD (r1 <= 4);
150 MPFR_ASSERTD(h < u0 || (h == u0 && l == MPFR_LIMB_ZERO));
162 MPFR_ASSERTD(h == 0 && l < v0);
211 MPFR_ASSERTD(qx >= __gmpfr_emin);
220 MPFR_ASSERTD(sb != 0);
229 MPFR_ASSERTD(qx >= __gmpfr_emin);
236 MPFR_ASSERTD(qp[0] != 0);
266 MPFR_ASSERTD(MPFR_PREC(q) == GMP_NUMB_BITS);
267 MPFR_ASSERTD(MPFR_PREC(u) <= GMP_NUMB_BITS)
    [all...]
add.c 87 MPFR_ASSERTD (MPFR_IS_PURE_UBF (b));
88 MPFR_ASSERTD (MPFR_IS_PURE_UBF (c));
100 MPFR_ASSERTD (MPFR_IS_PURE_FP (b));
101 MPFR_ASSERTD (MPFR_IS_PURE_FP (c));

Completed in 74 milliseconds

1 2 3 4 5 6 7