etc/bench.pl.in

   1 #! /usr/bin/perl -w
   2
   3 # Copyright (C) 2006, 2008 Free Software Foundation, Inc.
   4 #
   5 # This file is part of Bison, the GNU Compiler Compiler.
   6 #
   7 # This program is free software: you can redistribute it and/or modify
   8 # it under the terms of the GNU General Public License as published by
   9 # the Free Software Foundation, either version 3 of the License, or
  10 # (at your option) any later version.
  11 #
  12 # This program is distributed in the hope that it will be useful,
  13 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 # GNU General Public License for more details.
  16 #
  17 # You should have received a copy of the GNU General Public License
  18 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
  19
  20 =head1 NAME
  21
  22 bench.pl - perform benches on Bison parsers.
  23
  24 =head1 SYNOPSIS
  25
  26   ./bench.pl
  27
  28 =head1 OPTIONS
  29
  30 =over 4
  31
  32 =item B<-c>, B<--cflags>=I<flags>
  33
  34 Flags to pass to the C or C++ compiler.
  35
  36 =item B<-i>, B<--iterations>=I<integer>
  37
  38 Say how many times a single test of the bench must be run.  If
  39 negative, specify the minimum number of CPU seconds to run.  Defaults
  40 to -3.
  41
  42 =item B<-v>, B<--verbose>
  43
  44 Raise the verbosity level.  Currently only affects B<--help>.
  45
  46 =back
  47
  48 =cut
  49
  50 use IO::File;
  51
  52 ##################################################################
  53
  54 =head1 VARIABLES
  55
  56 =over 4
  57
  58 =item C<$bison>
  59
  60 The Bison program to use to compile the grammar.
  61
  62 =item C<$cc>
  63
  64 The C compiler.
  65
  66 =item C<$cxx>
  67
  68 The C++ compiler.
  69
  70 =item C<$cflags>
  71
  72 Compiler flags (C or C++).
  73
  74 =item C<$iterations>
  75
  76 The number of times the parser is run for a bench.
  77
  78 =item C<$verbose>
  79
  80 Verbosity level.
  81
  82 =back
  83
  84 =cut
  85
  86 my $bison = $ENV{'BISON'} || '@abs_top_builddir@/tests/bison';
  87 my $cc = $ENV{'CC'} || 'gcc';
  88 my $cxx = $ENV{'CXX'} || 'g++';
  89 my $cflags = '';
  90 my $iterations = -3;
  91 my $verbose = 0;
  92
  93 =head1 FUNCTIONS
  94
  95 =over 4
  96
  97 =item C<verbose($level, $message)>
  98
  99 Report the C<$message> is C<$level> E<lt>= C<$verbose>.
 100
 101 =cut
 102
 103 sub verbose($$)
 104 {
 105   my ($level, $message) = @_;
 106   print STDERR $message
 107     if $level <= $verbose;
 108 }
 109
 110 =item C<directives($bench, @directive)>
 111
 112 Format the list of directives for Bison for bench named C<$bench>.
 113
 114 The special fake C<%variant> directive requests the use of
 115 Boost.Variants instead of a regular union.  So don't pass it, it is
 116 not a valid directive.
 117
 118 =cut
 119
 120 sub directives($@)
 121 {
 122   my ($bench, @directive) = @_;
 123   my $res = "/* Directives for bench `$bench'. */\n";
 124   for my $d (@directive)
 125     {
 126       $res .= $d . "\n"
 127         unless $d eq '%variant';
 128     }
 129   $res .= "/* End of directives for bench `$bench'. */\n";
 130   return $res;
 131 }
 132
 133 =item C<triangular_grammar ($base, $max, @directive)>
 134
 135 Create a large triangular grammar which looks like :
 136
 137   input:
 138     exp        { if ($1 != 0) abort (); $$ = $1; }
 139   | input exp  { if ($2 != $1 + 1) abort (); $$ = $2; }
 140   ;
 141
 142   exp:
 143     END                         { $$ = 0; }
 144   | "1"  END                    { $$ = 1; }
 145   | "1" "2"  END                { $$ = 2; }
 146   | "1" "2" "3"  END            { $$ = 3; }
 147   | "1" "2" "3" "4"  END        { $$ = 4; }
 148   | "1" "2" "3" "4" "5"  END    { $$ = 5; }
 149   ;
 150
 151 C<$base> is the base name for the file to create (F<$base.y>).
 152 C<$max> is the number of such rules (here, 5).  You may pass
 153 additional Bison C<@directive>.
 154
 155 The created parser is self contained: it includes its scanner, and
 156 source of input.
 157 =cut
 158
 159 sub triangular_grammar ($$$)
 160 {
 161   my ($base, $max, @directive) = @_;
 162   my $directives = directives ($base, @directive);
 163
 164   my $out = new IO::File ">$base.y"
 165     or die;
 166   print $out <<EOF;
 167 %error-verbose
 168 %debug
 169 %{
 170 #include <stdio.h>
 171 #include <stdlib.h>
 172
 173 static int yylex (void);
 174 static void yyerror (const char *msg);
 175 %}
 176 $directives
 177 %union
 178 {
 179   int val;
 180 };
 181
 182 %token END "end"
 183 %type <val> exp input
 184 EOF
 185
 186   for my $size (1 .. $max)
 187     {
 188       print $out "%token t$size $size \"$size\"\n";
 189     };
 190
 191 print $out <<EOF;
 192 %%
 193 input:
 194   exp        { if (\$1 != 0) abort (); \$\$ = \$1; }
 195 | input exp  { if (\$2 != \$1 + 1) abort (); \$\$ = \$2; }
 196 ;
 197
 198 exp:
 199   END
 200     { \$\$ = 0; }
 201 EOF
 202
 203 for my $size (1 .. $max)
 204   {
 205     use Text::Wrap;
 206     print $out wrap ("| ", "   ",
 207                      (map { "\"$_\"" } (1 .. $size)),
 208                      " END \n"),
 209                "    { \$\$ = $size; }\n";
 210   };
 211 print $out ";\n";
 212
 213 print $out <<EOF;
 214 %%
 215 static int
 216 yylex (void)
 217 {
 218   static int inner = 1;
 219   static int outer = 0;
 220   if (outer > $max)
 221     return 0;
 222   else if (inner > outer)
 223     {
 224       inner = 1;
 225       ++outer;
 226       return END;
 227     }
 228   return inner++;
 229 }
 230
 231 static void
 232 yyerror (const char *msg)
 233 {
 234   fprintf (stderr, "%s\\n", msg);
 235 }
 236
 237 int
 238 main (void)
 239 {
 240   yydebug = !!getenv ("YYDEBUG");
 241   return yyparse ();
 242 }
 243 EOF
 244 }
 245
 246 ##################################################################
 247
 248 =item C<calc_input ($base, $max)>
 249
 250 Generate the input file F<$base.input> for the calc parser.  The input
 251 is composed of two expressions.  The first one is using left recursion
 252 only and consumes no stack.  The second one requires a deep stack.
 253 These two expressions are repeated C<$max> times in the output file.
 254
 255 =cut
 256
 257 sub calc_input ($$)
 258 {
 259   my ($base, $max) = @_;
 260   my $out = new IO::File ">$base.input"
 261     or die;
 262   foreach (1 .. $max)
 263     {
 264       print $out "0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16+17+18+19+20+21+22+23+24+25+26+27+28+29+30+31+32+33+34+35+36+37+38+39+40+41+42+43+44+45+46+47+48+49+50+51+52+53+54+55+56+57+58+59+60+61+62+63+64+65+66+67+68+69+70+71+72+73+74+75+76+77+78+79+80+81+82+83+84+85+86+87+88+89+90+91+92+93+94+95+96+97+98+99\n";
 265       print $out "1+1*(2+2*(3+3*(4+4*(5+5*(6+6*(7+7*(8+8*(9+9*(10+10*(11+11*(12+12*(13+13*(14+14*(15+15*(16+16*(17+17*(18+18*(19+19*(20+20*(21+21*(22+22*(23+23*(24+24*(25+25*(26+26*(27+27*(28+28*(29+29*(30+30*(31+31*(32+32*(33+33*(34+34*(35+35*(36+36*(37+37*(38+38*(39+39*(40+40*(41+41*(42+42*(43+43*(44+44*(45+45*(46+46*(47+47*(48+48*(49+49*(50+50*(51+51*(52+52*(53+53*(54+54*(55+55*(56+56*(57+57*(58+58*(59+59*(60+60*(61+61*(62+62*(63+63*(64+64*(65+65*(66+66*(67+67*(68+68*(69+69*(70+70*(71+71*(72+72*(73+73*(74+74*(75+75*(76+76*(77+77*(78+78*(79+79*(80+80*(81+81*(82+82*(83+83*(84+84*(85+85*(86+86*(87+87*(88+88*(89+89*(90+90*(91+91*(92+92*(93+93*(94+94*(95+95*(96+96*(97+97*(98+98*(99+99*(100+100*(101+101*(102+102*(103+103*(104+104*(105+105*(106+106*(107+107*(108+108*(109+109*(110+110*(111+111*(112+112*(113+113*(114+114*(115+115*(116+116*(117+117*(118+118*(119+119*(120+120*(121+121*(122+122*(123+123*(124+124*(125+125*(126+126*(127+127*(128+128*(129+129*(130+130*(131+131*(132+132*(133+133*(134+134*(135+135*(136+136*(137+137*(138+138*(139+139*(140+140*(141+141*(142+142*(143+143*(144+144*(145+145*(146+146*(147+147*(148+148*(149+149*(150+150*(151+151*(152+152*(153+153*(154+154*(155+155*(156+156*(157+157*(158+158*(159+159*(160+160*(161+161*(162+162*(163+163*(164+164*(165+165*(166+166*(167+167*(168+168*(169+169*(170+170*(171+171*(172+172*(173+173*(174+174*(175+175*(176+176*(177+177*(178+178*(179+179*(180+180*(181+181*(182+182*(183+183*(184+184*(185+185*(186+186*(187+187*(188+188*(189+189*(190+190*(191+191*(192+192*(193+193*(194+194*(195+195*(196+196*(197+197*(198+198*(199+199*(200+200*(201+201*(202+202*(203+203*(204+204*(205+205*(206+206*(207+207*(208+208*(209+209*(210+210*(211+211*(212+212*(213+213*(214+214*(215+215*(216+216*(217+217*(218+218*(219+219*(220+220*(221+221*(222+222*(223+223*(224+224*(225+225*(226+226*(227+227*(228+228*(229+229*(230+230*(231+231*(232+232*(233+233*(234+234*(235+235*(236+236*(237+237*(238+238*(239+239*(240+240*(241+241*(242+242*(243+243*(244+244*(245+245*(246+246*(247+247*(248+248*(249+249*(250+250*(251+251*(252+252*(253+253*(254+254*(255+255*(256+256*(257+257*(258+258*(259+259*(260+260*(261+261*(262+262*(263+263*(264+264*(265+265*(266+266*(267+267*(268+268*(269+269*(270+270*(271+271*(272+272*(273+273*(274+274*(275+275*(276+276*(277+277*(278+278*(279+279*(280+280*(281+281*(282+282*(283+283*(284+284*(285+285*(286+286*(287+287*(288+288*(289+289*(290+290*(291+291*(292+292*(293+293*(294+294*(295+295*(296+296*(297+297*(298+298*(299+299*(300+300*(301+301*(302+302*(303+303*(304+304*(305+305*(306+306*(307+307*(308+308*(309+309*(310+310*(311+311*(312+312*(313+313*(314+314*(315+315*(316+316*(317+317*(318+318*(319+319*(320+320*(321+321*(322+322*(323+323*(324+324*(325+325*(326+326*(327+327*(328+328*(329+329*(330+330*(331+331*(332+332*(333+333*(334+334*(335+335*(336+336*(337+337*(338+338*(339+339*(340+340*(341+341*(342+342*(343+343*(344+344*(345+345*(346+346*(347+347*(348+348*(349+349*(350+350*(351+351*(352+352*(353+353*(354+354*(355+355*(356+356*(357+357*(358+358*(359+359*(360+360*(361+361*(362+362*(363+363*(364+364*(365+365*(366+366*(367+367*(368+368*(369+369*(370+370*(371+371*(372+372*(373+373*(374+374*(375+375*(376+376*(377+377*(378+378*(379+379*(380+380*(381+381*(382+382*(383+383*(384+384*(385+385*(386+386*(387+387*(388+388*(389+389*(390+390*(391+391*(392+392*(393+393*(394+394*(395+395*(396+396*(397+397*(398+398*(399+399*(400+400*(401+401*(402+402*(403+403*(404+404*(405+405*(406+406*(407+407*(408+408*(409+409*(410+410*(411+411*(412+412*(413+413*(414+414*(415+415*(416+416*(417+417*(418+418*(419+419*(420+420*(421+421*(422+422*(423+423*(424+424*(425+425*(426+426*(427+427*(428+428*(429+429*(430+430*(431+431*(432+432*(433+433*(434+434*(435+435*(436+436*(437+437*(438+438*(439+439*(440+440*(441+441*(442+442*(443+443*(444+444*(445+445*(446+446*(447+447*(448+448*(449+449*(450+450*(451+451*(452+452*(453+453*(454+454*(455+455*(456+456*(457+457*(458+458*(459+459*(460+460*(461+461*(462+462*(463+463*(464+464*(465+465*(466+466*(467+467*(468+468*(469+469*(470+470*(471+471*(472+472*(473+473*(474+474*(475+475*(476+476*(477+477*(478+478*(479+479*(480+480*(481+481*(482+482*(483+483*(484+484*(485+485*(486+486*(487+487*(488+488*(489+489*(490+490*(491+491*(492+492*(493+493*(494+494*(495+495*(496+496*(497+497*(498+498*(499+499*(500+500*(501+501*(502+502*(503+503*(504+504*(505+505*(506+506*(507+507*(508+508*(509+509*(510+510*(511+511*(512+512*(513+513*(514+514*(515+515*(516+516*(517+517*(518+518*(519+519*(520+520*(521+521*(522+522*(523+523*(524+524*(525+525*(526+526*(527+527*(528+528*(529+529*(530+530*(531+531*(532+532*(533+533*(534+534*(535+535*(536+536*(537+537*(538+538*(539+539*(540+540*(541+541*(542+542*(543+543*(544+544*(545+545*(546+546*(547+547*(548+548*(549+549*(550+550*(551+551*(552+552*(553+553*(554+554*(555+555*(556+556*(557+557*(558+558*(559+559*(560+560*(561+561*(562+562*(563+563*(564+564*(565+565*(566+566*(567+567*(568+568*(569+569*(570+570*(571+571*(572+572*(573+573*(574+574*(575+575*(576+576*(577+577*(578+578*(579+579*(580+580*(581+581*(582+582*(583+583*(584+584*(585+585*(586+586*(587+587*(588+588*(589+589*(590+590*(591+591*(592+592*(593+593*(594+594*(595+595*(596+596*(597+597*(598+598*(599+599*(600+600*(601+601*(602+602*(603+603*(604+604*(605+605*(606+606*(607+607*(608+608*(609+609*(610+610*(611+611*(612+612*(613+613*(614+614*(615+615*(616+616*(617+617*(618+618*(619+619*(620+620*(621+621*(622+622*(623+623*(624+624*(625+625*(626+626*(627+627*(628+628*(629+629*(630+630*(631+631*(632+632*(633+633*(634+634*(635+635*(636+636*(637+637*(638+638*(639+639*(640+640*(641+641*(642+642*(643+643*(644+644*(645+645*(646+646*(647+647*(648+648*(649+649*(650+650*(651+651*(652+652*(653+653*(654+654*(655+655*(656+656*(657+657*(658+658*(659+659*(660+660*(661+661*(662+662*(663+663*(664+664*(665+665*(666+666*(667+667*(668+668*(669+669*(670+670*(671+671*(672+672*(673+673*(674+674*(675+675*(676+676*(677+677*(678+678*(679+679*(680+680*(681+681*(682+682*(683+683*(684+684*(685+685*(686+686*(687+687*(688+688*(689+689*(690+690*(691+691*(692+692*(693+693*(694+694*(695+695*(696+696*(697+697*(698+698*(699+699*(700+700*(701+701*(702+702*(703+703*(704+704*(705+705*(706+706*(707+707*(708+708*(709+709*(710+710*(711+711*(712+712*(713+713*(714+714*(715+715*(716+716*(717+717*(718+718*(719+719*(720+720*(721+721*(722+722*(723+723*(724+724*(725+725*(726+726*(727+727*(728+728*(729+729*(730+730*(731+731*(732+732*(733+733*(734+734*(735+735*(736+736*(737+737*(738+738*(739+739*(740+740*(741+741*(742+742*(743+743*(744+744*(745+745*(746+746*(747+747*(748+748*(749+749*(750+750*(751+751*(752+752*(753+753*(754+754*(755+755*(756+756*(757+757*(758+758*(759+759*(760+760*(761+761*(762+762*(763+763*(764+764*(765+765*(766+766*(767+767*(768+768*(769+769*(770+770*(771+771*(772+772*(773+773*(774+774*(775+775*(776+776*(777+777*(778+778*(779+779*(780+780*(781+781*(782+782*(783+783*(784+784*(785+785*(786+786*(787+787*(788+788*(789+789*(790+790*(791+791*(792+792*(793+793*(794+794*(795+795*(796+796*(797+797*(798+798*(799+799*(800+800*(801+801*(802+802*(803+803*(804+804*(805+805*(806+806*(807+807*(808+808*(809+809*(810+810*(811+811*(812+812*(813+813*(814+814*(815+815*(816+816*(817+817*(818+818*(819+819*(820+820*(821+821*(822+822*(823+823*(824+824*(825+825*(826+826*(827+827*(828+828*(829+829*(830+830*(831+831*(832+832*(833+833*(834+834*(835+835*(836+836*(837+837*(838+838*(839+839*(840+840*(841+841*(842+842*(843+843*(844+844*(845+845*(846+846*(847+847*(848+848*(849+849*(850+850*(851+851*(852+852*(853+853*(854+854*(855+855*(856+856*(857+857*(858+858*(859+859*(860+860*(861+861*(862+862*(863+863*(864+864*(865+865*(866+866*(867+867*(868+868*(869+869*(870+870*(871+871*(872+872*(873+873*(874+874*(875+875*(876+876*(877+877*(878+878*(879+879*(880+880*(881+881*(882+882*(883+883*(884+884*(885+885*(886+886*(887+887*(888+888*(889+889*(890+890*(891+891*(892+892*(893+893*(894+894*(895+895*(896+896*(897+897*(898+898*(899+899*(900+900*(901+901*(902+902*(903+903*(904+904*(905+905*(906+906*(907+907*(908+908*(909+909*(910+910*(911+911*(912+912*(913+913*(914+914*(915+915*(916+916*(917+917*(918+918*(919+919*(920+920*(921+921*(922+922*(923+923*(924+924*(925+925*(926+926*(927+927*(928+928*(929+929*(930+930*(931+931*(932+932*(933+933*(934+934*(935+935*(936+936*(937+937*(938+938*(939+939*(940+940*(941+941*(942+942*(943+943*(944+944*(945+945*(946+946*(947+947*(948+948*(949+949*(950+950*(951+951*(952+952*(953+953*(954+954*(955+955*(956+956*(957+957*(958+958*(959+959*(960+960*(961+961*(962+962*(963+963*(964+964*(965+965*(966+966*(967+967*(968+968*(969+969*(970+970*(971+971*(972+972*(973+973*(974+974*(975+975*(976+976*(977+977*(978+978*(979+979*(980+980*(981+981*(982+982*(983+983*(984+984*(985+985*(986+986*(987+987*(988+988*(989+989*(990+990*(991+991*(992+992*(993+993*(994+994*(995+995*(996+996*(997+997*(998+998*(999+999*(1000+1000*(1001))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))\n";
 266     }
 267 }
 268
 269 ##################################################################
 270 =item C<calc_grammar ($base, $max, @directive)>
 271
 272 Generate a Bison file F<$base.y> for a calculator parser in C.  Pass
 273 the additional Bison C<@directive>.  C<$max> is ignored, but left to
 274 have the same interface as C<triangular_grammar>.
 275
 276 =cut
 277
 278 sub calc_grammar ($$$)
 279 {
 280   my ($base, $max, @directive) = @_;
 281   my $directives = directives ($base, @directive);
 282
 283   my $out = new IO::File ">$base.y"
 284     or die;
 285   print $out <<EOF;
 286 %{
 287 #include <stdio.h>
 288
 289 #include <stdlib.h>
 290 #include <string.h>
 291 #include <ctype.h>
 292 #define USE(Var)
 293
 294 /* Exercise pre-prologue dependency to %union.  */
 295 typedef int semantic_value;
 296
 297 static semantic_value global_result = 0;
 298 static int global_count = 0;
 299 %}
 300
 301 $directives
 302 %error-verbose
 303 /* Exercise %union. */
 304 %union
 305 {
 306   semantic_value ival;
 307 };
 308
 309 %{
 310 static int power (int base, int exponent);
 311 /* yyerror receives the location if:
 312    - %location & %pure & %glr
 313    - %location & %pure & %yacc & %parse-param. */
 314 static void yyerror (const char *s);
 315 #if YYPURE
 316 static int yylex (YYSTYPE* yylvalp);
 317 #else
 318 static int yylex (void);
 319 #endif
 320 %}
 321
 322 /* Bison Declarations */
 323 %token CALC_EOF 0 "end of input"
 324 %token <ival> NUM "number"
 325 %type  <ival> exp
 326
 327 %nonassoc '=' /* comparison            */
 328 %left '-' '+'
 329 %left '*' '/'
 330 %left NEG     /* negation--unary minus */
 331 %right '^'    /* exponentiation        */
 332
 333 /* Grammar follows */
 334 %%
 335 input:
 336   line
 337 | input line
 338 ;
 339
 340 line:
 341   '\\n'
 342 | exp '\\n'           { USE (\$1); }
 343 ;
 344
 345 exp:
 346   NUM                { \$\$ = \$1;             }
 347 | exp '=' exp
 348   {
 349     if (\$1 != \$3)
 350       fprintf (stderr, "calc: error: %d != %d\\n", \$1, \$3);
 351     \$\$ = \$1;
 352   }
 353 | exp '+' exp        { \$\$ = \$1 + \$3;        }
 354 | exp '-' exp        { \$\$ = \$1 - \$3;        }
 355 | exp '*' exp        { \$\$ = \$1 * \$3;        }
 356 | exp '/' exp        { \$\$ = \$1 / \$3;        }
 357 | '-' exp  %prec NEG { \$\$ = -\$2;            }
 358 | exp '^' exp        { \$\$ = power (\$1, \$3); }
 359 | '(' exp ')'        { \$\$ = \$2;             }
 360 | '(' error ')'      { \$\$ = 1111;           }
 361 | '!'                { \$\$ = 0; YYERROR;     }
 362 | '-' error          { \$\$ = 0; YYERROR;     }
 363 ;
 364 %%
 365 /* The input.  */
 366 static FILE *input;
 367
 368 static void
 369 yyerror (const char *s)
 370 {
 371   fprintf (stderr, "%s\\n", s);
 372 }
 373
 374 static int
 375 get_char (void)
 376 {
 377   return getc (input);
 378 }
 379
 380
 381 static void
 382 unget_char ( int c)
 383 {
 384   ungetc (c, input);
 385 }
 386
 387 static int
 388 read_signed_integer (void)
 389 {
 390   int c = get_char ();
 391   int sign = 1;
 392   int n = 0;
 393
 394   if (c == '-')
 395     {
 396       c = get_char ();
 397       sign = -1;
 398     }
 399
 400   while (isdigit (c))
 401     {
 402       n = 10 * n + (c - '0');
 403       c = get_char ();
 404     }
 405
 406   unget_char (c);
 407
 408   return sign * n;
 409 }
 410
 411 static int
 412 #if YYPURE
 413 # define yylval (*yylvalp)
 414 yylex (YYSTYPE* yylvalp)
 415 #else
 416 yylex (void)
 417 #endif
 418 {
 419   int c;
 420
 421   /* Skip white space.  */
 422   while ((c = get_char ()) == ' ' || c == '\t')
 423     continue;
 424
 425   /* process numbers   */
 426   if (c == '.' || isdigit (c))
 427     {
 428       unget_char ( c);
 429       yylval.ival = read_signed_integer ();
 430       return NUM;
 431     }
 432
 433   /* Return end-of-file.  */
 434   if (c == EOF)
 435     return CALC_EOF;
 436
 437   /* Return single chars. */
 438   return c;
 439 }
 440
 441 static int
 442 power (int base, int exponent)
 443 {
 444   int res = 1;
 445   if (exponent < 0)
 446     exit (3);
 447   for (/* Niente */; exponent; --exponent)
 448     res *= base;
 449   return res;
 450 }
 451
 452
 453 int
 454 main (int argc, const char **argv)
 455 {
 456   semantic_value result = 0;
 457   int count = 0;
 458   int status;
 459
 460   input = fopen ("calc.input", "r");
 461   if (!input)
 462     {
 463       perror ("calc.input");
 464       return 3;
 465     }
 466
 467   status = yyparse ();
 468   if (global_result != result)
 469     abort ();
 470   if (global_count != count)
 471     abort ();
 472
 473   return status;
 474 }
 475 EOF
 476 }
 477
 478 ##################################################################
 479
 480 =item C<variant_grammar ($base, $max, @directive)>
 481
 482 Generate a Bison file F<$base.y> that uses, or not, the Boost.Variants
 483 depending on the C<@directive>.
 484
 485 =cut
 486
 487 sub variant_grammar ($$$)
 488 {
 489   my ($base, $max, @directive) = @_;
 490   my $directives = directives ($base, @directive);
 491   my $variant = grep { $_ eq '%variant' } @directive;
 492
 493   my $out = new IO::File ">$base.y"
 494     or die;
 495   print $out <<EOF;
 496 %language "C++"
 497 %defines
 498 $directives
 499
 500 %code requires // variant.h
 501 {
 502 #include <string>
 503 }
 504
 505 %code // variant.c
 506 {
 507 #include <algorithm>
 508 #include <iostream>
 509 #include <sstream>
 510
 511 // Prototype of the yylex function providing subsequent tokens.
 512 static yy::parser::token_type yylex(yy::parser::semantic_type* yylval);
 513
 514 #define STAGE_MAX    ($max * 10)
 515 #define USE_VARIANTS $variant
 516 #if USE_VARIANTS
 517 # define IF_VARIANTS(True, False) True
 518 #else
 519 # define IF_VARIANTS(True, False) False
 520 #endif
 521 }
 522 EOF
 523
 524   if ($variant)
 525     {
 526       print $out <<'EOF';
 527 %code variant {int,std::string}
 528 %token <std::string> TEXT
 529 %token <int> NUMBER
 530 %printer { std::cerr << "Number: " << $$; } <int>
 531 %printer { std::cerr << "Text: " << $$; } <std::string>
 532 %token END_OF_FILE 0
 533 %type <std::string> text result
 534
 535 %%
 536 result:
 537   text                  { /* Throw away the result. */ }
 538 ;
 539
 540 text:
 541   /* nothing */         { /* This will generate an empty string */ }
 542 | text TEXT             { std::swap($$,$1); $$.append($2); }
 543 | text NUMBER           {
 544                           std::swap($$,$1);
 545                           std::ostringstream ss;
 546                           ss << ' ' << $2;
 547                           $$.append(ss.str());
 548                          }
 549 ;
 550 EOF
 551     }
 552   else
 553     {
 554       # Not using Boost variants.
 555       print $out <<'EOF';
 556 %union {int ival; std::string* sval;}
 557 %token <sval> TEXT
 558 %token <ival> NUMBER
 559 %printer { std::cerr << "Number: " << $$; } <ival>
 560 %printer { std::cerr << "Text: " << *$$; } <sval>
 561 %token END_OF_FILE 0
 562 %type <sval> text result
 563
 564 %%
 565 result:
 566   text                  { delete $1; }
 567 ;
 568
 569 text:
 570   /* nothing */         { $$ = new std::string; }
 571 | text TEXT             { $$->append(*$2); delete $2; }
 572 | text NUMBER           {
 573                           std::ostringstream ss;
 574                           ss << ' ' << $2;
 575                           $$->append(ss.str());
 576                          }
 577 ;
 578 EOF
 579     }
 580
 581   print $out <<'EOF';
 582 %%
 583 static
 584 yy::parser::token_type
 585 yylex(yy::parser::semantic_type* yylval)
 586 {
 587   static int stage = -1;
 588   ++stage;
 589   if (stage == STAGE_MAX)
 590     return yy::parser::token::END_OF_FILE;
 591   else if (stage % 2)
 592     {
 593       IF_VARIANTS(*yylval, yylval->ival) = stage;
 594       return yy::parser::token::NUMBER;
 595     }
 596   else
 597     {
 598       IF_VARIANTS(*yylval =, yylval->sval = new) std::string("A string.");
 599       return yy::parser::token::TEXT;
 600     }
 601   abort();
 602 }
 603
 604 // Mandatory error function
 605 void
 606 yy::parser::error(const yy::parser::location_type& yylloc,
 607                   const std::string& message)
 608 {
 609   std::cerr << yylloc << ": " << message << std::endl;
 610 }
 611
 612 int main(int argc, char *argv[])
 613 {
 614   yy::parser p;
 615 #if YYDEBUG
 616   p.set_debug_level(!!getenv("YYDEBUG"));
 617 #endif
 618   p.parse();
 619   return 0;
 620 }
 621 EOF
 622 }
 623
 624 ##################################################################
 625
 626 =item C<compile ($base)>
 627
 628 Compile C<$base.y> to an executable C, Using the C or C++ compiler
 629 depending on the %language specification in C<$base.y>.
 630
 631 =cut
 632
 633 sub compile ($)
 634 {
 635   my ($base) = @_;
 636   my $language = `sed -ne '/%language "\\(.*\\)"/{s//\\1/;p;q;}' $base.y`;
 637   chomp $language;
 638
 639   my $compiler = $language eq 'C++' ? $cxx : $cc;
 640
 641   system ("$bison $base.y -o $base.c") == 0
 642     or die;
 643   system ("$compiler -o $base $cflags $base.c") == 0
 644     or die;
 645 }
 646
 647 =item C<bench_grammar ($gram, %bench)>
 648
 649 Generate benches for C<$gram>.  C<$gram> should be C<calc> or
 650 C<triangle>.  C<%bench> is a hash of the form:
 651
 652   $name => @directive
 653
 654 where C<$name> is the name of the bench, and C<@directive> are the
 655 Bison directive to use for this bench.  All the benches are compared
 656 against each other, repeated 50 times.
 657
 658 =cut
 659
 660 sub bench_grammar ($%)
 661 {
 662   my ($gram, %test) = @_;
 663
 664   use Benchmark qw (:all :hireswallclock);
 665
 666   # Set up the benches as expected by timethese.
 667   my %bench;
 668   # For each bench, capture the size.
 669   my %size;
 670   while (my ($name, $directives) = each %test)
 671     {
 672       verbose 1, "Generating $name\n";
 673       # Call the Bison input file generator.
 674       my $generator = "$gram" . "_grammar";
 675       &$generator ($name, 200, @$directives);
 676       # Compile the executable.
 677       compile ($name);
 678       $bench{$name} = "system ('./$name');";
 679       chop($size{$name} = `wc -c <$name`);
 680     }
 681
 682   # Run the benches.
 683   #
 684   # STYLE can be any of 'all', 'none', 'noc', 'nop' or 'auto'.  'all'
 685   # shows each of the 5 times available ('wallclock' time, user time,
 686   # system time, user time of children, and system time of
 687   # children). 'noc' shows all except the two children times. 'nop'
 688   # shows only wallclock and the two children times.  'auto' (the
 689   # default) will act as 'all' unless the children times are both
 690   # zero, in which case it acts as 'noc'.  'none' prevents output.
 691   verbose 1, "Running the benches for $gram\n";
 692   my $res = timethese ($iterations, \%bench, 'nop');
 693
 694   # Output the speed result.
 695   cmpthese ($res, 'nop');
 696
 697   # Display the sizes.
 698   print "Sizes:\n";
 699   my $width = 10;
 700   for my $bench (keys %size)
 701     {
 702       $width = length $bench
 703         if $width < length $bench;
 704     }
 705   for my $bench (keys %size)
 706     {
 707       printf "%${width}s: %5dkB\n", $bench, int ($size{$bench} / 1024);
 708     }
 709 }
 710
 711
 712 =item C<bench_push_parser ()>
 713
 714 Bench the C push parser against the pull parser, pure and impure
 715 interfaces.
 716
 717 =cut
 718
 719 sub bench_push_parser ()
 720 {
 721   calc_input ('calc', 200);
 722   bench_grammar
 723     ('calc',
 724      (
 725       "pull-impure" => [],
 726       "pull-pure"   => ['%define api.pure'],
 727       "push-impure" => ['%define api.push_pull "both"'],
 728       "push-pure"   => ['%define api.push_pull "both"', '%define api.pure'],
 729      )
 730     );
 731 }
 732
 733 =item C<bench_variant_parser ()>
 734
 735 Bench the C++ lalr1.cc parser using Boost.Variants or %union.
 736
 737 =cut
 738
 739 sub bench_variant_parser ()
 740 {
 741   bench_grammar
 742     ('variant',
 743      (
 744       "union"         => [],
 745       "variant"       => ['%variant'],
 746       "union-debug"   => ['%debug'],
 747       "variant-debug" => ['%debug', '%variant'],
 748      )
 749     );
 750 }
 751
 752 =item C<bench_fusion_parser ()>
 753
 754 Bench the C++ lalr1.cc parser using Boost.Variants or %union.
 755
 756 =cut
 757
 758 sub bench_fusion_parser ()
 759 {
 760   bench_grammar
 761     ('variant',
 762      (
 763       "split"         => [],
 764       "fused"         => ['%skeleton "lalr1-fusion.cc"'],
 765      )
 766     );
 767 }
 768
 769 ############################################################################
 770
 771 sub help ($)
 772 {
 773   my ($verbose) = @_;
 774   use Pod::Usage;
 775   # See <URL:http://perldoc.perl.org/pod2man.html#NOTES>.
 776   pod2usage( { -message => "Bench Bison parsers",
 777                -exitval => 0,
 778                -verbose => $verbose,
 779                -output  => \*STDOUT });
 780 }
 781
 782 sub getopt ()
 783 {
 784   use Getopt::Long;
 785   %option = ("h|help"     => sub { help ($verbose) },
 786              "v|verbose"  => sub { ++$verbose },
 787              "c|cflags=s" => \$cflags,
 788              "i|iterations=i" => \$iterations);
 789   Getopt::Long::Configure ("bundling", "pass_through");
 790   GetOptions (%option)
 791     or exit 1;
 792 }
 793
 794 ######################################################################
 795
 796 getopt;
 797 verbose 1, "Using bison=$bison.\n";
 798 verbose 1, "Using cc=$cc.\n";
 799 verbose 1, "Using cxx=$cxx.\n";
 800 verbose 1, "Using cflags=$cflags.\n";
 801 # bench_push_parser();
 802 # bench_variant_parser();
 803 bench_fusion_parser();
 804
 805 ### Setup "GNU" style for perl-mode and cperl-mode.
 806 ## Local Variables:
 807 ## perl-indent-level: 2
 808 ## perl-continued-statement-offset: 2
 809 ## perl-continued-brace-offset: 0
 810 ## perl-brace-offset: 0
 811 ## perl-brace-imaginary-offset: 0
 812 ## perl-label-offset: -2
 813 ## cperl-indent-level: 2
 814 ## cperl-brace-offset: 0
 815 ## cperl-continued-brace-offset: 0
 816 ## cperl-label-offset: -2
 817 ## cperl-extra-newline-before-brace: t
 818 ## cperl-merge-trailing-else: nil
 819 ## cperl-continued-statement-offset: 2
 820 ## End: