aboutsummaryrefslogtreecommitdiff
path: root/math/gen-libm-test.pl
diff options
context:
space:
mode:
authorUlrich Drepper <drepper@redhat.com>1999-10-19 06:29:27 +0000
committerUlrich Drepper <drepper@redhat.com>1999-10-19 06:29:27 +0000
commit8847214f239965f538e42a09d3d08ce8c700dea2 (patch)
treea30f842a83c823affb01fedbe803535f1c2ec2fa /math/gen-libm-test.pl
parent4dba81eafc9aead81c0644ea64f092bb2185e5b8 (diff)
downloadglibc-8847214f239965f538e42a09d3d08ce8c700dea2.zip
glibc-8847214f239965f538e42a09d3d08ce8c700dea2.tar.gz
glibc-8847214f239965f538e42a09d3d08ce8c700dea2.tar.bz2
Update.
1999-10-18 Andreas Jaeger <aj@suse.de> Added improved math testsuite: * math/libm-test.inc: New file, contains all tests from libm-test.c but in a different form. * math/libm-test.c: Removed. * sysdeps/generic/libm-test-ulps: New file: Fallback ulps file. * math/gen-libm-test.pl: New file: Preprocessor. * math/test-double.c: Adopted to new testsuite. * math/test-idouble.c: Likewise. * math/test-float.c: Likewise. * math/test-ifloat.c: Likewise. * math/test-ldouble.c: Likewise. * math/test-ildoubl.c: Likewise. * math/Makefile: Added rules to generate new suite.
Diffstat (limited to 'math/gen-libm-test.pl')
-rwxr-xr-xmath/gen-libm-test.pl606
1 files changed, 606 insertions, 0 deletions
diff --git a/math/gen-libm-test.pl b/math/gen-libm-test.pl
new file mode 100755
index 0000000..f7bd323
--- /dev/null
+++ b/math/gen-libm-test.pl
@@ -0,0 +1,606 @@
+#!/usr/bin/perl -w
+
+# Copyright (C) 1999 Free Software Foundation, Inc.
+# This file is part of the GNU C Library.
+# Contributed by Andreas Jaeger <aj@suse.de>, 1999.
+
+# The GNU C Library is free software; you can redistribute it and/or
+# modify it under the terms of the GNU Library General Public License as
+# published by the Free Software Foundation; either version 2 of the
+# License, or (at your option) any later version.
+
+# The GNU C 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
+# Library General Public License for more details.
+
+# You should have received a copy of the GNU Library General Public
+# License along with the GNU C Library; see the file COPYING.LIB. If not,
+# write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+# Boston, MA 02111-1307, USA.
+
+# This file needs to be tidied up
+# Note that functions and tests share the same namespace.
+
+use Getopt::Std;
+
+use strict;
+
+use vars qw ($input $output);
+use vars qw (@tests @functions);
+use vars qw ($count);
+use vars qw (%ulps %failures);
+use vars qw (%beautify);
+use vars qw ($output_dir $ulps_file);
+
+%beautify =
+ ( "minus_zero" => "-0",
+ "plus_zero" => "+0",
+ "minus_infty" => "-inf",
+ "plus_infty" => "inf",
+ "nan_value" => "NaN",
+ "M_El" => "e",
+ "M_E2l" => "e^2",
+ "M_E3l" => "e^3",
+ "M_LOG10El", "log10(e)",
+ "M_PIl" => "pi",
+ "M_PI_34l" => "3/4 pi",
+ "M_PI_2l" => "pi/2",
+ "M_PI_4l" => "pi/4",
+ "M_PI_6l" => "pi/6",
+ "M_PI_34_LOG10El" => "3/4 pi*log10(e)",
+ "M_PI_LOG10El" => "pi*log10(e)",
+ "M_PI2_LOG10El" => "pi/2*log10(e)",
+ "M_PI4_LOG10El" => "pi/4*log10(e)",
+ "M_LOG_SQRT_PIl" => "log(sqrt(pi))",
+ "M_LOG_2_SQRT_PIl" => "log(2*sqrt(pi))",
+ "M_2_SQRT_PIl" => "2 sqrt (pi)",
+ "M_SQRT_PIl" => "sqrt (pi)",
+ "INVALID_EXCEPTION" => "invalid exception",
+ "DIVIDE_BY_ZERO_EXCEPTION" => "division by zero exception",
+ "INVALID_EXCEPTION_OK" => "invalid exception allowed",
+ "DIVIDE_BY_ZERO_EXCEPTION_OK" => "division by zero exception allowed",
+ "EXCEPTIONS_OK" => "exceptions allowed",
+ "IGNORE_ZERO_INF_SIGN" => "sign of zero/inf not specified",
+"INVALID_EXCEPTION|IGNORE_ZERO_INF_SIGN" => "invalid exception and sign of zero/inf not specified"
+ );
+
+
+# get Options
+# Options:
+# u: ulps-file
+# h: help
+# o: output-directory
+# n: generate new ulps file
+use vars qw($opt_u $opt_h $opt_o $opt_n);
+getopts('u:o:nh');
+
+$ulps_file = 'libm-test-ulps';
+$output_dir = '';
+
+if ($opt_h) {
+ print "Usage: generate.pl [OPTIONS]\n";
+ print " -h print this help, then exit\n";
+ print " -o DIR directory where generated files will be placed\n";
+ print " -n generate sorted file NewUlps from libm-test-ulps\n";
+ print " -u FILE input file with ulps\n";
+ exit 0;
+}
+
+$ulps_file = $opt_u if ($opt_u);
+$output_dir = $opt_o if ($opt_o);
+
+$input = "libm-test.inc";
+$output = "${output_dir}libm-test.c";
+
+$count = 0;
+
+&parse_ulps ($ulps_file);
+&generate_testfile ($input, $output);
+&output_ulps ("${output_dir}libm-test-ulps.h");
+&print_ulps_file ("${output_dir}NewUlps") if ($opt_n);
+
+# Return a nicer representation
+sub beautify {
+ my ($arg) = @_;
+ my ($tmp);
+
+ if (exists $beautify{$arg}) {
+ return $beautify{$arg};
+ }
+ if ($arg =~ /^-/) {
+ $tmp = $arg;
+ $tmp =~ s/^-//;
+ if (exists $beautify{$tmp}) {
+ return '-' . $beautify{$tmp};
+ }
+ }
+ if ($arg =~ /[0-9]L$/) {
+ $arg =~ s/L$//;
+ }
+ return $arg;
+}
+
+# Return a nicer representation of a complex number
+sub build_complex_beautify {
+ my ($r, $i) = @_;
+ my ($str1, $str2);
+
+ $str1 = &beautify ($r);
+ $str2 = &beautify ($i);
+ if ($str2 =~ /^-/) {
+ $str2 =~ s/^-//;
+ $str1 .= ' - ' . $str2;
+ } else {
+ $str1 .= ' + ' . $str2;
+ }
+ $str1 .= ' i';
+ return $str1;
+}
+
+# Return name of a variable
+sub get_variable {
+ my ($number) = @_;
+
+ return "x" if ($number == 1);
+ return "y" if ($number == 2);
+ return "z" if ($number == 3);
+ # return x1,x2,...
+ $number =-3;
+ return "x$number";
+}
+
+# Add a new test to internal data structures and fill in the
+# ulps, failures and exception information for the C line.
+sub new_test {
+ my ($test, $exception) = @_;
+ my $rest;
+
+ # Add ulp, xfail
+ if (exists $ulps{$test}) {
+ $rest = ", DELTA$count";
+ } else {
+ $rest = ', 0';
+ }
+ if (exists $failures{$test}) {
+ $rest .= ", FAIL$count";
+ } else {
+ $rest .= ', 0';
+ }
+ if (defined $exception) {
+ $rest .= ", $exception";
+ } else {
+ $rest .= ', 0';
+ }
+ $rest .= ");\n";
+ # We must increment here to keep @tests and count in sync
+ push @tests, $test;
+ ++$count;
+ return $rest;
+}
+
+# Treat some functions especially.
+# Currently only sincos needs extra treatment.
+sub special_functions {
+ my ($file, $args) = @_;
+ my (@args, $str, $test, $cline);
+
+ @args = split /,\s*/, $args;
+
+ unless ($args[0] =~ /sincos/) {
+ die ("Don't know how to handle $args[0] extra.");
+ }
+ print $file " FUNC (sincos) ($args[1], &sin_res, &cos_res);\n";
+
+ $str = 'sincos (' . &beautify ($args[1]) . ', &sin_res, &cos_res)';
+ # handle sin
+ $test = $str . ' puts ' . &beautify ($args[2]) . ' in sin_res';
+ if ($#args == 4) {
+ $test .= " plus " . &beautify ($args[4]);
+ }
+
+ $cline = " check_float (\"$test\", sin_res, $args[2]";
+ $cline .= &new_test ($test, $args[4]);
+ print $file $cline;
+
+ # handle cos
+ $test = $str . ' puts ' . &beautify ($args[3]) . ' in cos_res';
+ $cline = " check_float (\"$test\", cos_res, $args[3]";
+ # only tests once for exception
+ $cline .= &new_test ($test, undef);
+ print $file $cline;
+}
+
+# Parse the arguments to TEST_x_y
+sub parse_args {
+ my ($file, $descr, $args) = @_;
+ my (@args, $str, $descr_args, $descr_res, @descr);
+ my ($current_arg, $cline, $i);
+ my ($pre, $post, @special);
+ my ($extra_var, $call, $c_call);
+
+ if ($descr eq 'extra') {
+ &special_functions ($file, $args);
+ return;
+ }
+ ($descr_args, $descr_res) = split /_/,$descr, 2;
+
+ @args = split /,\s*/, $args;
+
+ $call = "$args[0] (";
+
+ # Generate first the string that's shown to the user
+ $current_arg = 1;
+ $extra_var = 0;
+ @descr = split //,$descr_args;
+ for ($i = 0; $i <= $#descr; $i++) {
+ if ($i >= 1) {
+ $call .= ', ';
+ }
+ # FLOAT, int, long int, long long int
+ if ($descr[$i] =~ /f|i|l|L/) {
+ $call .= &beautify ($args[$current_arg]);
+ ++$current_arg;
+ next;
+ }
+ # &FLOAT, &int - argument is added here
+ if ($descr[$i] =~ /F|I/) {
+ ++$extra_var;
+ $call .= '&' . &get_variable ($extra_var);
+ next;
+ }
+ # complex
+ if ($descr[$i] eq 'c') {
+ $call .= &build_complex_beautify ($args[$current_arg], $args[$current_arg+1]);
+ $current_arg += 2;
+ next;
+ }
+
+ die ("$descr[$i] is unknown");
+ }
+ $call .= ')';
+ $str = "$call == ";
+
+ # Result
+ @descr = split //,$descr_res;
+ foreach (@descr) {
+ if ($_ =~ /f|i|l|L/) {
+ $str .= &beautify ($args[$current_arg]);
+ ++$current_arg;
+ } elsif ($_ eq 'c') {
+ $str .= &build_complex_beautify ($args[$current_arg], $args[$current_arg+1]);
+ $current_arg += 2;
+ } elsif ($_ eq 'b') {
+ # boolean
+ $str .= ($args[$current_arg] == 0) ? "false" : "true";
+ ++$current_arg;
+ } elsif ($_ eq '1') {
+ ++$current_arg;
+ } else {
+ die ("$_ is unknown");
+ }
+ }
+ # consistency check
+ if ($current_arg == $#args) {
+ die ("wrong number of arguments")
+ unless ($args[$current_arg] =~ /EXCEPTION|IGNORE_ZERO_INF_SIGN/);
+ } elsif ($current_arg < $#args) {
+ die ("wrong number of arguments");
+ } elsif ($current_arg > ($#args+1)) {
+ die ("wrong number of arguments");
+ }
+
+
+ # check for exceptions
+ if ($current_arg <= $#args) {
+ $str .= " plus " . &beautify ($args[$current_arg]);
+ }
+
+ # Put the C program line together
+ # Reset some variables to start again
+ $current_arg = 1;
+ $extra_var = 0;
+ if (substr($descr_res,0,1) eq 'f') {
+ $cline = 'check_float'
+ } elsif (substr($descr_res,0,1) eq 'b') {
+ $cline = 'check_bool';
+ } elsif (substr($descr_res,0,1) eq 'c') {
+ $cline = 'check_complex';
+ } elsif (substr($descr_res,0,1) eq 'i') {
+ $cline = 'check_int';
+ } elsif (substr($descr_res,0,1) eq 'l') {
+ $cline = 'check_long';
+ } elsif (substr($descr_res,0,1) eq 'L') {
+ $cline = 'check_longlong';
+ }
+ # Special handling for some macros:
+ $cline .= " (\"$str\", ";
+ if ($args[0] =~ /fpclassify|isnormal|isfinite|signbit/) {
+ $c_call = "$args[0] (";
+ } else {
+ $c_call = " FUNC($args[0]) (";
+ }
+ @descr = split //,$descr_args;
+ for ($i=0; $i <= $#descr; $i++) {
+ if ($i >= 1) {
+ $c_call .= ', ';
+ }
+ # FLOAT, int, long int, long long int
+ if ($descr[$i] =~ /f|i|l|L/) {
+ $c_call .= $args[$current_arg];
+ $current_arg++;
+ next;
+ }
+ # &FLOAT, &int
+ if ($descr[$i] =~ /F|I/) {
+ ++$extra_var;
+ $c_call .= '&' . &get_variable ($extra_var);
+ next;
+ }
+ # complex
+ if ($descr[$i] eq 'c') {
+ $c_call .= "BUILD_COMPLEX ($args[$current_arg], $args[$current_arg+1])";
+ $current_arg += 2;
+ next;
+ }
+ }
+ $c_call .= ')';
+ $cline .= "$c_call, ";
+
+ @descr = split //,$descr_res;
+ foreach (@descr) {
+ if ($_ =~ /b|f|i|l|L/ ) {
+ $cline .= $args[$current_arg];
+ $current_arg++;
+ } elsif ($_ eq 'c') {
+ $cline .= "BUILD_COMPLEX ($args[$current_arg], $args[$current_arg+1])";
+ $current_arg += 2;
+ } elsif ($_ eq '1') {
+ push @special, $args[$current_arg];
+ ++$current_arg;
+ }
+ }
+ # Add ulp, xfail
+ $cline .= &new_test ($str, ($current_arg <= $#args) ? $args[$current_arg] : undef);
+
+ # special treatment for some functions
+ if ($args[0] eq 'frexp') {
+ if (defined $special[0] && $special[0] ne "IGNORE") {
+ my ($str) = "$call sets x to $special[0]";
+ $post = " check_int (\"$str\", x, $special[0]";
+ $post .= &new_test ($str, undef);
+ }
+ } elsif ($args[0] eq 'gamma' || $args[0] eq 'lgamma') {
+ $pre = " signgam = 0;\n";
+ if (defined $special[0] && $special[0] ne "IGNORE") {
+ my ($str) = "$call sets signgam to $special[0]";
+ $post = " check_int (\"$str\", signgam, $special[0]";
+ $post .= &new_test ($str, undef);
+ }
+ } elsif ($args[0] eq 'modf') {
+ if (defined $special[0] && $special[0] ne "IGNORE") {
+ my ($str) = "$call sets x to $special[0]";
+ $post = " check_float (\"$str\", x, $special[0]";
+ $post .= &new_test ($str, undef);
+ }
+ } elsif ($args[0] eq 'remquo') {
+ if (defined $special[0] && $special[0] ne "IGNORE") {
+ my ($str) = "$call sets x to $special[0]";
+ $post = " check_int (\"$str\", x, $special[0]";
+ $post .= &new_test ($str, undef);
+ }
+ }
+
+ print $file $pre if (defined $pre);
+
+ print $file " $cline\n";
+
+ print $file $post if (defined $post);
+}
+
+# Generate libm-test.c
+sub generate_testfile {
+ my ($input, $output) = @_;
+ my ($lasttext);
+ my (@args, $i, $str);
+
+ open INPUT, $input or die ("Can't open $input: $!");
+ open OUTPUT, ">$output" or die ("Can't open $output: $!");
+
+ # Replace the special macros
+ while (<INPUT>) {
+
+ # TEST_...
+ if (/^\s*TEST_/) {
+ my ($descr, $args);
+ chop;
+ ($descr, $args) = ($_ =~ /TEST_(\w+)\s*\((.*)\)/);
+ &parse_args (\*OUTPUT, $descr, $args);
+ next;
+ }
+ # START (function)
+ if (/START/) {
+ print OUTPUT " init_max_error ();\n";
+ next;
+ }
+ # END (function)
+ if (/END/) {
+ my ($fct, $line);
+ ($fct) = ($_ =~ /END\s*\((.*)\)/);
+ $line = " print_max_error (\"$fct\", ";
+ if (exists $ulps{$fct}) {
+ $line .= "DELTA$fct";
+ } else {
+ $line .= '0';
+ }
+ if (exists $failures{$fct}) {
+ $line .= ", FAIL$fct";
+ } else {
+ $line .= ', 0';
+ }
+ $line .= ");\n";
+ print OUTPUT $line;
+ push @functions, $fct;
+ next;
+ }
+ print OUTPUT;
+ }
+ close INPUT;
+ close OUTPUT;
+}
+
+
+
+# Parse ulps file
+sub parse_ulps {
+ my ($file) = @_;
+ my ($test, $type, $eps);
+
+ open ULP, $file or die ("Can't open $file: $!");
+ while (<ULP>) {
+ chop;
+ # ignore comments and empty lines
+ next if /^#/;
+ next if /^\s*$/;
+ if (/^Test/) {
+ s/^.+\"(.*)\".*$/$1/;
+ $test = $_;
+ next;
+ }
+ if (/^Function/) {
+ ($test) = ($_ =~ /^Function\s*\"([a-zA-Z0-9_]+)\"/);
+ next;
+ }
+ if (/^i?(float|double|ldouble):/) {
+ ($type, $eps) = split /\s*:\s*/,$_,2;
+ if ($eps eq "fail") {
+ $failures{$test}{$type} = 1;
+ } else {
+ $ulps{$test}{$type} = $eps;
+ }
+ next;
+ }
+ print "Skipping unknown entry: `$_'\n";
+ }
+ close ULP;
+}
+
+# Just for testing: Print all ulps
+sub print_ulps {
+ my ($test, $type, $eps);
+
+ foreach $test (keys %ulps) {
+ print "$test:\n";
+ foreach $type (keys %{$ulps{$test}}) {
+ print "$test: $type $ulps{$test}{$type}\n";
+ }
+ }
+}
+
+# Clean up a floating point number
+sub clean_up_number {
+ my ($number) = @_;
+
+ # Remove trailing zeros
+ $number =~ s/0+$//;
+ $number =~ s/\.$//;
+ return $number;
+}
+
+# Output a file which can be read in as ulps file.
+sub print_ulps_file {
+ my ($file) = @_;
+ my ($test, $type, $eps, $fct, $last_fct);
+
+ $last_fct = '';
+ open NEWULP, ">$file" or die ("Can't open $file: $!");
+ print NEWULP "# Begin of automatic generation\n";
+ foreach $test (sort @tests) {
+ if (defined $ulps{$test} || defined $failures{$test}) {
+ ($fct) = ($test =~ /^(\w+)\s/);
+ if ($fct ne $last_fct) {
+ $last_fct = $fct;
+ print NEWULP "\n# $fct\n";
+ }
+ print NEWULP "Test \"$test\":\n";
+ foreach $type (sort keys %{$ulps{$test}}) {
+ print NEWULP "$type: ", &clean_up_number ($ulps{$test}{$type}), "\n";
+ }
+ foreach $type (sort keys %{$failures{$test}}) {
+ print NEWULP "$type: fail\n";
+ }
+ }
+ }
+ print NEWULP "\n# Maximal error of functions:\n";
+
+ foreach $fct (sort @functions) {
+ if (defined $ulps{$fct} || defined $failures{$fct}) {
+ print NEWULP "Function \"$fct\":\n";
+ foreach $type (sort keys %{$ulps{$fct}}) {
+ print NEWULP "$type: ", &clean_up_number ($ulps{$fct}{$type}), "\n";
+ }
+ foreach $type (sort keys %{$failures{$fct}}) {
+ print NEWULP "$type: fail\n";
+ }
+ print NEWULP "\n";
+ }
+ }
+ print NEWULP "# end of automatic generation\n";
+ close NEWULP;
+}
+
+sub get_ulps {
+ my ($test, $float) = @_;
+ return exists $ulps{$test}{$float} ? $ulps{$test}{$float} : "0";
+}
+
+sub get_failure {
+ my ($test, $float) = @_;
+ return exists $failures{$test}{$float} ? $failures{$test}{$float} : "0";
+}
+
+# Output the defines for a single test
+sub output_test {
+ my ($file, $test, $name) = @_;
+ my ($ldouble, $double, $float, $ildouble, $idouble, $ifloat);
+
+ if (exists $ulps{$test}) {
+ $ldouble = &get_ulps ($test, "ldouble");
+ $double = &get_ulps ($test, "double");
+ $float = &get_ulps ($test, "float");
+ $ildouble = &get_ulps ($test, "ildouble");
+ $idouble = &get_ulps ($test, "idouble");
+ $ifloat = &get_ulps ($test, "ifloat");
+ print $file "#define DELTA$name CHOOSE($ldouble, $double, $float, $ildouble, $idouble, $ifloat)\t/* $test */\n";
+ }
+ if (exists $failures{$test}) {
+ $ldouble = &get_failure ($test, "ldouble");
+ $double = &get_failure ($test, "double");
+ $float = &get_failure ($test, "float");
+ $ildouble = &get_failure ($test, "ildouble");
+ $idouble = &get_failure ($test, "idouble");
+ $ifloat = &get_failure ($test, "ifloat");
+ print $file "#define FAIL$name CHOOSE($ldouble, $double, $float $ildouble, $idouble, $ifloat)\t/* $test */\n";
+ }
+}
+
+# Print include file
+sub output_ulps {
+ my ($file) = @_;
+ my ($i, $fct);
+
+ open ULP, ">$file" or die ("Can't open $file: $!");
+
+ print ULP "/* This file is automatically generated.\n";
+ print ULP " Don't change it - change instead the master files. */\n\n";
+
+ foreach $fct (@functions) {
+ output_test (\*ULP, $fct, $fct);
+ }
+
+ for ($i = 0; $i < $count; $i++) {
+ output_test (\*ULP, $tests[$i], $i);
+ }
+ close ULP;
+}
+