HomeSort by: relevance | last modified time | path
    Searched refs:MPC_ASSERT (Results 1 - 22 of 22) sorted by relevancy

  /src/external/lgpl3/mpc/dist/tests/
tdot.c 40 MPC_ASSERT (inex == 0);
41 MPC_ASSERT (mpfr_zero_p (mpc_realref (res)));
42 MPC_ASSERT (mpfr_zero_p (mpc_imagref (res)));
43 MPC_ASSERT (mpfr_signbit (mpc_realref (res)) == 0);
44 MPC_ASSERT (mpfr_signbit (mpc_imagref (res)) == 0);
47 MPC_ASSERT (inex == 0);
48 MPC_ASSERT (mpfr_regular_p (mpc_realref (res)));
49 MPC_ASSERT (mpfr_regular_p (mpc_imagref (res)));
50 MPC_ASSERT (mpfr_cmp_si (mpc_realref (res), -3) == 0);
51 MPC_ASSERT (mpfr_cmp_ui (mpc_imagref (res), 4) == 0)
    [all...]
tsum.c 38 MPC_ASSERT (inex == 0);
39 MPC_ASSERT (mpfr_cmp_ui (mpc_realref (res), 0) == 0);
40 MPC_ASSERT (mpfr_cmp_ui (mpc_imagref (res), 0) == 0);
42 MPC_ASSERT (inex == 0);
43 MPC_ASSERT (mpfr_cmp_ui (mpc_realref (res), 1) == 0);
44 MPC_ASSERT (mpfr_cmp_ui (mpc_imagref (res), 2) == 0);
46 MPC_ASSERT (inex == 0);
47 MPC_ASSERT (mpfr_cmp_ui (mpc_realref (res), 3) == 0);
48 MPC_ASSERT (mpfr_cmp_ui (mpc_imagref (res), 5) == 0);
50 MPC_ASSERT (inex == 0)
    [all...]
double_rounding.c 84 MPC_ASSERT ((params->T[0] == MPC_INEX)
86 MPC_ASSERT ((params->T[offset] == MPC_INEX)
88 MPC_ASSERT (params->T[out + offset] == MPC);
89 MPC_ASSERT (params->T[rnd_index] == MPC_RND);
153 MPC_ASSERT (params->T[0] == MPFR_INEX);
154 MPC_ASSERT (params->T[offset] == MPFR_INEX);
155 MPC_ASSERT (params->T[out + offset] == MPFR);
156 MPC_ASSERT (params->T[rnd_index] == MPFR_RND);
tpl_mpfr.c 81 MPC_ASSERT(known_sign != NULL);
159 MPC_ASSERT(mpfr_get_prec (dest) == mpfr_get_prec (src));
tpow_ui.c 102 MPC_ASSERT (n >= 0);
104 MPC_ASSERT (k >= 0);
mpc-tests.h 37 #define MPC_ASSERT(expr) \
read_description.c 269 MPC_ASSERT (nbout + nbin + j < PARAMETER_ARRAY_SIZE);
  /src/external/lgpl3/mpc/dist/src/
pow_d.c 21 #include <stdio.h> /* for MPC_ASSERT */
31 MPC_ASSERT(FLT_RADIX == 2);
pow_ld.c 21 #include <stdio.h> /* for MPC_ASSERT */
31 MPC_ASSERT(FLT_RADIX == 2);
rootofunity.c 21 #include <stdio.h> /* for MPC_ASSERT */
64 MPC_ASSERT (k == 0);
70 MPC_ASSERT (k == 1);
77 MPC_ASSERT (k == 1 || k == 3);
85 MPC_ASSERT ((n == 3 && (k == 1 || k == 2)) ||
111 MPC_ASSERT (k == 1 || k == 5 || k == 7 || k == 11);
134 MPC_ASSERT (k == 1 || k == 3 || k == 5 || k == 7);
sum.c 21 #include <stdio.h> /* for MPC_ASSERT */
33 MPC_ASSERT(n == 0 || t != NULL);
inp_str.c 136 MPC_ASSERT (ret >= 0);
138 MPC_ASSERT (n == nread);
202 MPC_ASSERT (ret >= 0);
204 MPC_ASSERT (n == nread + 1);
dot.c 21 #include <stdio.h> /* for MPC_ASSERT */
37 MPC_ASSERT(n == 0 || z != NULL);
39 MPC_ASSERT(n == 0 || t != NULL);
get_x.c 197 MPC_ASSERT (ugly != NULL);
221 MPC_ASSERT (complex_str != NULL);
mpc-impl.h 107 #define MPC_ASSERT(expr) \
111 #define MPC_ASSERT(expr) \
atan.c 183 MPC_ASSERT(mpfr_cmp_ui (z, 1) <= 0);
277 MPC_ASSERT (mpfr_cmp_ui (mpc_imagref(op), 1) == 0);
292 MPC_ASSERT (mpfr_cmp_si (mpc_imagref(op), -1) == 0);
381 MPC_ASSERT (!mpfr_zero_p (y));
asin.c 100 MPC_ASSERT(ex <= -1);
102 MPC_ASSERT(ey <= -1);
108 MPC_ASSERT(mpfr_get_prec (mpc_imagref (s)) == p);
133 MPC_ASSERT(2 * k - 1 <= ULONG_MAX / (2 * k - 1));
139 MPC_ASSERT(5 * k - 3 <= ULONG_MAX / k);
pow.c 21 #include <stdio.h> /* for MPC_ASSERT */
60 MPC_ASSERT (mpz_cmp_ui (c, 0) < 0);
137 MPC_ASSERT (ymod4 == 1 || ymod4 == 3);
147 MPC_ASSERT (ymod4 == 0 || ymod4 == 2);
743 MPC_ASSERT (z_imag || mpfr_number_p (mpc_realref(u)));
745 MPC_ASSERT (z_real || mpfr_number_p (mpc_imagref(u)));
acos.c 21 #include <stdio.h> /* for MPC_ASSERT */
208 MPC_ASSERT (mpfr_sgn (mpc_imagref(z1)) * mpfr_sgn (mpc_imagref(op)) > 0);
tan.c 21 #include <stdio.h> /* for MPC_ASSERT */
322 MPC_ASSERT (mpfr_zero_p (mpc_realref (x)) == 0);
sin_cos.c 277 MPC_ASSERT (mpfr_inf_p (x));
mul.c 21 #include <stdio.h> /* for MPC_ASSERT */
182 MPC_ASSERT ( mpfr_regular_p (mpc_realref (x)) && mpfr_regular_p (mpc_imagref (x))

Completed in 25 milliseconds