Home
last modified time | relevance | path

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

1234567

/netbsd/src/external/lgpl3/mpfr/dist/src/
Dsum.c163 MPFR_ASSERTD (prec >= 1); in sum_raw()
166 MPFR_ASSERTD (wq == (mpfr_prec_t) ws * GMP_NUMB_BITS); in sum_raw()
170 MPFR_ASSERTD (wq >= logn + prec + 2); in sum_raw()
182 MPFR_ASSERTD (maxexp > minexp); in sum_raw()
228 MPFR_ASSERTD (maxexp2 >= MPFR_EMIN_MIN); in sum_raw()
248 MPFR_ASSERTD (vs > 0); /* see xe <= minexp test above */ in sum_raw()
251 MPFR_ASSERTD (vd >= 0 && vd < GMP_NUMB_BITS); in sum_raw()
256 MPFR_ASSERTD (vs > 0); in sum_raw()
264 MPFR_ASSERTD (vs <= ts); in sum_raw()
273 MPFR_ASSERTD (vs >= 1); in sum_raw()
[all …]
Dnbits_ulong.c35 MPFR_ASSERTD (n > 0); in mpfr_nbits_ulong()
52 MPFR_ASSERTD (n <= 0xffff); in mpfr_nbits_ulong()
60 MPFR_ASSERTD (n <= 0xff); in mpfr_nbits_ulong()
68 MPFR_ASSERTD (n <= 0xf); in mpfr_nbits_ulong()
76 MPFR_ASSERTD (n <= 3); in mpfr_nbits_ulong()
83 MPFR_ASSERTD (cnt >= 0); in mpfr_nbits_ulong()
95 MPFR_ASSERTD (n > 0); in mpfr_nbits_uj()
105 MPFR_ASSERTD (n <= 0xffff); in mpfr_nbits_uj()
113 MPFR_ASSERTD (n <= 0xff); in mpfr_nbits_uj()
121 MPFR_ASSERTD (n <= 0xf); in mpfr_nbits_uj()
[all …]
Dcmp2.c58 MPFR_ASSERTD (MPFR_IS_PURE_UBF (b)); in mpfr_cmp2()
59 MPFR_ASSERTD (MPFR_IS_PURE_UBF (c)); in mpfr_cmp2()
119 MPFR_ASSERTD (bn >= 0); in mpfr_cmp2()
136 MPFR_ASSERTD (bn >= 0); in mpfr_cmp2()
137 MPFR_ASSERTD (cn >= 0); in mpfr_cmp2()
138 MPFR_ASSERTD (bp[bn] != cp[cn]); in mpfr_cmp2()
199 MPFR_ASSERTD (bp[bn] >= cc); /* no borrow out in subtraction below */ in mpfr_cmp2()
201 MPFR_ASSERTD (dif >= 1); in mpfr_cmp2()
239 MPFR_ASSERTD (diff_exp <= 1); /* see comment before the loop */ in mpfr_cmp2()
252 MPFR_ASSERTD (diff_exp == 1); in mpfr_cmp2()
[all …]
Dsqrt.c65 MPFR_ASSERTD(r1 & MPFR_LIMB_HIGHBIT); in mpfr_sqrt2_approx()
92 MPFR_ASSERTD (((unsigned int) exp_u & 1) == 0); in mpfr_sqrt1()
119 MPFR_ASSERTD(r0 >= MPFR_LIMB_HIGHBIT); in mpfr_sqrt1()
134 MPFR_ASSERTD(rb == 0 || (rb == 1 && sb <= 2 * r0)); in mpfr_sqrt1()
143 MPFR_ASSERTD (rb == 0 || sb != 0); in mpfr_sqrt1()
182 MPFR_ASSERTD (rb == 0 || rnd_mode == MPFR_RNDF); in mpfr_sqrt1()
183 MPFR_ASSERTD(exp_r >= __gmpfr_emin); in mpfr_sqrt1()
184 MPFR_ASSERTD(exp_r <= __gmpfr_emax); in mpfr_sqrt1()
199 MPFR_ASSERTD(exp_r >= __gmpfr_emin); in mpfr_sqrt1()
200 MPFR_ASSERTD(exp_r <= __gmpfr_emax); in mpfr_sqrt1()
[all …]
Drec_sqrt.c165 MPFR_ASSERTD((a[an - 1] & MPFR_LIMB_HIGHBIT) != 0); in mpfr_mpn_rec_sqrt()
170 MPFR_ASSERTD((a + an <= x) || (x + n <= a)); in mpfr_mpn_rec_sqrt()
171 MPFR_ASSERTD(p >= 11); in mpfr_mpn_rec_sqrt()
206 MPFR_ASSERTD (1024 <= t && t <= 2047); in mpfr_mpn_rec_sqrt()
263 MPFR_ASSERTD(2 * xn <= un); in mpfr_mpn_rec_sqrt()
268 MPFR_ASSERTD(ln == 0); in mpfr_mpn_rec_sqrt()
296 MPFR_ASSERTD(an == 1); in mpfr_mpn_rec_sqrt()
304 MPFR_ASSERTD(rn <= n + 1); in mpfr_mpn_rec_sqrt()
306 MPFR_ASSERTD(an <= rn); in mpfr_mpn_rec_sqrt()
352 MPFR_ASSERTD(tn > 0); in mpfr_mpn_rec_sqrt()
[all …]
Dvasprintf.c143 MPFR_ASSERTD ((var) == 0); \
635 MPFR_ASSERTD (*b->curr == '\0'); in buffer_widen()
636 MPFR_ASSERTD (pos < b->size); in buffer_widen()
644 MPFR_ASSERTD (pos < b->size); in buffer_widen()
645 MPFR_ASSERTD (*b->curr == '\0'); in buffer_widen()
660 MPFR_ASSERTD (len <= strlen (s)); in buffer_cat()
667 MPFR_ASSERTD (*b->curr == '\0'); in buffer_cat()
677 MPFR_ASSERTD (b->curr < b->start + b->size); in buffer_cat()
678 MPFR_ASSERTD (*b->curr == '\0'); in buffer_cat()
688 MPFR_ASSERTD (n > 0); in buffer_pad()
[all …]
Dsub1sp.c142 MPFR_ASSERTD(p < GMP_NUMB_BITS); in mpfr_sub1sp1()
167 MPFR_ASSERTD(a0 != 0); in mpfr_sub1sp1()
188 MPFR_ASSERTD (bx > cx); in mpfr_sub1sp1()
210 MPFR_ASSERTD(a0 > 0); in mpfr_sub1sp1()
217 MPFR_ASSERTD(sh > 0); in mpfr_sub1sp1()
272 MPFR_ASSERTD(rb == 0 && sb == 0); in mpfr_sub1sp1()
302 MPFR_ASSERTD(bx + 1 <= __gmpfr_emax); in mpfr_sub1sp1()
326 MPFR_ASSERTD(MPFR_PREC(a) == GMP_NUMB_BITS); in mpfr_sub1sp1n()
327 MPFR_ASSERTD(MPFR_PREC(b) == GMP_NUMB_BITS); in mpfr_sub1sp1n()
328 MPFR_ASSERTD(MPFR_PREC(c) == GMP_NUMB_BITS); in mpfr_sub1sp1n()
[all …]
Datan.c67 MPFR_ASSERTD (n >= 1 && n <= 3); in set_table()
102 MPFR_ASSERTD (mpz_sgn (p) > 0); in mpfr_atan_aux()
103 MPFR_ASSERTD (m > 0); in mpfr_atan_aux()
104 MPFR_ASSERTD (m <= MPFR_PREC_BITS - 1); in mpfr_atan_aux()
117 MPFR_ASSERTD(mpz_cmp_ui (p, 1) == 0); in mpfr_atan_aux()
122 MPFR_ASSERTD(mpz_cmp_ui (p, 1) == 0); in mpfr_atan_aux()
128 MPFR_ASSERTD(1 <= u && u <= 3); in mpfr_atan_aux()
134 MPFR_ASSERTD(1 <= u && u <= 15); in mpfr_atan_aux()
148 MPFR_ASSERTD (2 * r > r); in mpfr_atan_aux()
156 MPFR_ASSERTD (r > n); in mpfr_atan_aux()
[all …]
Dmpn_exp.c34 MPFR_ASSERTD (e > 0); in nbits_mpfr_exp_t()
40 MPFR_ASSERTD (e <= 0xffff); in nbits_mpfr_exp_t()
46 MPFR_ASSERTD (e <= 0xff); in nbits_mpfr_exp_t()
52 MPFR_ASSERTD (e <= 0xf); in nbits_mpfr_exp_t()
58 MPFR_ASSERTD (e <= 3); in nbits_mpfr_exp_t()
118 MPFR_ASSERTD (error >= 0); in mpfr_mpn_exp()
186 MPFR_ASSERTD (error >= 0); in mpfr_mpn_exp()
187 MPFR_ASSERTD (err_s_a2 >= 0); in mpfr_mpn_exp()
188 MPFR_ASSERTD (err_s_ab >= 0); in mpfr_mpn_exp()
Ddiv.c80 MPFR_ASSERTD((r1 & MPFR_LIMB_HIGHBIT) == 0); in mpfr_div2_approx()
92 MPFR_ASSERTD (r1 <= 4); in mpfr_div2_approx()
150 MPFR_ASSERTD(h < u0 || (h == u0 && l == MPFR_LIMB_ZERO)); in mpfr_div_1()
162 MPFR_ASSERTD(h == 0 && l < v0); in mpfr_div_1()
211 MPFR_ASSERTD(qx >= __gmpfr_emin); in mpfr_div_1()
220 MPFR_ASSERTD(sb != 0); in mpfr_div_1()
229 MPFR_ASSERTD(qx >= __gmpfr_emin); in mpfr_div_1()
236 MPFR_ASSERTD(qp[0] != 0); in mpfr_div_1()
266 MPFR_ASSERTD(MPFR_PREC(q) == GMP_NUMB_BITS); in mpfr_div_1n()
267 MPFR_ASSERTD(MPFR_PREC(u) <= GMP_NUMB_BITS); in mpfr_div_1n()
[all …]
Dgamma_inc.c96 MPFR_ASSERTD (MPFR_IS_INF (a) && MPFR_IS_FP (x)); in mpfr_gamma_inc()
130 MPFR_ASSERTD (MPFR_IS_FP (a) && MPFR_IS_INF (x)); in mpfr_gamma_inc()
212 MPFR_ASSERTD (precu + 1 <= MPFR_PREC_MAX); in mpfr_gamma_inc()
229 MPFR_ASSERTD(inex == 0); in mpfr_gamma_inc()
244 MPFR_ASSERTD (MPFR_NOTZERO(t)); in mpfr_gamma_inc()
253 MPFR_ASSERTD(MPFR_EXP(u) == expu + 1); in mpfr_gamma_inc()
313 MPFR_ASSERTD (e2 >= 2 || e0 <= (MPFR_EXP_MAX - 2) + e2); in mpfr_gamma_inc()
315 MPFR_ASSERTD (e2 <= 2 || e0 >= MPFR_EXP_MIN + (e2 - 2)); in mpfr_gamma_inc()
321 MPFR_ASSERTD (e0 <= e2 || e2 >= 1 || e0 <= (MPFR_EXP_MAX - 1) + e2); in mpfr_gamma_inc()
362 MPFR_ASSERTD(mpfr_integer_p (a)); in mpfr_gamma_inc_negint()
[all …]
Dmul.c85 MPFR_ASSERTD(MPFR_IS_ZERO(b) || MPFR_IS_ZERO(c)); in mpfr_mul3()
105 MPFR_ASSERTD(tn <= k); in mpfr_mul3()
108 MPFR_ASSERTD((size_t) k <= ((size_t) -1) / MPFR_BYTES_PER_MP_LIMB); in mpfr_mul3()
120 MPFR_ASSERTD (b1 == 0 || b1 == 1); in mpfr_mul3()
131 MPFR_ASSERTD (cc == 0 || cc == 1); in mpfr_mul3()
328 MPFR_ASSERTD(ax >= __gmpfr_emin); in mpfr_mul_1()
341 MPFR_ASSERTD(ax >= __gmpfr_emin); in mpfr_mul_1()
353 MPFR_ASSERTD(ax + 1 <= __gmpfr_emax); in mpfr_mul_1()
354 MPFR_ASSERTD(ax + 1 >= __gmpfr_emin); in mpfr_mul_1()
425 MPFR_ASSERTD(ax >= __gmpfr_emin); in mpfr_mul_1n()
[all …]
Dsqr.c100 MPFR_ASSERTD(ax >= __gmpfr_emin); in mpfr_sqr_1()
113 MPFR_ASSERTD(ax >= __gmpfr_emin); in mpfr_sqr_1()
125 MPFR_ASSERTD(ax + 1 <= __gmpfr_emax); in mpfr_sqr_1()
126 MPFR_ASSERTD(ax + 1 >= __gmpfr_emin); in mpfr_sqr_1()
196 MPFR_ASSERTD(ax >= __gmpfr_emin); in mpfr_sqr_1n()
209 MPFR_ASSERTD(ax >= __gmpfr_emin); in mpfr_sqr_1n()
221 MPFR_ASSERTD(ax + 1 <= __gmpfr_emax); in mpfr_sqr_1n()
222 MPFR_ASSERTD(ax + 1 >= __gmpfr_emin); in mpfr_sqr_1n()
325 MPFR_ASSERTD(ax >= __gmpfr_emin); in mpfr_sqr_2()
338 MPFR_ASSERTD(ax >= __gmpfr_emin); in mpfr_sqr_2()
[all …]
Dpow.c44 MPFR_ASSERTD (!MPFR_IS_SINGULAR (y)); in mpfr_pow_is_exact()
45 MPFR_ASSERTD (!MPFR_IS_SINGULAR (x)); in mpfr_pow_is_exact()
46 MPFR_ASSERTD (!mpfr_integer_p (y)); in mpfr_pow_is_exact()
47 MPFR_ASSERTD (mpfr_cmp_si_2exp (x, MPFR_INT_SIGN (x), in mpfr_pow_is_exact()
49 MPFR_ASSERTD (MPFR_IS_POS (x)); in mpfr_pow_is_exact()
64 MPFR_ASSERTD (d < 0); in mpfr_pow_is_exact()
86 MPFR_ASSERTD ((b % 2) == 0); in mpfr_pow_is_exact()
104 MPFR_ASSERTD (res == 0); in mpfr_pow_is_exact()
106 MPFR_ASSERTD (res == 0); in mpfr_pow_is_exact()
152 MPFR_ASSERTD (y_is_integer); in mpfr_pow_general()
[all …]
Dfpif.c121 MPFR_ASSERTD (data_size <= data_max_size); in putLittleEndianData()
136 MPFR_ASSERTD (data_size <= data_max_size); in putBigEndianData()
155 MPFR_ASSERTD (data_size <= data_max_size); in getLittleEndianData()
170 MPFR_ASSERTD (data_size <= data_max_size); in getBigEndianData()
191 MPFR_ASSERTD (precision >= 1); in mpfr_fpif_store_precision()
242 MPFR_ASSERTD (precision_size <= BUFFER_SIZE); in mpfr_fpif_read_precision_from_file()
249 MPFR_ASSERTD (precision_size <= MPFR_MAX_PRECSIZE + 1); in mpfr_fpif_read_precision_from_file()
319 MPFR_ASSERTD (copy_exponent > uexp); in mpfr_fpif_store_exponent()
325 MPFR_ASSERTD (uexp < exp_sign_bit); in mpfr_fpif_store_exponent()
354 MPFR_ASSERTD (MPFR_IS_NAN (x)); in mpfr_fpif_store_exponent()
[all …]
Dmpfr-gmp.h125 MPFR_ASSERTD ((char *) (dst) >= (char *) (src) + \
146 MPFR_ASSERTD ((NLIMBS) >= 1); \
183 #define ASSERT(expr) MPFR_ASSERTD(expr)
329 #define TMP_ALLOC(n) (MPFR_ASSERTD ((n) > 0), \
420 MPFR_ASSERTD ((xl) != 0); \
455 MPFR_ASSERTD ((xl) != 0); \
582 MPFR_ASSERTD ((d) != 0); \
583 MPFR_ASSERTD ((nh) < (d)); \
584 MPFR_ASSERTD ((d) & MPFR_LIMB_HIGHBIT); \
595 MPFR_ASSERTD ((d) != 0); \
[all …]
Dadd1.c38 MPFR_ASSERTD (MPFR_IS_PURE_UBF (b)); in mpfr_add1()
39 MPFR_ASSERTD (MPFR_IS_PURE_UBF (c)); in mpfr_add1()
40 MPFR_ASSERTD (! MPFR_UBF_EXP_LESS_P (b, c)); in mpfr_add1()
51 MPFR_ASSERTD (exp <= __gmpfr_emax); in mpfr_add1()
94 MPFR_ASSERTD (diff_exp >= 0); in mpfr_add1()
150 MPFR_ASSERTD(difn - cn <= an); in mpfr_add1()
164 MPFR_ASSERTD(a2p - difn >= ap); in mpfr_add1()
255 MPFR_ASSERTD(fb != 0); in mpfr_add1()
287 MPFR_ASSERTD(bk > 0 && difw >= 0); in mpfr_add1()
428 MPFR_ASSERTD(bk > 0); in mpfr_add1()
[all …]
Dround_prec.c91 MPFR_ASSERTD(MPFR_IS_INF(x) || MPFR_IS_ZERO(x)); in mpfr_prec_round()
112 MPFR_ASSERTD (exp < __gmpfr_emax); in mpfr_prec_round()
194 MPFR_ASSERTD(bp[bn - 1] & MPFR_LIMB_HIGHBIT); in mpfr_can_round_raw()
198 MPFR_ASSERTD (neg == 0 || neg == 1); in mpfr_can_round_raw()
208 MPFR_ASSERTD (rnd1 == MPFR_RNDN || in mpfr_can_round_raw()
230 MPFR_ASSERTD (rnd2 == MPFR_RNDN || in mpfr_can_round_raw()
247 MPFR_ASSERTD (err >= prec); in mpfr_can_round_raw()
388 MPFR_ASSERTD (k > 0); in mpfr_can_round_raw()
461 MPFR_ASSERTD(rnd1 == MPFR_RNDN || rnd1 == MPFR_RNDA); in mpfr_can_round_raw()
523 MPFR_ASSERTD (rnd1 == MPFR_RNDA); in mpfr_can_round_raw()
Dubf.c59 MPFR_ASSERTD (inex == 0); in mpfr_init_get_zexp()
61 MPFR_ASSERTD (inex == 0); in mpfr_init_get_zexp()
83 MPFR_ASSERTD ((mpfr_ptr) a != b); in mpfr_ubf_mul_exact()
84 MPFR_ASSERTD ((mpfr_ptr) a != c); in mpfr_ubf_mul_exact()
107 MPFR_ASSERTD (MPFR_IS_ZERO(b) || MPFR_IS_ZERO(c)); in mpfr_ubf_mul_exact()
165 MPFR_ASSERTD (v == 0); in mpfr_ubf_mul_exact()
232 MPFR_ASSERTD (inex == 0); in mpfr_ubf_zexp2exp()
Dpow_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()
Dsub1.c70 MPFR_ASSERTD (cancel >= 0 && cancel <= MPFR_PREC_MAX); in mpfr_sub1()
127 MPFR_ASSERTD (diff_exp >= 0); in mpfr_sub1()
258 MPFR_ASSERTD (shift_c >= 0 && shift_c < GMP_NUMB_BITS); in mpfr_sub1()
282 MPFR_ASSERTD (ap != cp); in mpfr_sub1()
283 MPFR_ASSERTD (bp != cp); in mpfr_sub1()
300 MPFR_ASSERTD (cancel >= 0); in mpfr_sub1()
694 MPFR_ASSERTD (cancel >= 0); in mpfr_sub1()
723 MPFR_ASSERTD (exp_b > __gmpfr_emax); /* since exp_b >= exp_a */ in mpfr_sub1()
732 MPFR_ASSERTD (add_exp == 0 || add_exp == 1); in mpfr_sub1()
743 MPFR_ASSERTD (exp_a >= __gmpfr_emin); in mpfr_sub1()
[all …]
Dstrtofr.c182 MPFR_ASSERTD (base > 0 && base <= MPFR_MAX_BASE); in digit_value_in_base()
382 MPFR_ASSERTD (pstr->exp_base >= 0); in parse_string()
411 MPFR_ASSERTD (res != 3); in parse_string()
496 MPFR_ASSERTD (ysize_bits >= prec); in parsed_string_to_mpfr()
538 MPFR_ASSERTD (Num <= Den && Den <= 65535); /* thus no overflow */ in parsed_string_to_mpfr()
558 MPFR_ASSERTD (real_ysize <= ysize + extra_limbs); in parsed_string_to_mpfr()
576 MPFR_ASSERTD (y[real_ysize - 1] != 0); /* mpn_set_str guarantees this */ in parsed_string_to_mpfr()
602 MPFR_ASSERTD (diff_ysize == -1 || in parsed_string_to_mpfr()
620 MPFR_ASSERTD (diff_ysize == -1); in parsed_string_to_mpfr()
641 MPFR_ASSERTD (0 < pow2 && pow2 <= 5); in parsed_string_to_mpfr()
[all …]
Dexp_2.c45 MPFR_ASSERTD (k == (mpfr_uexp_t) k); in mpz_normalize()
125 MPFR_ASSERTD (MPFR_NOTZERO (r)); in mpfr_exp_2()
127 MPFR_ASSERTD (exp <= GMP_NUMB_BITS); in mpfr_exp_2()
215 MPFR_ASSERTD( MPFR_PREC(r) > q); in mpfr_exp_2()
223 MPFR_ASSERTD (MPFR_IS_POS (r)); in mpfr_exp_2()
227 MPFR_ASSERTD (MPFR_IS_PURE_FP (r) && MPFR_EXP (r) < 0); in mpfr_exp_2()
283 MPFR_ASSERTD (MPFR_IS_PURE_FP (r)); in mpfr_exp2_aux()
319 MPFR_ASSERTD (expt == *exps); in mpfr_exp2_aux()
358 MPFR_ASSERTD (MPFR_GET_EXP (r) < 0); in mpfr_exp2_aux2()
422 MPFR_ASSERTD (expt == *exps); in mpfr_exp2_aux2()
Dround_raw_generic.c81 MPFR_ASSERTD (inexp != ((int*) 0)); in mpfr_round_raw_generic()
83 MPFR_ASSERTD (neg == 0 || neg == 1); in mpfr_round_raw_generic()
86 MPFR_ASSERTD (rnd_mode != MPFR_RNDF); in mpfr_round_raw_generic()
114 MPFR_ASSERTD(nw >= 1); in mpfr_round_raw_generic()
115 MPFR_ASSERTD(nw >= xsize); in mpfr_round_raw_generic()
141 MPFR_ASSERTD(k >= 0); in mpfr_round_raw_generic()
Dget_ui.c62 MPFR_ASSERTD (exp >= 1); /* since |x| >= 1 */ in mpfr_get_ui()
65 MPFR_ASSERTD (exp <= GMP_NUMB_BITS); in mpfr_get_ui()
69 MPFR_ASSERTD (n > 0); in mpfr_get_ui()
75 MPFR_ASSERTD (n > 0); in mpfr_get_ui()

1234567