1 files changed, 89 insertions, 0 deletions
diff --git a/mpc/tests/tpow_si.c b/mpc/tests/tpow_si.c
new file mode 100644
index 0000000000..a3cbfb784d
--- /dev/null
+++ b/mpc/tests/tpow_si.c
@@ -0,0 +1,89 @@
+/* tpow_si -- test file for mpc_pow_si.
+
+Copyright (C) 2009, 2010, 2011 INRIA
+
+This file is part of GNU MPC.
+
+GNU MPC is free software; you can redistribute it and/or modify it under
+the terms of the GNU Lesser General Public License as published by the
+Free Software Foundation; either version 3 of the License, or (at your
+option) any later version.
+
+GNU MPC is distributed in the hope that it will be useful, but WITHOUT ANY
+WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
+FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for
+more details.
+
+You should have received a copy of the GNU Lesser General Public License
+along with this program. If not, see http://www.gnu.org/licenses/ .
+*/
+
+#include <limits.h> /* for CHAR_BIT */
+#include "mpc-tests.h"
+
+static void
+compare_mpc_pow (mpfr_prec_t pmax, int iter, unsigned long nbits)
+   /* copied from tpow_ui.c and replaced unsigned by signed */
+{
+  mpfr_prec_t p;
+  mpc_t x, y, z, t;
+  long n;
+  int i, inex_pow, inex_pow_si;
+  mpc_rnd_t rnd;
+
+  mpc_init3 (y, sizeof (unsigned long) * CHAR_BIT, MPFR_PREC_MIN);
+  for (p = MPFR_PREC_MIN; p <= pmax; p++)
+    for (i = 0; i < iter; i++)
+      {
+        mpc_init2 (x, p);
+        mpc_init2 (z, p);
+        mpc_init2 (t, p);
+        mpc_urandom (x, rands);
+        n = (signed long) gmp_urandomb_ui (rands, nbits);
+        mpc_set_si (y, n, MPC_RNDNN);
+        for (rnd = 0; rnd < 16; rnd ++)
+          {
+            inex_pow = mpc_pow (z, x, y, rnd);
+            inex_pow_si = mpc_pow_si (t, x, n, rnd);
+            if (mpc_cmp (z, t) != 0)
+              {
+                printf ("mpc_pow and mpc_pow_si differ for x=");
+                mpc_out_str (stdout, 10, 0, x, MPC_RNDNN);
+                printf (" n=%li\n", n);
+                printf ("mpc_pow gives ");
+                mpc_out_str (stdout, 10, 0, z, MPC_RNDNN);
+                printf ("\nmpc_pow_si gives ");
+                mpc_out_str (stdout, 10, 0, t, MPC_RNDNN);
+                printf ("\n");
+                exit (1);
+              }
+            if (inex_pow != inex_pow_si)
+              {
+                printf ("mpc_pow and mpc_pow_si give different flags for x=");
+                mpc_out_str (stdout, 10, 0, x, MPC_RNDNN);
+                printf (" n=%li\n", n);
+                printf ("mpc_pow gives %d\n", inex_pow);
+                printf ("mpc_pow_si gives %d\n", inex_pow_si);
+                exit (1);
+              }
+          }
+        mpc_clear (x);
+        mpc_clear (z);
+        mpc_clear (t);
+      }
+  mpc_clear (y);
+}
+
+int
+main (void)
+{
+  DECL_FUNC (CCS, f, mpc_pow_si);
+  test_start ();
+  data_check (f, "pow_si.dat");
+
+  compare_mpc_pow (100, 5, 19);
+
+  test_end ();
+
+  return 0;
+}