From 11da511c784eca003deb90c23570f0873954e0de Mon Sep 17 00:00:00 2001 From: Duncan Wilkie Date: Sat, 18 Nov 2023 06:11:09 -0600 Subject: Initial commit. --- gmp-6.3.0/tests/mpq/t-md_2exp.c | 244 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 244 insertions(+) create mode 100644 gmp-6.3.0/tests/mpq/t-md_2exp.c (limited to 'gmp-6.3.0/tests/mpq/t-md_2exp.c') diff --git a/gmp-6.3.0/tests/mpq/t-md_2exp.c b/gmp-6.3.0/tests/mpq/t-md_2exp.c new file mode 100644 index 0000000..2bffce9 --- /dev/null +++ b/gmp-6.3.0/tests/mpq/t-md_2exp.c @@ -0,0 +1,244 @@ +/* Test mpq_mul_2exp and mpq_div_2exp. + +Copyright 2000, 2001 Free Software Foundation, Inc. + +This file is part of the GNU MP Library test suite. + +The GNU MP Library test suite is free software; you can redistribute it +and/or modify it under the terms of the GNU General Public License as +published by the Free Software Foundation; either version 3 of the License, +or (at your option) any later version. + +The GNU MP Library test suite 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 General +Public License for more details. + +You should have received a copy of the GNU General Public License along with +the GNU MP Library test suite. If not, see https://www.gnu.org/licenses/. */ + +#include +#include +#include "gmp-impl.h" +#include "tests.h" + + +struct pair_t { + const char *num; + const char *den; +}; + +void +check_random () +{ + gmp_randstate_ptr rands; + mpz_t bs; + unsigned long arg_size, size_range; + mpq_t q, r; + int i; + mp_bitcnt_t shift; + int reps = 10000; + + rands = RANDS; + + mpz_init (bs); + mpq_init (q); + mpq_init (r); + + for (i = 0; i < reps; i++) + { + mpz_urandomb (bs, rands, 32); + size_range = mpz_get_ui (bs) % 11 + 2; /* 0..4096 bit operands */ + + mpz_urandomb (bs, rands, size_range); + arg_size = mpz_get_ui (bs); + mpz_rrandomb (mpq_numref (q), rands, arg_size); + do + { + mpz_urandomb (bs, rands, size_range); + arg_size = mpz_get_ui (bs); + mpz_rrandomb (mpq_denref (q), rands, arg_size); + } + while (mpz_sgn (mpq_denref (q)) == 0); + + /* We now have a random rational in q, albeit an unnormalised one. The + lack of normalisation should not matter here, so let's save the time a + gcd would require. */ + + mpz_urandomb (bs, rands, 32); + shift = mpz_get_ui (bs) % 4096; + + mpq_mul_2exp (r, q, shift); + + if (mpq_cmp (r, q) < 0) + { + printf ("mpq_mul_2exp wrong on random\n"); + abort (); + } + + mpq_div_2exp (r, r, shift); + + if (mpq_cmp (r, q) != 0) + { + printf ("mpq_mul_2exp or mpq_div_2exp wrong on random\n"); + abort (); + } + } + mpq_clear (q); + mpq_clear (r); + mpz_clear (bs); +} + +int +main (int argc, char **argv) +{ + static const struct { + struct pair_t left; + unsigned long n; + struct pair_t right; + + } data[] = { + { {"0","1"}, 0, {"0","1"} }, + { {"0","1"}, 1, {"0","1"} }, + { {"0","1"}, 2, {"0","1"} }, + + { {"1","1"}, 0, {"1","1"} }, + { {"1","1"}, 1, {"2","1"} }, + { {"1","1"}, 2, {"4","1"} }, + { {"1","1"}, 3, {"8","1"} }, + + { {"1","1"}, 31, {"0x80000000","1"} }, + { {"1","1"}, 32, {"0x100000000","1"} }, + { {"1","1"}, 33, {"0x200000000","1"} }, + { {"1","1"}, 63, {"0x8000000000000000","1"} }, + { {"1","1"}, 64, {"0x10000000000000000","1"} }, + { {"1","1"}, 65, {"0x20000000000000000","1"} }, + { {"1","1"}, 95, {"0x800000000000000000000000","1"} }, + { {"1","1"}, 96, {"0x1000000000000000000000000","1"} }, + { {"1","1"}, 97, {"0x2000000000000000000000000","1"} }, + { {"1","1"}, 127, {"0x80000000000000000000000000000000","1"} }, + { {"1","1"}, 128, {"0x100000000000000000000000000000000","1"} }, + { {"1","1"}, 129, {"0x200000000000000000000000000000000","1"} }, + + { {"1","2"}, 31, {"0x40000000","1"} }, + { {"1","2"}, 32, {"0x80000000","1"} }, + { {"1","2"}, 33, {"0x100000000","1"} }, + { {"1","2"}, 63, {"0x4000000000000000","1"} }, + { {"1","2"}, 64, {"0x8000000000000000","1"} }, + { {"1","2"}, 65, {"0x10000000000000000","1"} }, + { {"1","2"}, 95, {"0x400000000000000000000000","1"} }, + { {"1","2"}, 96, {"0x800000000000000000000000","1"} }, + { {"1","2"}, 97, {"0x1000000000000000000000000","1"} }, + { {"1","2"}, 127, {"0x40000000000000000000000000000000","1"} }, + { {"1","2"}, 128, {"0x80000000000000000000000000000000","1"} }, + { {"1","2"}, 129, {"0x100000000000000000000000000000000","1"} }, + + { {"1","0x80000000"}, 30, {"1","2"} }, + { {"1","0x80000000"}, 31, {"1","1"} }, + { {"1","0x80000000"}, 32, {"2","1"} }, + { {"1","0x80000000"}, 33, {"4","1"} }, + { {"1","0x80000000"}, 62, {"0x80000000","1"} }, + { {"1","0x80000000"}, 63, {"0x100000000","1"} }, + { {"1","0x80000000"}, 64, {"0x200000000","1"} }, + { {"1","0x80000000"}, 94, {"0x8000000000000000","1"} }, + { {"1","0x80000000"}, 95, {"0x10000000000000000","1"} }, + { {"1","0x80000000"}, 96, {"0x20000000000000000","1"} }, + { {"1","0x80000000"}, 126, {"0x800000000000000000000000","1"} }, + { {"1","0x80000000"}, 127, {"0x1000000000000000000000000","1"} }, + { {"1","0x80000000"}, 128, {"0x2000000000000000000000000","1"} }, + + { {"1","0x100000000"}, 1, {"1","0x80000000"} }, + { {"1","0x100000000"}, 2, {"1","0x40000000"} }, + { {"1","0x100000000"}, 3, {"1","0x20000000"} }, + + { {"1","0x10000000000000000"}, 1, {"1","0x8000000000000000"} }, + { {"1","0x10000000000000000"}, 2, {"1","0x4000000000000000"} }, + { {"1","0x10000000000000000"}, 3, {"1","0x2000000000000000"} }, + }; + + void (*fun) (mpq_ptr, mpq_srcptr, unsigned long); + const struct pair_t *p_start, *p_want; + const char *name; + mpq_t sep, got, want; + mpq_ptr q; + int i, muldiv, sign, overlap; + + tests_start (); + + mpq_init (sep); + mpq_init (got); + mpq_init (want); + + for (i = 0; i < numberof (data); i++) + { + for (muldiv = 0; muldiv < 2; muldiv++) + { + if (muldiv == 0) + { + fun = mpq_mul_2exp; + name = "mpq_mul_2exp"; + p_start = &data[i].left; + p_want = &data[i].right; + } + else + { + fun = mpq_div_2exp; + name = "mpq_div_2exp"; + p_start = &data[i].right; + p_want = &data[i].left; + } + + for (sign = 0; sign <= 1; sign++) + { + mpz_set_str_or_abort (mpq_numref(want), p_want->num, 0); + mpz_set_str_or_abort (mpq_denref(want), p_want->den, 0); + if (sign) + mpq_neg (want, want); + + for (overlap = 0; overlap <= 1; overlap++) + { + q = overlap ? got : sep; + + /* initial garbage in "got" */ + mpq_set_ui (got, 123L, 456L); + + mpz_set_str_or_abort (mpq_numref(q), p_start->num, 0); + mpz_set_str_or_abort (mpq_denref(q), p_start->den, 0); + if (sign) + mpq_neg (q, q); + + (*fun) (got, q, data[i].n); + MPQ_CHECK_FORMAT (got); + + if (! mpq_equal (got, want)) + { + printf ("%s wrong at data[%d], sign %d, overlap %d\n", + name, i, sign, overlap); + printf (" num \"%s\"\n", p_start->num); + printf (" den \"%s\"\n", p_start->den); + printf (" n %lu\n", data[i].n); + + printf (" got "); + mpq_out_str (stdout, 16, got); + printf (" (hex)\n"); + + printf (" want "); + mpq_out_str (stdout, 16, want); + printf (" (hex)\n"); + + abort (); + } + } + } + } + } + + check_random (); + + mpq_clear (sep); + mpq_clear (got); + mpq_clear (want); + + tests_end (); + exit (0); +} -- cgit v1.2.3