| /src/external/lgpl3/mpfr/dist/tests/ |
| td_div.c | 41 MPFR_ASSERTN (inexact == 0);
42 MPFR_ASSERTN (__gmpfr_flags == MPFR_FLAGS_NAN);
43 MPFR_ASSERTN (mpfr_nan_p (y));
49 MPFR_ASSERTN (inexact == 0);
50 MPFR_ASSERTN (__gmpfr_flags == 0);
51 MPFR_ASSERTN (mpfr_zero_p (y));
52 MPFR_ASSERTN (MPFR_IS_POS (y));
58 MPFR_ASSERTN (inexact == 0);
59 MPFR_ASSERTN (__gmpfr_flags == 0);
60 MPFR_ASSERTN (mpfr_zero_p (y))
[all...] |
| tsinh.c | 40 MPFR_ASSERTN(mpfr_nan_p (x));
44 MPFR_ASSERTN(mpfr_inf_p (x) && mpfr_sgn (x) > 0);
47 MPFR_ASSERTN(mpfr_inf_p (x) && mpfr_sgn (x) < 0);
52 MPFR_ASSERTN(mpfr_cmp_si_2exp (x, -159, -8) == 0);
58 MPFR_ASSERTN(mpfr_cmp_ui_2exp (x, 1, -6) == 0);
63 MPFR_ASSERTN (MPFR_IS_INF (x) && MPFR_IS_POS (x));
64 MPFR_ASSERTN (mpfr_overflow_p ());
65 MPFR_ASSERTN (i == 1);
70 MPFR_ASSERTN (MPFR_IS_INF (x) && MPFR_IS_NEG (x));
71 MPFR_ASSERTN (mpfr_overflow_p () && !mpfr_underflow_p ())
[all...] |
| tdiv_d.c | 40 MPFR_ASSERTN (inexact == 0);
41 MPFR_ASSERTN (__gmpfr_flags == MPFR_FLAGS_NAN);
42 MPFR_ASSERTN (mpfr_nan_p (y));
48 MPFR_ASSERTN (inexact == 0);
49 MPFR_ASSERTN (__gmpfr_flags == 0);
50 MPFR_ASSERTN (mpfr_inf_p (y));
51 MPFR_ASSERTN (MPFR_IS_POS (y));
57 MPFR_ASSERTN (inexact == 0);
58 MPFR_ASSERTN (__gmpfr_flags == 0);
59 MPFR_ASSERTN (mpfr_inf_p (y))
[all...] |
| tassert.c | 33 MPFR_ASSERTN (0);
|
| tset_exp.c | 42 MPFR_ASSERTN (ret == 0 && mpfr_cmp_ui (x, 2) == 0);
44 MPFR_ASSERTN (e == 2);
46 MPFR_ASSERTN (e == 2);
50 MPFR_ASSERTN (e == emax);
52 MPFR_ASSERTN (e == emax);
56 MPFR_ASSERTN (e == emin);
58 MPFR_ASSERTN (e == emin);
63 MPFR_ASSERTN (e == emin);
65 MPFR_ASSERTN (e == emin);
75 MPFR_ASSERTN (e == emin)
[all...] |
| tlog10p1.c | 40 MPFR_ASSERTN (mpfr_nan_p (x) && inex == 0);
41 MPFR_ASSERTN (__gmpfr_flags == MPFR_FLAGS_NAN);
46 MPFR_ASSERTN (mpfr_nan_p (x) && inex == 0);
47 MPFR_ASSERTN (__gmpfr_flags == MPFR_FLAGS_NAN);
52 MPFR_ASSERTN (mpfr_inf_p (x) && mpfr_sgn (x) > 0 && inex == 0);
53 MPFR_ASSERTN (__gmpfr_flags == 0);
58 MPFR_ASSERTN (mpfr_cmp_ui (x, 0) == 0 && MPFR_IS_POS (x) && inex == 0);
59 MPFR_ASSERTN (__gmpfr_flags == 0);
63 MPFR_ASSERTN (mpfr_cmp_ui (x, 0) == 0 && MPFR_IS_NEG (x) && inex == 0);
64 MPFR_ASSERTN (__gmpfr_flags == 0)
[all...] |
| tremquo.c | 90 MPFR_ASSERTN(mpfr_nan_p (r));
92 MPFR_ASSERTN(mpfr_nan_p (r));
97 MPFR_ASSERTN(mpfr_nan_p (r));
99 MPFR_ASSERTN(mpfr_nan_p (r));
104 MPFR_ASSERTN (mpfr_nan_p (r));
106 MPFR_ASSERTN (mpfr_nan_p (r));
111 MPFR_ASSERTN (mpfr_nan_p (r));
113 MPFR_ASSERTN (mpfr_nan_p (r));
118 MPFR_ASSERTN (mpfr_nan_p (r));
120 MPFR_ASSERTN (mpfr_nan_p (r))
[all...] |
| tlog2p1.c | 40 MPFR_ASSERTN (mpfr_nan_p (x) && inex == 0);
41 MPFR_ASSERTN (__gmpfr_flags == MPFR_FLAGS_NAN);
46 MPFR_ASSERTN (mpfr_nan_p (x) && inex == 0);
47 MPFR_ASSERTN (__gmpfr_flags == MPFR_FLAGS_NAN);
52 MPFR_ASSERTN (mpfr_inf_p (x) && mpfr_sgn (x) > 0 && inex == 0);
53 MPFR_ASSERTN (__gmpfr_flags == 0);
58 MPFR_ASSERTN (mpfr_cmp_ui (x, 0) == 0 && MPFR_IS_POS (x) && inex == 0);
59 MPFR_ASSERTN (__gmpfr_flags == 0);
63 MPFR_ASSERTN (mpfr_cmp_ui (x, 0) == 0 && MPFR_IS_NEG (x) && inex == 0);
64 MPFR_ASSERTN (__gmpfr_flags == 0)
[all...] |
| ttanu.c | 37 MPFR_ASSERTN(mpfr_nan_p (y));
42 MPFR_ASSERTN(mpfr_nan_p (y));
47 MPFR_ASSERTN(mpfr_nan_p (y));
52 MPFR_ASSERTN(mpfr_nan_p (y));
57 MPFR_ASSERTN(mpfr_zero_p (y) && mpfr_signbit (y) == 0);
58 MPFR_ASSERTN(inexact == 0);
63 MPFR_ASSERTN(mpfr_zero_p (y) && mpfr_signbit (y) != 0);
64 MPFR_ASSERTN(inexact == 0);
86 MPFR_ASSERTN(mpfr_inf_p (y) && mpfr_sgn (y) > 0);
87 MPFR_ASSERTN(inexact == 0)
[all...] |
| texpm1.c | 106 MPFR_ASSERTN (MPFR_IS_INF (x) && MPFR_IS_POS (x));
107 MPFR_ASSERTN (__gmpfr_flags == (MPFR_FLAGS_OVERFLOW | MPFR_FLAGS_INEXACT));
108 MPFR_ASSERTN (inex > 0);
113 MPFR_ASSERTN (MPFR_IS_INF (x) && MPFR_IS_POS (x));
114 MPFR_ASSERTN (__gmpfr_flags == (MPFR_FLAGS_OVERFLOW | MPFR_FLAGS_INEXACT));
115 MPFR_ASSERTN (inex > 0);
120 MPFR_ASSERTN (!MPFR_IS_INF (x) && MPFR_IS_POS (x));
121 MPFR_ASSERTN (__gmpfr_flags == (MPFR_FLAGS_OVERFLOW | MPFR_FLAGS_INEXACT));
122 MPFR_ASSERTN (inex < 0);
129 MPFR_ASSERTN (mpfr_cmp_si0 (x, -1) == 0)
[all...] |
| talloc-cache.c | 41 MPFR_ASSERTN (v == 1);
50 MPFR_ASSERTN (v == 1);
51 MPFR_ASSERTN (*(int *) p == 1);
59 MPFR_ASSERTN (v == 1);
60 MPFR_ASSERTN (*(int *) p == 1);
70 MPFR_ASSERTN (v == 2);
79 MPFR_ASSERTN (v == 2);
80 MPFR_ASSERTN (*(int *) p == 2);
88 MPFR_ASSERTN (v == 2);
89 MPFR_ASSERTN (*(int *) p == 2)
[all...] |
| teq.c | 97 MPFR_ASSERTN(mpfr_eq (x, y, 1) == 0);
100 MPFR_ASSERTN(mpfr_eq (x, y, 1) == 0);
103 MPFR_ASSERTN(mpfr_eq (x, y, 1) == 0);
107 MPFR_ASSERTN(mpfr_eq (x, y, 1));
111 MPFR_ASSERTN(mpfr_eq (x, y, 1) == 0);
115 MPFR_ASSERTN(mpfr_eq (x, y, 1));
119 MPFR_ASSERTN(mpfr_eq (x, y, 1) == 0);
123 MPFR_ASSERTN(mpfr_eq (x, y, 1) == 0);
124 MPFR_ASSERTN(mpfr_eq (y, x, 1) == 0);
128 MPFR_ASSERTN(mpfr_eq (x, y, 1))
[all...] |
| texp10m1.c | 83 MPFR_ASSERTN (MPFR_IS_INF (x) && MPFR_IS_POS (x));
84 MPFR_ASSERTN (mpfr_overflow_p ());
85 MPFR_ASSERTN (i > 0);
90 MPFR_ASSERTN (MPFR_IS_INF (x) && MPFR_IS_POS (x));
91 MPFR_ASSERTN (mpfr_overflow_p ());
92 MPFR_ASSERTN (i > 0);
97 MPFR_ASSERTN (!MPFR_IS_INF (x) && MPFR_IS_POS (x));
98 MPFR_ASSERTN (mpfr_overflow_p ());
99 MPFR_ASSERTN (i < 0);
106 MPFR_ASSERTN (mpfr_cmp_si (x, -1) == 0)
[all...] |
| tsqr.c | 96 MPFR_ASSERTN (mpfr_nan_p (y));
100 MPFR_ASSERTN (mpfr_inf_p (y) && mpfr_sgn (y) > 0);
104 MPFR_ASSERTN (mpfr_inf_p (y) && mpfr_sgn (y) > 0);
108 MPFR_ASSERTN (mpfr_zero_p (y));
114 MPFR_ASSERTN (!mpfr_zero_p (x));
116 MPFR_ASSERTN (mpfr_zero_p (y));
141 MPFR_ASSERTN(mpfr_cmp_ui_2exp (y, 1, -1) == 0);
142 MPFR_ASSERTN(mpfr_underflow_p ());
149 MPFR_ASSERTN(mpfr_cmp_ui_2exp (y, 1, -1) == 0);
150 MPFR_ASSERTN(mpfr_underflow_p ())
[all...] |
| tmul_d.c | 40 MPFR_ASSERTN (inexact == 0);
41 MPFR_ASSERTN (__gmpfr_flags == MPFR_FLAGS_NAN);
42 MPFR_ASSERTN (mpfr_nan_p (y));
48 MPFR_ASSERTN (inexact == 0);
49 MPFR_ASSERTN (__gmpfr_flags == 0);
50 MPFR_ASSERTN (mpfr_inf_p (y));
51 MPFR_ASSERTN (MPFR_IS_POS (y));
56 MPFR_ASSERTN (inexact == 0);
57 MPFR_ASSERTN (__gmpfr_flags == MPFR_FLAGS_NAN);
58 MPFR_ASSERTN (mpfr_nan_p (y))
[all...] |
| td_sub.c | 40 MPFR_ASSERTN (inexact == 0);
41 MPFR_ASSERTN (__gmpfr_flags == MPFR_FLAGS_NAN);
42 MPFR_ASSERTN (mpfr_nan_p (y));
48 MPFR_ASSERTN (inexact == 0);
49 MPFR_ASSERTN (__gmpfr_flags == 0);
50 MPFR_ASSERTN (mpfr_inf_p (y));
51 MPFR_ASSERTN (MPFR_IS_NEG (y));
57 MPFR_ASSERTN (inexact == 0);
58 MPFR_ASSERTN (__gmpfr_flags == 0);
59 MPFR_ASSERTN (mpfr_inf_p (y))
[all...] |
| tsub_d.c | 40 MPFR_ASSERTN (inexact == 0);
41 MPFR_ASSERTN (__gmpfr_flags == MPFR_FLAGS_NAN);
42 MPFR_ASSERTN (mpfr_nan_p (y));
48 MPFR_ASSERTN (inexact == 0);
49 MPFR_ASSERTN (__gmpfr_flags == 0);
50 MPFR_ASSERTN (mpfr_inf_p (y));
51 MPFR_ASSERTN (MPFR_IS_POS (y));
57 MPFR_ASSERTN (inexact == 0);
58 MPFR_ASSERTN (__gmpfr_flags == 0);
59 MPFR_ASSERTN (mpfr_inf_p (y))
[all...] |
| cmp_str.c | 31 MPFR_ASSERTN (!MPFR_IS_NAN (x));
34 MPFR_ASSERTN (!MPFR_IS_NAN (y));
|
| tpowr.c | 40 MPFR_ASSERTN(mpfr_cmp_ui (z, 1) == 0);
43 MPFR_ASSERTN(mpfr_cmp_ui (z, 1) == 0);
50 MPFR_ASSERTN(mpfr_inf_p (z) && mpfr_sgn (z) > 0 && mpfr_divby0_p ());
54 MPFR_ASSERTN(mpfr_inf_p (z) && mpfr_sgn (z) > 0 && mpfr_divby0_p ());
60 MPFR_ASSERTN(mpfr_inf_p (z) && mpfr_sgn (z) > 0 && mpfr_divby0_p ());
64 MPFR_ASSERTN(mpfr_inf_p (z) && mpfr_sgn (z) > 0 && mpfr_divby0_p ());
70 MPFR_ASSERTN(mpfr_inf_p (z) && mpfr_sgn (z) > 0 && mpfr_divby0_p ());
74 MPFR_ASSERTN(mpfr_inf_p (z) && mpfr_sgn (z) > 0 && mpfr_divby0_p ());
81 MPFR_ASSERTN(mpfr_inf_p (z) && mpfr_sgn (z) > 0 && !mpfr_divby0_p ());
85 MPFR_ASSERTN(mpfr_inf_p (z) && mpfr_sgn (z) > 0 && !mpfr_divby0_p ())
[all...] |
| tsinu.c | 37 MPFR_ASSERTN(mpfr_nan_p (y));
42 MPFR_ASSERTN(mpfr_nan_p (y));
47 MPFR_ASSERTN(mpfr_nan_p (y));
52 MPFR_ASSERTN(mpfr_nan_p (y));
57 MPFR_ASSERTN(mpfr_zero_p (y) && mpfr_signbit (y) == 0);
58 MPFR_ASSERTN(inexact == 0);
63 MPFR_ASSERTN(mpfr_zero_p (y) && mpfr_signbit (y) != 0);
64 MPFR_ASSERTN(inexact == 0);
82 MPFR_ASSERTN(mpfr_cmp_ui (y, 1) == 0 && inexact == 0);
87 MPFR_ASSERTN(mpfr_zero_p (y) && mpfr_signbit (y) == 0)
[all...] |
| tget_q.c | 40 MPFR_ASSERTN(mpq_cmp_ui (q, 0, 1) == 0);
41 MPFR_ASSERTN(mpfr_erangeflag_p ());
47 MPFR_ASSERTN(mpq_cmp_ui (q, 0, 1) == 0);
48 MPFR_ASSERTN(mpfr_erangeflag_p ());
54 MPFR_ASSERTN(mpq_cmp_ui (q, 0, 1) == 0);
55 MPFR_ASSERTN(mpfr_erangeflag_p ());
61 MPFR_ASSERTN(mpq_cmp_ui (q, 0, 1) == 0);
62 MPFR_ASSERTN(!mpfr_erangeflag_p ());
68 MPFR_ASSERTN(mpq_cmp_ui (q, 0, 1) == 0);
69 MPFR_ASSERTN(!mpfr_erangeflag_p ())
[all...] |
| tlog1p.c | 63 MPFR_ASSERTN (mpfr_nan_p (x) && inex == 0);
64 MPFR_ASSERTN (__gmpfr_flags == MPFR_FLAGS_NAN);
69 MPFR_ASSERTN (mpfr_nan_p (x) && inex == 0);
70 MPFR_ASSERTN (__gmpfr_flags == MPFR_FLAGS_NAN);
75 MPFR_ASSERTN (mpfr_inf_p (x) && mpfr_sgn (x) > 0 && inex == 0);
76 MPFR_ASSERTN (__gmpfr_flags == 0);
81 MPFR_ASSERTN (mpfr_cmp_ui (x, 0) == 0 && MPFR_IS_POS (x) && inex == 0);
82 MPFR_ASSERTN (__gmpfr_flags == 0);
86 MPFR_ASSERTN (mpfr_cmp_ui (x, 0) == 0 && MPFR_IS_NEG (x) && inex == 0);
87 MPFR_ASSERTN (__gmpfr_flags == 0)
[all...] |
| /src/external/lgpl3/mpfr/dist/src/ |
| set_prc_raw.c | 28 MPFR_ASSERTN (MPFR_PREC_COND (p));
29 MPFR_ASSERTN (p <= (mpfr_prec_t) MPFR_GET_ALLOC_SIZE(x) * GMP_NUMB_BITS);
|
| get_exp.c | 29 MPFR_ASSERTN(MPFR_IS_PURE_FP(x));
|
| int_ceil_log2.c | 37 MPFR_ASSERTN (n > 1);
39 MPFR_ASSERTN (limb == n - 1);
|
