diff options
Diffstat (limited to 'tests/tpow_z.c')
-rw-r--r-- | tests/tpow_z.c | 75 |
1 files changed, 39 insertions, 36 deletions
diff --git a/tests/tpow_z.c b/tests/tpow_z.c index 2a897e6..9d1e9c6 100644 --- a/tests/tpow_z.c +++ b/tests/tpow_z.c @@ -1,6 +1,6 @@ /* tpow_z -- test file for mpc_pow_z. -Copyright (C) 2009, 2011 INRIA +Copyright (C) 2009, 2011, 2012, 2013 INRIA This file is part of GNU MPC. @@ -21,42 +21,45 @@ along with this program. If not, see http://www.gnu.org/licenses/ . #include <limits.h> /* for CHAR_BIT */ #include "mpc-tests.h" +static void +test_large (void) +{ + mpc_t z; + mpz_t t; + + mpc_init2 (z, 5); + mpz_init_set_ui (t, 1ul); + + mpz_set_ui (t, 1ul); + mpz_mul_2exp (t, t, sizeof (long) * CHAR_BIT); + mpc_set_ui_ui (z, 0ul, 1ul, MPC_RNDNN); + mpc_pow_z (z, z, t, MPC_RNDNN); + if (mpc_cmp_si_si (z, 1l, 0l) != 0) { + printf ("Error for mpc_pow_z (4*large)\n"); + exit (1); + } + + mpc_clear (z); + mpz_clear (t); +} + +#define MPC_FUNCTION_CALL \ + P[0].mpc_inex = mpc_pow_z (P[1].mpc, P[2].mpc, P[3].mpz, P[4].mpc_rnd) +#define MPC_FUNCTION_CALL_REUSE_OP1 \ + P[0].mpc_inex = mpc_pow_z (P[1].mpc, P[1].mpc, P[3].mpz, P[4].mpc_rnd) + +#include "data_check.tpl" + int main (void) { - mpc_t z; - mpz_t t; - - test_start (); - - mpc_init2 (z, 5); - mpz_init_set_ui (t, 1ul); - mpc_set_ui_ui (z, 17ul, 42ul, MPC_RNDNN); - mpc_pow_z (z, z, t, MPC_RNDNN); - if (mpc_cmp_si_si (z, 17l, 42l) != 0) { - printf ("Error for mpc_pow_z (1)\n"); - exit (1); - } - mpz_set_si (t, -1l); - mpc_set_ui_ui (z, 1ul, 1ul, MPC_RNDNN); - mpc_pow_z (z, z, t, MPC_RNDNN); - mpc_mul_ui (z, z, 2ul, MPC_RNDNN); - if (mpc_cmp_si_si (z, 1l, -1l) != 0) { - printf ("Error for mpc_pow_z (-1)\n"); - exit (1); - } - mpz_set_ui (t, 1ul); - mpz_mul_2exp (t, t, sizeof (long) * CHAR_BIT); - mpc_set_ui_ui (z, 0ul, 1ul, MPC_RNDNN); - mpc_pow_z (z, z, t, MPC_RNDNN); - if (mpc_cmp_si_si (z, 1l, 0l) != 0) { - printf ("Error for mpc_pow_z (4*large)\n"); - exit (1); - } - mpc_clear (z); - mpz_clear (t); - - test_end (); - - return 0; + test_start (); + + data_check_template ("pow_z.dsc", "pow_z.dat"); + + test_large (); + + test_end (); + + return 0; } |