From 6c9919e3d5849053fd724eb3a6b65cc0a782ad30 Mon Sep 17 00:00:00 2001 From: czurnieden Date: Thu, 7 Nov 2019 20:54:01 +0100 Subject: [PATCH 1/2] removed the resets to INT_MAX --- etc/tune.c | 1 - 1 file changed, 1 deletion(-) diff --git a/etc/tune.c b/etc/tune.c index 0b7373448..cf5716e7e 100644 --- a/etc/tune.c +++ b/etc/tune.c @@ -467,7 +467,6 @@ int main(int argc, char **argv) if (test[n].fn != NULL) { s_run(test[n].name, test[n].fn, test[n].cutoff); *test[n].update = *test[n].cutoff; - *test[n].cutoff = INT_MAX; } } } From dedbd25e5f4ca9e6978f617702a757721acbd9ce Mon Sep 17 00:00:00 2001 From: czurnieden Date: Sat, 9 Nov 2019 00:00:07 +0100 Subject: [PATCH 2/2] reinstated resetting and correctied printout in case of cut-offs given at command-line --- etc/tune.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/etc/tune.c b/etc/tune.c index cf5716e7e..fdec1f845 100644 --- a/etc/tune.c +++ b/etc/tune.c @@ -467,9 +467,13 @@ int main(int argc, char **argv) if (test[n].fn != NULL) { s_run(test[n].name, test[n].fn, test[n].cutoff); *test[n].update = *test[n].cutoff; + *test[n].cutoff = INT_MAX; } } } + if (printpreset == 1) { + updated = orig; + } if (args.terse == 1) { printf("%d %d %d %d\n", updated.MUL_KARATSUBA,