[PATCH] Add documentation to bench.pl.

[Akim Demaille]

        * etc/bench.pl.in: Comment changes.
---
 ChangeLog       |    5 ++++
 etc/bench.pl.in |   69 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 74 insertions(+), 0 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index ef2b6ba..2c0369b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2008-11-03  Akim Demaille  <address@hidden>
 
+       Add documentation to bench.pl.
+       * etc/bench.pl.in: Comment changes.
+
+2008-11-03  Akim Demaille  <address@hidden>
+
        Fuse the three stacks into a single one.
        In order to make it easy to perform benchmarks to ensure that there are 
no
        performance loss, lalr1.cc is forked into lalr1-fusion.cc.  Eventually,
diff --git a/etc/bench.pl.in b/etc/bench.pl.in
index ca43349..77d9975 100755
--- a/etc/bench.pl.in
+++ b/etc/bench.pl.in
@@ -17,6 +17,16 @@
 # You should have received a copy of the GNU General Public License
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+=head1 NAME
+
+bench.pl - perform benches on Bison parsers.
+
+=head1 SYNOPSIS
+
+  ./bench.pl
+
+=cut
+
 use IO::File;
 use Benchmark qw (:all);
 
@@ -25,6 +35,36 @@ my $cc = $ENV{'CC'} || 'gcc';
 
 ##################################################################
 
+=head2 Functions
+
+=over 4
+
+=item C<triangular_grammar ($base, $max, $directives)>
+
+Create a large triangular grammar which looks like :
+
+  input:
+    exp        { if ($1 != 0) abort (); $$ = $1; }
+  | input exp  { if ($2 != $1 + 1) abort (); $$ = $2; }
+  ;
+
+  exp:
+    END                         { $$ = 0; }
+  | "1"  END                    { $$ = 1; }
+  | "1" "2"  END                { $$ = 2; }
+  | "1" "2" "3"  END            { $$ = 3; }
+  | "1" "2" "3" "4"  END        { $$ = 4; }
+  | "1" "2" "3" "4" "5"  END    { $$ = 5; }
+  ;
+
+C<$base> is the base name for the file to create (C<$base.y>).
+C<$max> is the number of such rules (here, 5).  You may pass
+additional Bison C<$directives>.
+
+The created parser is self contained: it includes its scanner, and
+source of input.
+=cut
+
 sub triangular_grammar ($$$)
 {
   my ($base, $max, $directives) = @_;
@@ -112,6 +152,15 @@ EOF
 
 ##################################################################
 
+=item C<calc_input ($base, $max)>
+
+Generate the input file C<$base.input> for the calc parser.  The input
+is composed of two expressions.  The first one is using left recursion
+only and consumes no stack.  The second one requires a deep stack.
+These two expressions are repeated C<$max> times in the output file.
+
+=cut
+
 sub calc_input ($$)
 {
   my ($base, $max) = @_;
@@ -125,6 +174,13 @@ sub calc_input ($$)
 }
 
 ##################################################################
+=item C<calc_grammar ($base, $max, $directives)>
+
+Generate a Bison file C<$base.y> that for a calculator parser in C.
+Pass the additional Bison C<$directives>.  C<$max> is ignored, but
+left to have the same interface as C<triangular_grammar>.
+
+=cut
 
 sub calc_grammar ($$$)
 {
@@ -327,6 +383,12 @@ EOF
 
 ##################################################################
 
+=item C<compile ($base)>
+
+Compile C<$base.y> to an executable C<$base> using the C compiler.
+
+=cut
+
 sub compile ($)
 {
   my ($base) = @_;
@@ -336,6 +398,13 @@ sub compile ($)
     or die;
 }
 
+=item C<bench_grammar ($gram)>
+
+Generate benches for C<$gram>.  C<$gram> should be C<calc> or
+C<triangle>.
+
+=cut
+
 sub bench_grammar ($)
 {
   my ($gram) = @_;
-- 
1.6.0.2.588.g3102