cannam@127: #! /usr/bin/perl -w
cannam@127: 
cannam@127: $program = "./bench";
cannam@127: $default_options = "";
cannam@127: $verbose = 0;
cannam@127: $paranoid = 0;
cannam@127: $exhaustive = 0;
cannam@127: $patient = 0;
cannam@127: $estimate = 0;
cannam@127: $wisdom = 0;
cannam@127: $nthreads = 1;
cannam@127: $rounds = 0;
cannam@127: $maxsize = 60000;
cannam@127: $maxcount = 100;
cannam@127: $do_0d = 0;
cannam@127: $do_1d = 0;
cannam@127: $do_2d = 0;
cannam@127: $do_random = 0;
cannam@127: $keepgoing = 0;
cannam@127: $flushcount = 42;
cannam@127: 
cannam@127: $mpi = 0;
cannam@127: $mpi_transposed_in = 0;
cannam@127: $mpi_transposed_out = 0;
cannam@127: 
cannam@127: sub make_options {
cannam@127:     my $options = $default_options;
cannam@127:     $options = "--verify-rounds=$rounds $options" if $rounds;
cannam@127:     $options = "--verbose=$verbose $options" if $verbose;
cannam@127:     $options = "-o paranoid $options" if $paranoid;
cannam@127:     $options = "-o exhaustive $options" if $exhaustive;
cannam@127:     $options = "-o patient $options" if $patient;
cannam@127:     $options = "-o estimate $options" if $estimate;
cannam@127:     $options = "-o wisdom $options" if $wisdom;
cannam@127:     $options = "-o nthreads=$nthreads $options" if ($nthreads > 1);
cannam@127:     $options = "-obflag=30 $options" if $mpi_transposed_in;
cannam@127:     $options = "-obflag=31 $options" if $mpi_transposed_out;
cannam@127:     return $options;
cannam@127: }
cannam@127: 
cannam@127: @list_of_problems = ();
cannam@127: 
cannam@127: sub flush_problems {
cannam@127:     my $options = shift;
cannam@127:     my $problist = "";
cannam@127: 
cannam@127:     if ($#list_of_problems >= 0) {
cannam@127: 	for (@list_of_problems) {
cannam@127: 	    $problist = "$problist --verify '$_'";
cannam@127: 	}
cannam@127: 	print "Executing \"$program $options $problist\"\n" 
cannam@127: 	    if $verbose;
cannam@127: 	
cannam@127: 	system("$program $options $problist");
cannam@127: 	$exit_value  = $? >> 8;
cannam@127: 	$signal_num  = $? & 127;
cannam@127: 	$dumped_core = $? & 128;
cannam@127: 
cannam@127: 	if ($signal_num == 1) {
cannam@127: 	    print "hangup\n";
cannam@127: 	    exit 0;
cannam@127: 	}
cannam@127: 	if ($signal_num == 2) {
cannam@127: 	    print "interrupted\n";
cannam@127: 	    exit 0;
cannam@127: 	}
cannam@127: 	if ($signal_num == 9) {
cannam@127: 	    print "killed\n";
cannam@127: 	    exit 0;
cannam@127: 	}
cannam@127: 
cannam@127: 	if ($exit_value != 0 || $dumped_core || $signal_num) {
cannam@127: 	    print "FAILED $program: $problist\n";
cannam@127: 	    if ($signal_num) { print "received signal $signal_num\n"; }
cannam@127: 	    exit 1 unless $keepgoing;
cannam@127: 	}
cannam@127: 	@list_of_problems = ();
cannam@127:     }
cannam@127: }
cannam@127: 
cannam@127: sub do_problem {
cannam@127:     my $problem = shift;
cannam@127:     my $doablep = shift;
cannam@127:     my $options = &make_options;
cannam@127: 
cannam@127:     if ($problem =~ /\// && $problem =~ /r/
cannam@127: 	&& ($problem =~ /i.*x/
cannam@127: 	    || $problem =~ /v/ || $problem =~ /\*/)) {
cannam@127: 	return; # cannot do real split inplace-multidimensional or vector
cannam@127:     }
cannam@127: 
cannam@127:     # in --mpi mode, restrict to problems supported by MPI code
cannam@127:     if ($mpi) {
cannam@127: 	if ($problem =~ /\//) { return; } # no split
cannam@127: 	if ($problem =~ /\*/) { return; } # no non-contiguous vectors
cannam@127: 	if ($problem =~ /r/ && $problem !~ /x/) { return; } # no 1d r2c
cannam@127: 	if ($problem =~ /k/ && $problem !~ /x/) { return; } # no 1d r2r
cannam@127: 	if ($mpi_transposed_in || $problem =~ /\[/) {
cannam@127: 	    if ($problem !~ /x/) { return; } # no 1d transposed_in
cannam@127: 	    if ($problem =~ /r/ && $problem !~ /b/) { return; } # only c2r
cannam@127: 	}
cannam@127: 	if ($mpi_transposed_out || $problem =~ /\]/) {
cannam@127: 	    if ($problem !~ /x/) { return; } # no 1d transposed_out
cannam@127: 	    if ($problem =~ /r/ && $problem =~ /b/) { return; } # only r2c
cannam@127: 	}
cannam@127:     }
cannam@127: 
cannam@127:     # size-1 redft00 is not defined/doable
cannam@127:     return if ($problem =~ /[^0-9]1e00/);
cannam@127:     
cannam@127:     if ($doablep) {
cannam@127: 	@list_of_problems = ($problem, @list_of_problems);
cannam@127: 	&flush_problems($options) if ($#list_of_problems > $flushcount);
cannam@127:     } else {
cannam@127: 	print "Executing \"$program $options --can-do $problem\"\n" 
cannam@127: 	    if $verbose;
cannam@127: 	$result=`$program $options --can-do $problem`;
cannam@127: 	if ($result ne "#f\n" && $result ne "#f\r\n") {
cannam@127: 	    print "FAILED $program: $problem is not undoable\n";
cannam@127: 	    exit 1 unless $keepgoing;
cannam@127: 	}
cannam@127:     }
cannam@127: }
cannam@127: 
cannam@127: # given geometry, try both directions and in place/out of place
cannam@127: sub do_geometry {
cannam@127:     my $geom = shift;
cannam@127:     my $doablep = shift;
cannam@127:     do_problem("if$geom", $doablep);
cannam@127:     do_problem("of$geom", $doablep);
cannam@127:     do_problem("ib$geom", $doablep);
cannam@127:     do_problem("ob$geom", $doablep);
cannam@127:     do_problem("//if$geom", $doablep);
cannam@127:     do_problem("//of$geom", $doablep);
cannam@127:     do_problem("//ib$geom", $doablep);
cannam@127:     do_problem("//ob$geom", $doablep);
cannam@127: }
cannam@127: 
cannam@127: # given size, try all transform kinds (complex, real, etc.)
cannam@127: sub do_size {
cannam@127:     my $size = shift;
cannam@127:     my $doablep = shift;
cannam@127:     do_geometry("c$size", $doablep);
cannam@127:     do_geometry("r$size", $doablep);
cannam@127: }
cannam@127: 
cannam@127: sub small_0d {
cannam@127:     for ($i = 0; $i <= 16; ++$i) {
cannam@127: 	for ($j = 0; $j <= 16; ++$j) {
cannam@127: 	    for ($vl = 1; $vl <= 5; ++$vl) {
cannam@127: 		my $ivl = $i * $vl;
cannam@127: 		my $jvl = $j * $vl;
cannam@127: 		do_problem("o1v${i}:${vl}:${jvl}x${j}:${ivl}:${vl}x${vl}:1:1", 1);
cannam@127: 		do_problem("i1v${i}:${vl}:${jvl}x${j}:${ivl}:${vl}x${vl}:1:1", 1);
cannam@127: 		do_problem("ok1v${i}:${vl}:${jvl}x${j}:${ivl}:${vl}x${vl}:1:1", 1);
cannam@127: 		do_problem("ik1v${i}:${vl}:${jvl}x${j}:${ivl}:${vl}x${vl}:1:1", 1);
cannam@127: 	    }
cannam@127: 	}
cannam@127:     }
cannam@127: }
cannam@127: 
cannam@127: sub small_1d {
cannam@127:     do_size (0, 0);
cannam@127:     for ($i = 1; $i <= 100; ++$i) {
cannam@127: 	do_size ($i, 1);
cannam@127:     }
cannam@127:     do_size (128, 1);
cannam@127:     do_size (256, 1);
cannam@127:     do_size (512, 1);
cannam@127:     do_size (1024, 1);
cannam@127:     do_size (2048, 1);
cannam@127:     do_size (4096, 1);
cannam@127: }
cannam@127: 
cannam@127: sub small_2d {
cannam@127:     do_size ("0x0", 0);
cannam@127:     for ($i = 1; $i <= 100; ++$i) {
cannam@127: 	my $ub = 900/$i;
cannam@127: 	$ub = 100 if $ub > 100;
cannam@127: 	for ($j = 1; $j <= $ub; ++$j) {
cannam@127: 	    do_size ("${i}x${j}", 1);
cannam@127: 	}
cannam@127:     }
cannam@127: }
cannam@127: 
cannam@127: sub rand_small_factors {
cannam@127:     my $l = shift;
cannam@127:     my $n = 1;
cannam@127:     my $maxfactor = 13;
cannam@127:     my $f = int(rand($maxfactor) + 1);
cannam@127:     while ($n * $f < $l) {
cannam@127: 	$n *= $f;
cannam@127: 	$f = int(rand($maxfactor) + 1);
cannam@127:     };
cannam@127:     return $n;
cannam@127: }
cannam@127: 
cannam@127: # way too complicated...
cannam@127: sub one_random_test {
cannam@127:     my $q = int(2 + rand($maxsize));
cannam@127:     my $rnk = int(1 + rand(4));
cannam@127:     my $vtype = int(rand(3));
cannam@127:     my $g = int(2 + exp(log($q) / ($rnk + ($vtype > 0))));
cannam@127:     my $first = 1;
cannam@127:     my $sz = "";
cannam@127:     my $is_r2r = shift;
cannam@127:     my @r2r_kinds = ("f", "b", "h",
cannam@127: 		     "e00", "e01", "e10", "e11", "o00", "o01", "o10", "o11");
cannam@127: 
cannam@127:     while ($q > 1 && $rnk > 0) {
cannam@127: 	my $r = rand_small_factors(int(rand($g) + 10));
cannam@127: 	if ($r > 1) {
cannam@127: 	    $sz = "${sz}x" if (!$first);
cannam@127: 	    $first = 0;
cannam@127: 	    $sz = "${sz}${r}";
cannam@127: 	    if ($is_r2r) {
cannam@127: 		my $k = $r2r_kinds[int(1 + rand($#r2r_kinds))];
cannam@127: 		$sz = "${sz}${k}";
cannam@127: 	    }
cannam@127: 	    $q = int($q / $r);
cannam@127: 	    if ($g > $q) { $g = $q; }
cannam@127: 	    --$rnk;
cannam@127: 	}
cannam@127:     }
cannam@127:     if ($vtype > 0 && $g > 1) {
cannam@127: 	my $v = int(1 + rand($g));
cannam@127: 	$sz = "${sz}*${v}" if ($vtype == 1);
cannam@127: 	$sz = "${sz}v${v}" if ($vtype == 2);
cannam@127:     }
cannam@127:     if ($mpi) {
cannam@127: 	my $stype = int(rand(3));
cannam@127: 	$sz = "]${sz}" if ($stype == 1);
cannam@127: 	$sz = "[${sz}" if ($stype == 2);
cannam@127:     }
cannam@127:     $sz = "d$sz" if (int(rand(3)) == 0);
cannam@127:     if ($is_r2r) {
cannam@127: 	do_problem("ik$sz", 1);
cannam@127: 	do_problem("ok$sz", 1);
cannam@127:     }
cannam@127:     else {
cannam@127: 	do_size($sz, 1);
cannam@127:     }
cannam@127: }
cannam@127: 
cannam@127: sub random_tests {
cannam@127:     my $i;
cannam@127:     for ($i = 0; $i < $maxcount; ++$i) {
cannam@127: 	&one_random_test(0);
cannam@127: 	&one_random_test(1);
cannam@127:     }
cannam@127: }
cannam@127: 
cannam@127: sub parse_arguments (@)
cannam@127: {
cannam@127:     local (@arglist) = @_;
cannam@127: 
cannam@127:     while (@arglist)
cannam@127:     {
cannam@127: 	if ($arglist[0] eq '-v') { ++$verbose; }
cannam@127: 	elsif ($arglist[0] eq '--verbose') { ++$verbose; }
cannam@127: 	elsif ($arglist[0] eq '-p') { ++$paranoid; }
cannam@127: 	elsif ($arglist[0] eq '--paranoid') { ++$paranoid; }
cannam@127: 	elsif ($arglist[0] eq '--exhaustive') { ++$exhaustive; }
cannam@127: 	elsif ($arglist[0] eq '--patient') { ++$patient; }
cannam@127: 	elsif ($arglist[0] eq '--estimate') { ++$estimate; }
cannam@127: 	elsif ($arglist[0] eq '--wisdom') { ++$wisdom; }
cannam@127: 	elsif ($arglist[0] =~ /^--nthreads=(.+)$/) { $nthreads = $1; }
cannam@127: 	elsif ($arglist[0] eq '-k') { ++$keepgoing; }
cannam@127: 	elsif ($arglist[0] eq '--keep-going') { ++$keepgoing; }
cannam@127: 	elsif ($arglist[0] =~ /^--verify-rounds=(.+)$/) { $rounds = $1; }
cannam@127: 	elsif ($arglist[0] =~ /^--count=(.+)$/) { $maxcount = $1; }
cannam@127: 	elsif ($arglist[0] =~ /^-c=(.+)$/) { $maxcount = $1; }
cannam@127: 	elsif ($arglist[0] =~ /^--flushcount=(.+)$/) { $flushcount = $1; }
cannam@127: 	elsif ($arglist[0] =~ /^--maxsize=(.+)$/) { $maxsize = $1; }
cannam@127: 
cannam@127: 	elsif ($arglist[0] eq '--mpi') { ++$mpi; }
cannam@127: 	elsif ($arglist[0] eq '--mpi-transposed-in') {
cannam@127: 	    ++$mpi; ++$mpi_transposed_in; }
cannam@127: 	elsif ($arglist[0] eq '--mpi-transposed-out') {
cannam@127: 	    ++$mpi; ++$mpi_transposed_out; }
cannam@127: 	
cannam@127: 	elsif ($arglist[0] eq '-0d') { ++$do_0d; }
cannam@127: 	elsif ($arglist[0] eq '-1d') { ++$do_1d; }
cannam@127: 	elsif ($arglist[0] eq '-2d') { ++$do_2d; }
cannam@127: 	elsif ($arglist[0] eq '-r') { ++$do_random; }
cannam@127: 	elsif ($arglist[0] eq '--random') { ++$do_random; }
cannam@127: 	elsif ($arglist[0] eq '-a') { 
cannam@127: 	    ++$do_0d; ++$do_1d; ++$do_2d; ++$do_random; 
cannam@127: 	}
cannam@127: 
cannam@127: 	else { $program=$arglist[0]; }
cannam@127: 	shift (@arglist);
cannam@127:     }
cannam@127: }
cannam@127: 
cannam@127: # MAIN PROGRAM:
cannam@127: 
cannam@127: &parse_arguments (@ARGV);
cannam@127: 
cannam@127: &random_tests if $do_random;
cannam@127: &small_0d if $do_0d;
cannam@127: &small_1d if $do_1d;
cannam@127: &small_2d if $do_2d;
cannam@127: 
cannam@127: {
cannam@127:     my $options = &make_options;
cannam@127:     &flush_problems($options);
cannam@127: }