diff options
author | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2020-11-23 19:30:11 +0100 |
---|---|---|
committer | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2020-11-23 19:30:11 +0100 |
commit | 68f0913376ff44edfe931664be5b3c6a44b0cd93 (patch) | |
tree | 096f06f2b841fe14eec54fcb0a30cb2d8f4bbe81 /tune | |
parent | 265508130a458880f618964a1fb5aaf789f2ce92 (diff) | |
download | gmp-68f0913376ff44edfe931664be5b3c6a44b0cd93.tar.gz |
tune: Add support for the function mpz_prevprime() to tune/speed (by Troisi)
Diffstat (limited to 'tune')
-rw-r--r-- | tune/common.c | 12 | ||||
-rw-r--r-- | tune/speed.c | 2 | ||||
-rw-r--r-- | tune/speed.h | 2 |
3 files changed, 16 insertions, 0 deletions
diff --git a/tune/common.c b/tune/common.c index b7e243e88..68bcfa3ad 100644 --- a/tune/common.c +++ b/tune/common.c @@ -1776,6 +1776,18 @@ speed_mpz_nextprime_1 (struct speed_params *s) } double +speed_mpz_prevprime (struct speed_params *s) +{ + SPEED_ROUTINE_MPZ_NEXTPRIME (mpz_prevprime); +} + +double +speed_mpz_prevprime_1 (struct speed_params *s) +{ + SPEED_ROUTINE_MPZ_UNARY_1 (mpz_prevprime); +} + +double speed_mpz_jacobi (struct speed_params *s) { SPEED_ROUTINE_MPZ_JACOBI (mpz_jacobi); diff --git a/tune/speed.c b/tune/speed.c index 319e5bbdb..a833dab57 100644 --- a/tune/speed.c +++ b/tune/speed.c @@ -318,6 +318,8 @@ const struct routine_t { { "mpz_nextprime", speed_mpz_nextprime }, { "mpz_nextprime_1", speed_mpz_nextprime_1, FLAG_R_OPTIONAL }, + { "mpz_prevprime", speed_mpz_prevprime }, + { "mpz_prevprime_1", speed_mpz_prevprime_1, FLAG_R_OPTIONAL }, { "mpz_jacobi", speed_mpz_jacobi }, { "mpn_jacobi_base", speed_mpn_jacobi_base }, diff --git a/tune/speed.h b/tune/speed.h index f6f532e00..6f65dada2 100644 --- a/tune/speed.h +++ b/tune/speed.h @@ -409,6 +409,8 @@ double speed_mpz_init_clear (struct speed_params *); double speed_mpz_init_realloc_clear (struct speed_params *); double speed_mpz_nextprime (struct speed_params *); double speed_mpz_nextprime_1 (struct speed_params *); +double speed_mpz_prevprime (struct speed_params *); +double speed_mpz_prevprime_1 (struct speed_params *); double speed_mpz_jacobi (struct speed_params *); double speed_mpz_lucnum_ui (struct speed_params *); double speed_mpz_lucnum2_ui (struct speed_params *); |