Home
last modified time | relevance | path

Searched refs:MPFR_ASSERTD (Results 1 – 25 of 102) sorted by relevance

12345

/dragonfly/contrib/mpfr/src/
HDrec_sqrt.c166 MPFR_ASSERTD((a[an - 1] & MPFR_LIMB_HIGHBIT) != 0); in mpfr_mpn_rec_sqrt()
171 MPFR_ASSERTD((a + an <= x) || (x + n <= a)); in mpfr_mpn_rec_sqrt()
172 MPFR_ASSERTD(p >= 11); in mpfr_mpn_rec_sqrt()
245 MPFR_ASSERTD(2 * xn <= un); in mpfr_mpn_rec_sqrt()
250 MPFR_ASSERTD(ln == 0); in mpfr_mpn_rec_sqrt()
278 MPFR_ASSERTD(an == 1); in mpfr_mpn_rec_sqrt()
286 MPFR_ASSERTD(rn <= n + 1); in mpfr_mpn_rec_sqrt()
288 MPFR_ASSERTD(an <= rn); in mpfr_mpn_rec_sqrt()
334 MPFR_ASSERTD(tn > 0); in mpfr_mpn_rec_sqrt()
338 MPFR_ASSERTD(tn >= xn); in mpfr_mpn_rec_sqrt()
[all …]
HDsub1sp.c153 MPFR_ASSERTD(MPFR_PREC(a) == MPFR_PREC(b) && MPFR_PREC(b) == MPFR_PREC(c)); in mpfr_sub1sp()
154 MPFR_ASSERTD(MPFR_IS_PURE_FP(b)); in mpfr_sub1sp()
155 MPFR_ASSERTD(MPFR_IS_PURE_FP(c)); in mpfr_sub1sp()
187 MPFR_ASSERTD(bp[k]<cp[k]); in mpfr_sub1sp()
209 MPFR_ASSERTD(bx >= cx); in mpfr_sub1sp()
235 MPFR_ASSERTD(!(ap[0] & MPFR_LIMB_MASK((unsigned int) (-p) in mpfr_sub1sp()
246 MPFR_ASSERTD( k > 0 ); in mpfr_sub1sp()
250 MPFR_ASSERTD(limb != 0); in mpfr_sub1sp()
254 MPFR_ASSERTD(k >= 0); in mpfr_sub1sp()
265 MPFR_ASSERTD(!(ap[len]&MPFR_LIMB_MASK((unsigned int) (-p) in mpfr_sub1sp()
[all …]
HDcmp2.c51 MPFR_ASSERTD (MPFR_IS_PURE_FP(b)); in mpfr_cmp2()
52 MPFR_ASSERTD (MPFR_IS_PURE_FP(c)); in mpfr_cmp2()
90 MPFR_ASSERTD (bn >= 0); in mpfr_cmp2()
104 MPFR_ASSERTD (bn >= 0); in mpfr_cmp2()
105 MPFR_ASSERTD (cn >= 0); in mpfr_cmp2()
106 MPFR_ASSERTD (bp[bn] != cp[cn]); in mpfr_cmp2()
148 MPFR_ASSERTD(dif >= 1); in mpfr_cmp2()
182 MPFR_ASSERTD (res >= 0); in mpfr_cmp2()
HDpow.c41 MPFR_ASSERTD (!MPFR_IS_SINGULAR (y)); in mpfr_pow_is_exact()
42 MPFR_ASSERTD (!MPFR_IS_SINGULAR (x)); in mpfr_pow_is_exact()
43 MPFR_ASSERTD (!mpfr_integer_p (y)); in mpfr_pow_is_exact()
44 MPFR_ASSERTD (mpfr_cmp_si_2exp (x, MPFR_INT_SIGN (x), in mpfr_pow_is_exact()
46 MPFR_ASSERTD (MPFR_IS_POS (x)); in mpfr_pow_is_exact()
59 MPFR_ASSERTD (d < 0); in mpfr_pow_is_exact()
79 MPFR_ASSERTD ((b % 2) == 0); in mpfr_pow_is_exact()
97 MPFR_ASSERTD (res == 0); in mpfr_pow_is_exact()
99 MPFR_ASSERTD (res == 0); in mpfr_pow_is_exact()
120 MPFR_ASSERTD (!MPFR_IS_SINGULAR (y)); in is_odd()
[all …]
HDpow_z.c49 MPFR_ASSERTD (mpz_sgn (z) != 0); in mpfr_pow_pos_z()
81 MPFR_ASSERTD (prec > (mpfr_prec_t) i); in mpfr_pow_pos_z()
86 MPFR_ASSERTD (i >= 2); in mpfr_pow_pos_z()
128 MPFR_ASSERTD (mpfr_cmp_si_2exp (x, MPFR_SIGN (x), in mpfr_pow_pos_z()
206 MPFR_ASSERTD (MPFR_IS_ZERO(x)); in mpfr_pow_z()
237 MPFR_ASSERTD (MPFR_IS_FP (y)); in mpfr_pow_z()
240 MPFR_ASSERTD (MPFR_GET_EXP (y) == 1); in mpfr_pow_z()
301 MPFR_ASSERTD (! MPFR_UNDERFLOW (flags)); in mpfr_pow_z()
336 MPFR_ASSERTD (mpfr_cmp_si_2exp (x, MPFR_SIGN (x), in mpfr_pow_z()
HDatan.c47 MPFR_ASSERTD(mpz_cmp_ui (p, 0) != 0); in mpfr_atan_aux()
59 MPFR_ASSERTD (2 * r > r); in mpfr_atan_aux()
65 MPFR_ASSERTD (r > n); in mpfr_atan_aux()
69 MPFR_ASSERTD (mpz_sgn (p) > 0); in mpfr_atan_aux()
70 MPFR_ASSERTD (m > 0); in mpfr_atan_aux()
108 MPFR_ASSERTD (k > 0); in mpfr_atan_aux()
139 MPFR_ASSERTD (k > 0); in mpfr_atan_aux()
234 MPFR_ASSERTD (MPFR_IS_ZERO (x)); in mpfr_atan()
322 MPFR_ASSERTD (__gmpfr_emax <= 1 - __gmpfr_emin); in mpfr_atan()
371 MPFR_ASSERTD (n0 >= 4); in mpfr_atan()
[all …]
HDadd1.c38 MPFR_ASSERTD(MPFR_IS_PURE_FP(b)); in mpfr_add1()
39 MPFR_ASSERTD(MPFR_IS_PURE_FP(c)); in mpfr_add1()
133 MPFR_ASSERTD(difn - cn <= an); in mpfr_add1()
147 MPFR_ASSERTD(a2p - difn >= ap); in mpfr_add1()
234 MPFR_ASSERTD(fb != 0); in mpfr_add1()
265 MPFR_ASSERTD(bk > 0 && difw >= 0); in mpfr_add1()
400 MPFR_ASSERTD(bk > 0); in mpfr_add1()
440 MPFR_ASSERTD(difw >= 0 && cn >= difw); in mpfr_add1()
454 cc = difs ? (MPFR_ASSERTD(ck < cn), in mpfr_add1()
HDmul.c86 MPFR_ASSERTD(MPFR_IS_ZERO(b) || MPFR_IS_ZERO(c)); in mpfr_mul3()
106 MPFR_ASSERTD(tn <= k); in mpfr_mul3()
109 MPFR_ASSERTD((size_t) k <= ((size_t) -1) / BYTES_PER_MP_LIMB); in mpfr_mul3()
269 MPFR_ASSERTD (MPFR_IS_ZERO(b) || MPFR_IS_ZERO(c)); in mpfr_mul()
301 MPFR_ASSERTD (tn <= k); /* tn <= k, thus no int overflow */ in mpfr_mul()
304 MPFR_ASSERTD ((size_t) k <= ((size_t) -1) / BYTES_PER_MP_LIMB); in mpfr_mul()
318 MPFR_ASSERTD (bn >= cn); in mpfr_mul()
384 MPFR_ASSERTD (bn > 0); in mpfr_mul()
392 MPFR_ASSERTD (cn > 0); in mpfr_mul()
422 MPFR_ASSERTD (n >= 1 && 2*n <= k && n <= cn && n <= bn); in mpfr_mul()
[all …]
HDround_near_x.c162 MPFR_ASSERTD (!MPFR_IS_SINGULAR (v)); in mpfr_round_near_x()
163 MPFR_ASSERTD (dir == 0 || dir == 1); in mpfr_round_near_x()
194 MPFR_ASSERTD (!MPFR_IS_NAN (y) && !MPFR_IS_ZERO (y)); in mpfr_round_near_x()
231 MPFR_ASSERTD(inexact != 0); in mpfr_round_near_x()
HDround_raw_generic.c76 MPFR_ASSERTD(inexp != ((int*) 0)); in mpfr_round_raw_generic()
77 MPFR_ASSERTD(neg == 0 || neg == 1); in mpfr_round_raw_generic()
92 MPFR_ASSERTD(nw >= 1); in mpfr_round_raw_generic()
93 MPFR_ASSERTD(nw >= xsize); in mpfr_round_raw_generic()
118 MPFR_ASSERTD(k >= 0); in mpfr_round_raw_generic()
HDadd1sp.c103 MPFR_ASSERTD(MPFR_PREC(a) == MPFR_PREC(b) && MPFR_PREC(b) == MPFR_PREC(c)); in mpfr_add1sp()
104 MPFR_ASSERTD(MPFR_IS_PURE_FP(b)); in mpfr_add1sp()
105 MPFR_ASSERTD(MPFR_IS_PURE_FP(c)); in mpfr_add1sp()
106 MPFR_ASSERTD(MPFR_GET_EXP(b) >= MPFR_GET_EXP(c)); in mpfr_add1sp()
126 MPFR_ASSERTD(limb != 0); /* There must be a carry */ in mpfr_add1sp()
222 MPFR_ASSERTD(m!=0); in mpfr_add1sp()
229 MPFR_ASSERTD(dm >= 1); in mpfr_add1sp()
291 MPFR_ASSERTD(p >= d); in mpfr_add1sp()
HDasin.c50 MPFR_ASSERTD (MPFR_IS_ZERO (x)); in mpfr_asin()
64 MPFR_ASSERTD (inexact == 0); in mpfr_asin()
95 MPFR_ASSERTD (MPFR_GET_EXP (xp) <= 0); in mpfr_asin()
96 MPFR_ASSERTD (MPFR_GET_EXP (x) <= 0); in mpfr_asin()
HDvasprintf.c537 MPFR_ASSERTD (pos < b->size); in buffer_widen()
547 MPFR_ASSERTD (pos < b->size); in buffer_widen()
548 MPFR_ASSERTD (*b->curr == '\0'); in buffer_widen()
556 MPFR_ASSERTD (len != 0); in buffer_cat()
557 MPFR_ASSERTD (len <= strlen (s)); in buffer_cat()
565 MPFR_ASSERTD (b->curr < b->start + b->size); in buffer_cat()
566 MPFR_ASSERTD (*b->curr == '\0'); in buffer_cat()
573 MPFR_ASSERTD (n != 0); in buffer_pad()
586 MPFR_ASSERTD (b->curr < b->start + b->size); in buffer_pad()
602 MPFR_ASSERTD (size != 0); in buffer_sandwich()
[all …]
HDget_d.c52 MPFR_ASSERTD (MPFR_IS_ZERO(src)); in mpfr_get_d()
101 MPFR_ASSERTD (nbits >= 1); in mpfr_get_d()
104 MPFR_ASSERTD ( np <= MPFR_LIMBS_PER_DOUBLE ); in mpfr_get_d()
150 MPFR_ASSERTD (MPFR_IS_ZERO(src)); in mpfr_get_d_2exp()
HDexp.c58 MPFR_ASSERTD(MPFR_IS_ZERO(x)); in mpfr_exp()
74 MPFR_ASSERTD (inexact == 0); in mpfr_exp()
86 MPFR_ASSERTD (inexact == 0); in mpfr_exp()
88 MPFR_ASSERTD (inexact == 0); in mpfr_exp()
HDtan.c51 MPFR_ASSERTD(MPFR_IS_ZERO(x)); in mpfr_tan()
67 MPFR_ASSERTD (m >= 2); /* needed for the error analysis in algorithms.tex */ in mpfr_tan()
77 MPFR_ASSERTD (!MPFR_IS_SINGULAR (c)); in mpfr_tan()
HDpow_si.c57 MPFR_ASSERTD (MPFR_IS_ZERO (x)); in mpfr_pow_si()
73 MPFR_ASSERTD (n < 0); in mpfr_pow_si()
177 MPFR_ASSERTD (! MPFR_UNDERFLOW (flags)); in mpfr_pow_si()
211 MPFR_ASSERTD (mpfr_cmp_si_2exp (x, MPFR_SIGN (x), in mpfr_pow_si()
HDmulders.c96 MPFR_ASSERTD (k == -1 || k == 0 || (k >= (n+4)/2 && k < n)); in mpfr_mulhigh_n()
127 MPFR_ASSERTD (k == -1 || k == 0 || (2 * k >= n && k < n)); in mpfr_mullow_n()
163 MPFR_ASSERTD (k == -1 || k == 0 || (k >= (n+4)/2 && k < n)); in mpfr_sqrhigh_n()
320 MPFR_ASSERTD ((n+4)/2 <= k && k < n); /* bounds from [1] */ in mpfr_divhigh_n()
376 MPFR_ASSERTD(cc <= 1); in mpfr_divhigh_n()
382 MPFR_ASSERTD(count <= 1); in mpfr_divhigh_n()
450 MPFR_ASSERTD(r < n); in mpfr_divhigh_n()
458 MPFR_ASSERTD(tp[r] == np[n + r - k] || tp[r] + 1 == np[n + r - k]); in mpfr_divhigh_n()
483 MPFR_ASSERTD (count <= 1); in mpfr_divhigh_n()
HDstrtofr.c182 MPFR_ASSERTD (base > 0 && base <= MPFR_MAX_BASE); in digit_value_in_base()
379 MPFR_ASSERTD (pstr->exp_base >= 0); in parse_string()
401 MPFR_ASSERTD (res != 3); in parse_string()
512 MPFR_ASSERTD (pstr_size == (mpfr_exp_t) pstr_size); in parsed_string_to_mpfr()
517 MPFR_ASSERTD (real_ysize <= ysize+1); in parsed_string_to_mpfr()
520 MPFR_ASSERTD (y[real_ysize - 1] != 0); /* mpn_set_str guarantees this */ in parsed_string_to_mpfr()
548 MPFR_ASSERTD (count != 0); in parsed_string_to_mpfr()
564 MPFR_ASSERTD (0 < pow2 && pow2 <= 5); in parsed_string_to_mpfr()
836 MPFR_ASSERTD (res != 3); in mpfr_strtofr()
HDrint.c49 MPFR_ASSERTD(MPFR_IS_ZERO(u)); in mpfr_rint()
130 MPFR_ASSERTD (un >= ui); in mpfr_rint()
148 MPFR_ASSERTD (rp != up && un > rn); in mpfr_rint()
252 MPFR_ASSERTD (uj >= 1); /* see above */ in mpfr_rint()
271 (sh == 0 && (MPFR_ASSERTD (uj >= 1), in mpfr_rint()
285 MPFR_ASSERTD (rnd_away >= 0); /* rounding direction is defined */ in mpfr_rint()
HDadd.c81 MPFR_ASSERTD(MPFR_IS_ZERO(c)); in mpfr_add()
86 MPFR_ASSERTD (MPFR_IS_PURE_FP (b)); in mpfr_add()
87 MPFR_ASSERTD (MPFR_IS_PURE_FP (c)); in mpfr_add()
HDround_p.c74 MPFR_ASSERTD (n >= 0); in mpfr_round_p()
75 MPFR_ASSERTD (bn > k); in mpfr_round_p()
87 MPFR_ASSERTD (s < GMP_NUMB_BITS); in mpfr_round_p()
HDsub.c77 MPFR_ASSERTD (MPFR_IS_ZERO (c)); in mpfr_sub()
82 MPFR_ASSERTD (MPFR_IS_PURE_FP (b)); in mpfr_sub()
83 MPFR_ASSERTD (MPFR_IS_PURE_FP (c)); in mpfr_sub()
HDmul_ui.c58 MPFR_ASSERTD (MPFR_IS_ZERO (x)); in mpfr_mul_ui()
81 MPFR_ASSERTD (xn < MP_SIZE_T_MAX); in mpfr_mul_ui()
92 MPFR_ASSERTD (yp[xn] != 0); in mpfr_mul_ui()
HDexp_2.c46 MPFR_ASSERTD (k == (mpfr_uexp_t) k); in mpz_normalize()
190 MPFR_ASSERTD (MPFR_IS_POS (r)); in mpfr_exp_2()
196 MPFR_ASSERTD (MPFR_IS_PURE_FP (r) && MPFR_EXP (r) < 0); in mpfr_exp_2()
285 MPFR_ASSERTD (expt == *exps); in mpfr_exp2_aux()
323 MPFR_ASSERTD (MPFR_GET_EXP (r) < 0); in mpfr_exp2_aux2()
387 MPFR_ASSERTD (expt == *exps); in mpfr_exp2_aux2()

12345