diff options
author | Kevin Ryde <user42@zip.com.au> | 2003-06-09 01:18:51 +0200 |
---|---|---|
committer | Kevin Ryde <user42@zip.com.au> | 2003-06-09 01:18:51 +0200 |
commit | 0b9291557942fca34ae6fc238e5d4595aa6ebc59 (patch) | |
tree | 7c30c056281f42fe6ff9229576e864ea75062f67 /tune/many.pl | |
parent | fd41e0d62f16bbbca8ecd8e66f020b94f9c891a9 (diff) | |
download | gmp-0b9291557942fca34ae6fc238e5d4595aa6ebc59.tar.gz |
* tune/many.pl (mul_2): Add speed routine settings.
(MAKEFILE): Close when done, for the benefit of development hackery.
Diffstat (limited to 'tune/many.pl')
-rwxr-xr-x | tune/many.pl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tune/many.pl b/tune/many.pl index bd892f610..dd105f10d 100755 --- a/tune/many.pl +++ b/tune/many.pl @@ -633,6 +633,8 @@ my @table = 'regexp'=> 'mul_2', 'ret' => 'mp_limb_t', 'args' => 'mp_ptr wp, mp_srcptr xp, mp_size_t size, mp_srcptr mult', + 'speed' => 'SPEED_ROUTINE_MPN_UNARY_2', + 'speed_flags'=> 'FLAG_R', }, { @@ -792,7 +794,8 @@ my $top_builddir = "${builddir}/.."; open(MAKEFILE, "<${builddir}/Makefile") - or die "Cannot open Makefile: $!\nIs this a tune build directory?"; + or die "Cannot open ${builddir}/Makefile: $!\n" + . "Is this a tune build directory?"; my ($srcdir, $top_srcdir); while (<MAKEFILE>) { if (/^srcdir = (.*)/) { $srcdir = $1; } @@ -1320,6 +1323,7 @@ CFLAGS_TESTS = -DSIZE=50 -DTIMES=1 -DRANDOM -DCLOCK=333000000 CFLAGS_TESTS_SP = -DSIZE=1024 -DNOCHECK -DOPS=200000000 -DCLOCK=333000000 EOF +close MAKEFILE or die; print "Total $count_files files, $count_functions functions\n"; |