cheng/mpir
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added test for dc_bdiv_qr_n.

Browse Source
This commit is contained in:
(no author) 2010-03-02 22:00:29 +00:00
parent e5e9e1a6b9
commit a4ceed9f68
4 changed files with 132 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
gmp-impl.h
View File

@ -1227,6 +1227,7 @@ mp_size_t mpn_fft_next_size _PROTO ((mp_size_t pl, int k)) ATTRIBUTE_CONST;
#define DC_DIVAPPR_Q_N_ITCH(n) ((n)*4 + 64)
#define DC_BDIV_Q_N_ITCH(n) ((n)/2 + 2)
#define DC_BDIV_QR_N_ITCH(n) (n)
#define mpn_sb_divrem_mn __MPN(sb_divrem_mn)
mp_limb_t mpn_sb_divrem_mn _PROTO ((mp_ptr, mp_ptr, mp_size_t,

2
tests/mpn/Makefile.am
View File

@ -31,7 +31,7 @@ check_PROGRAMS = t-asmtype t-aors_1 t-divrem_1 t-fat t-get_d \
t-dc_divappr_q_n t-inv_divappr_q_n t-invert t-sb_div_q t-sb_div_qr \
t-dc_div_q t-dc_div_qr t-dc_divappr_q t-dc_div_qr_n t-inv_divappr_q \
t-inv_div_q t-inv_div_qr t-inv_div_qr_n t-tdiv_qr t-sb_bdiv_q \
t-sb_bdiv_qr t-dc_bdiv_q_n
t-sb_bdiv_qr t-dc_bdiv_q_n t-dc_bdiv_qr_n
if ENABLE_STATIC
if ENABLE_SHARED

34
tests/mpn/Makefile.in
View File

@ -68,7 +68,7 @@ check_PROGRAMS = t-asmtype$(EXEEXT) t-aors_1$(EXEEXT) \
t-inv_div_q$(EXEEXT) t-inv_div_qr$(EXEEXT) \
t-inv_div_qr_n$(EXEEXT) t-tdiv_qr$(EXEEXT) \
t-sb_bdiv_q$(EXEEXT) t-sb_bdiv_qr$(EXEEXT) \
t-dc_bdiv_q_n$(EXEEXT) $(am__EXEEXT_1)
t-dc_bdiv_q_n$(EXEEXT) t-dc_bdiv_qr_n$(EXEEXT) $(am__EXEEXT_1)
@ENABLE_SHARED_TRUE@@ENABLE_STATIC_TRUE@am__append_1 = st_fat st_instrument
subdir = tests/mpn
DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in
@ -127,6 +127,11 @@ t_dc_bdiv_q_n_OBJECTS = t-dc_bdiv_q_n.$(OBJEXT)
t_dc_bdiv_q_n_LDADD = $(LDADD)
t_dc_bdiv_q_n_DEPENDENCIES = $(top_builddir)/tests/libtests.la \
$(top_builddir)/libmpir.la
t_dc_bdiv_qr_n_SOURCES = t-dc_bdiv_qr_n.c
t_dc_bdiv_qr_n_OBJECTS = t-dc_bdiv_qr_n.$(OBJEXT)
t_dc_bdiv_qr_n_LDADD = $(LDADD)
t_dc_bdiv_qr_n_DEPENDENCIES = $(top_builddir)/tests/libtests.la \
$(top_builddir)/libmpir.la
t_dc_div_q_SOURCES = t-dc_div_q.c
t_dc_div_q_OBJECTS = t-dc_div_q.$(OBJEXT)
t_dc_div_q_LDADD = $(LDADD)
@ -326,20 +331,20 @@ LINK = $(LIBTOOL) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) \
$(LDFLAGS) -o $@
SOURCES = $(st_fat_SOURCES) $(st_instrument_SOURCES) t-addadd_n.c \
t-addsub_n.c t-aors_1.c t-asmtype.c t-dc_bdiv_q_n.c \
t-dc_div_q.c t-dc_div_qr.c t-dc_div_qr_n.c t-dc_divappr_q.c \
t-dc_divappr_q_n.c t-divebyBm1of.c t-divebyff.c t-divrem_1.c \
t-fat.c t-get_d.c t-instrument.c t-inv_div_q.c t-inv_div_qr.c \
t-inv_div_qr_n.c t-inv_divappr_q.c t-inv_divappr_q_n.c \
t-invert.c t-iord_u.c t-lorrshift1.c t-mp_bases.c \
t-mullow_basecase.c t-mullowhigh.c t-mulmid.c \
t-mulmod_2expm1.c t-mulmod_2expp1.c t-neg.c t-perfsqr.c \
t-redc_basecase.c t-sb_bdiv_q.c t-sb_bdiv_qr.c t-sb_div_q.c \
t-sb_div_qr.c t-sb_divappr_q.c t-scan.c t-subadd_n.c \
t-tdiv_q.c t-tdiv_qr.c
t-dc_bdiv_qr_n.c t-dc_div_q.c t-dc_div_qr.c t-dc_div_qr_n.c \
t-dc_divappr_q.c t-dc_divappr_q_n.c t-divebyBm1of.c \
t-divebyff.c t-divrem_1.c t-fat.c t-get_d.c t-instrument.c \
t-inv_div_q.c t-inv_div_qr.c t-inv_div_qr_n.c \
t-inv_divappr_q.c t-inv_divappr_q_n.c t-invert.c t-iord_u.c \
t-lorrshift1.c t-mp_bases.c t-mullow_basecase.c t-mullowhigh.c \
t-mulmid.c t-mulmod_2expm1.c t-mulmod_2expp1.c t-neg.c \
t-perfsqr.c t-redc_basecase.c t-sb_bdiv_q.c t-sb_bdiv_qr.c \
t-sb_div_q.c t-sb_div_qr.c t-sb_divappr_q.c t-scan.c \
t-subadd_n.c t-tdiv_q.c t-tdiv_qr.c
DIST_SOURCES = $(am__st_fat_SOURCES_DIST) \
$(am__st_instrument_SOURCES_DIST) t-addadd_n.c t-addsub_n.c \
t-aors_1.c t-asmtype.c t-dc_bdiv_q_n.c t-dc_div_q.c \
t-dc_div_qr.c t-dc_div_qr_n.c t-dc_divappr_q.c \
t-aors_1.c t-asmtype.c t-dc_bdiv_q_n.c t-dc_bdiv_qr_n.c \
t-dc_div_q.c t-dc_div_qr.c t-dc_div_qr_n.c t-dc_divappr_q.c \
t-dc_divappr_q_n.c t-divebyBm1of.c t-divebyff.c t-divrem_1.c \
t-fat.c t-get_d.c t-instrument.c t-inv_div_q.c t-inv_div_qr.c \
t-inv_div_qr_n.c t-inv_divappr_q.c t-inv_divappr_q_n.c \
@ -572,6 +577,9 @@ t-asmtype$(EXEEXT): $(t_asmtype_OBJECTS) $(t_asmtype_DEPENDENCIES)
t-dc_bdiv_q_n$(EXEEXT): $(t_dc_bdiv_q_n_OBJECTS) $(t_dc_bdiv_q_n_DEPENDENCIES)
@rm -f t-dc_bdiv_q_n$(EXEEXT)
$(LINK) $(t_dc_bdiv_q_n_OBJECTS) $(t_dc_bdiv_q_n_LDADD) $(LIBS)
t-dc_bdiv_qr_n$(EXEEXT): $(t_dc_bdiv_qr_n_OBJECTS) $(t_dc_bdiv_qr_n_DEPENDENCIES)
@rm -f t-dc_bdiv_qr_n$(EXEEXT)
$(LINK) $(t_dc_bdiv_qr_n_OBJECTS) $(t_dc_bdiv_qr_n_LDADD) $(LIBS)
t-dc_div_q$(EXEEXT): $(t_dc_div_q_OBJECTS) $(t_dc_div_q_DEPENDENCIES)
@rm -f t-dc_div_q$(EXEEXT)
$(LINK) $(t_dc_div_q_OBJECTS) $(t_dc_div_q_LDADD) $(LIBS)

109
tests/mpn/t-dc_bdiv_qr_n.c Normal file
View File

@ -0,0 +1,109 @@
/* Test mpn_dc_bdiv_qr_n.
Copyright 2002 Free Software Foundation, Inc.
Copyright 2009, 2010 William Hart
This file is part of the MPIR Library.
The MPIR Library 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 2.1 of the License, or (at your
option) any later version.
The MPIR Library 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 the MPIR Library; see the file COPYING.LIB. If not, write to
the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
MA 02110-1301, USA. */
#include <stdio.h>
#include <stdlib.h>
#include "mpir.h"
#include "gmp-impl.h"
#include "longlong.h"
#include "tests.h"
#if defined(_MSC_VER) || defined(__MINGW32__)
#define random rand
#endif
#define MAX_LIMBS 400
#define ITERS 10000
/* Check divide and conquer hensel division routine. */
void
check_dc_bdiv_qr_n (void)
{
mp_limb_t np[2*MAX_LIMBS];
mp_limb_t np2[2*MAX_LIMBS];
mp_limb_t rp[2*MAX_LIMBS];
mp_limb_t dp[2*MAX_LIMBS];
mp_limb_t qp[2*MAX_LIMBS];
mp_limb_t tp[DC_BDIV_QR_N_ITCH(MAX_LIMBS)];
mp_limb_t dip, cy1, cy2;
mp_size_t nn, rn, dn, qn;
gmp_randstate_t rands;
int i, j, s;
gmp_randinit_default(rands);
for (i = 0; i < ITERS; i++)
{
dn = (random() % (MAX_LIMBS - 2)) + 3;
nn = 2*dn;
qn = dn;
mpn_rrandom (np, rands, nn);
mpn_rrandom (dp, rands, dn);
dp[0] |= 1;
MPN_COPY(np2, np, nn);
modlimb_invert(dip, dp[0]);
cy1 = mpn_dc_bdiv_qr_n(qp, np, dp, dn, dip, tp);
if (qn >= dn) mpn_mul(rp, qp, qn, dp, dn);
else mpn_mul(rp, dp, dn, qp, qn);
cy2 = mpn_sub_n(rp, np2, rp, nn);
if (mpn_cmp(rp + qn, np + qn, dn) != 0)
{
printf("failed: quotient wrong!\n");
printf ("nn = %lu, dn = %lu, qn = %lu\n\n", nn, dn, qn);
gmp_printf (" np: %Nx\n\n", np2, nn);
gmp_printf (" dp: %Nx\n\n", dp, dn);
gmp_printf (" qp: %Nx\n\n", qp, qn);
gmp_printf (" rp: %Nx\n\n", rp, qn);
abort ();
}
if (cy1 != cy2)
{
printf("failed: carry wrong!\n");
printf("cy1 = %lx, cy2 = %lx\n", cy1, cy2);
}
}
gmp_randclear(rands);
}
int
main (void)
{
tests_start ();
check_dc_bdiv_qr_n ();
tests_end ();
exit (0);
}