summaryrefslogtreecommitdiff
path: root/tests/tpow_z.c
diff options
context:
space:
mode:
Diffstat (limited to 'tests/tpow_z.c')
-rw-r--r--tests/tpow_z.c75
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;
}