105436638acc7c010349a69c3395f1a57c642dc62Ying Wang#! /usr/bin/perl -w 205436638acc7c010349a69c3395f1a57c642dc62Ying Wang 305436638acc7c010349a69c3395f1a57c642dc62Ying Wang# Copyright (C) 2006, 2008-2012 Free Software Foundation, Inc. 405436638acc7c010349a69c3395f1a57c642dc62Ying Wang# 505436638acc7c010349a69c3395f1a57c642dc62Ying Wang# This file is part of Bison, the GNU Compiler Compiler. 605436638acc7c010349a69c3395f1a57c642dc62Ying Wang# 705436638acc7c010349a69c3395f1a57c642dc62Ying Wang# This program is free software: you can redistribute it and/or modify 805436638acc7c010349a69c3395f1a57c642dc62Ying Wang# it under the terms of the GNU General Public License as published by 905436638acc7c010349a69c3395f1a57c642dc62Ying Wang# the Free Software Foundation, either version 3 of the License, or 1005436638acc7c010349a69c3395f1a57c642dc62Ying Wang# (at your option) any later version. 1105436638acc7c010349a69c3395f1a57c642dc62Ying Wang# 1205436638acc7c010349a69c3395f1a57c642dc62Ying Wang# This program is distributed in the hope that it will be useful, 1305436638acc7c010349a69c3395f1a57c642dc62Ying Wang# but WITHOUT ANY WARRANTY; without even the implied warranty of 1405436638acc7c010349a69c3395f1a57c642dc62Ying Wang# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 1505436638acc7c010349a69c3395f1a57c642dc62Ying Wang# GNU General Public License for more details. 1605436638acc7c010349a69c3395f1a57c642dc62Ying Wang# 1705436638acc7c010349a69c3395f1a57c642dc62Ying Wang# You should have received a copy of the GNU General Public License 1805436638acc7c010349a69c3395f1a57c642dc62Ying Wang# along with this program. If not, see <http://www.gnu.org/licenses/>. 1905436638acc7c010349a69c3395f1a57c642dc62Ying Wang 2005436638acc7c010349a69c3395f1a57c642dc62Ying Wanguse IO::File; 2105436638acc7c010349a69c3395f1a57c642dc62Ying Wanguse Benchmark qw (:all); 2205436638acc7c010349a69c3395f1a57c642dc62Ying Wang 2305436638acc7c010349a69c3395f1a57c642dc62Ying Wangmy $bison = $ENV{'BISON'} || '@abs_top_builddir@/tests/bison'; 2405436638acc7c010349a69c3395f1a57c642dc62Ying Wangmy $cc = $ENV{'CC'} || 'gcc'; 2505436638acc7c010349a69c3395f1a57c642dc62Ying Wang 2605436638acc7c010349a69c3395f1a57c642dc62Ying Wang################################################################## 2705436638acc7c010349a69c3395f1a57c642dc62Ying Wang 2805436638acc7c010349a69c3395f1a57c642dc62Ying Wangsub triangular_grammar ($$$) 2905436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 3005436638acc7c010349a69c3395f1a57c642dc62Ying Wang my ($base, $max, $directives) = @_; 3105436638acc7c010349a69c3395f1a57c642dc62Ying Wang 3205436638acc7c010349a69c3395f1a57c642dc62Ying Wang my $out = new IO::File ">$base.y" 3305436638acc7c010349a69c3395f1a57c642dc62Ying Wang or die; 3405436638acc7c010349a69c3395f1a57c642dc62Ying Wang print $out <<EOF; 3505436638acc7c010349a69c3395f1a57c642dc62Ying Wang%error-verbose 3605436638acc7c010349a69c3395f1a57c642dc62Ying Wang%debug 3705436638acc7c010349a69c3395f1a57c642dc62Ying Wang%{ 3805436638acc7c010349a69c3395f1a57c642dc62Ying Wang#include <stdio.h> 3905436638acc7c010349a69c3395f1a57c642dc62Ying Wang#include <stdlib.h> 4005436638acc7c010349a69c3395f1a57c642dc62Ying Wang 4105436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic int yylex (void); 4205436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic void yyerror (const char *msg); 4305436638acc7c010349a69c3395f1a57c642dc62Ying Wang%} 4405436638acc7c010349a69c3395f1a57c642dc62Ying Wang%union 4505436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 4605436638acc7c010349a69c3395f1a57c642dc62Ying Wang int val; 4705436638acc7c010349a69c3395f1a57c642dc62Ying Wang}; 4805436638acc7c010349a69c3395f1a57c642dc62Ying Wang 4905436638acc7c010349a69c3395f1a57c642dc62Ying Wang%token END "end" 5005436638acc7c010349a69c3395f1a57c642dc62Ying Wang%type <val> exp input 5105436638acc7c010349a69c3395f1a57c642dc62Ying WangEOF 5205436638acc7c010349a69c3395f1a57c642dc62Ying Wang 5305436638acc7c010349a69c3395f1a57c642dc62Ying Wang for my $size (1 .. $max) 5405436638acc7c010349a69c3395f1a57c642dc62Ying Wang { 5505436638acc7c010349a69c3395f1a57c642dc62Ying Wang print $out "%token t$size $size \"$size\"\n"; 5605436638acc7c010349a69c3395f1a57c642dc62Ying Wang }; 5705436638acc7c010349a69c3395f1a57c642dc62Ying Wang 5805436638acc7c010349a69c3395f1a57c642dc62Ying Wangprint $out <<EOF; 5905436638acc7c010349a69c3395f1a57c642dc62Ying Wang%% 6005436638acc7c010349a69c3395f1a57c642dc62Ying Wanginput: 6105436638acc7c010349a69c3395f1a57c642dc62Ying Wang exp { if (\$1 != 0) abort (); \$\$ = \$1; } 6205436638acc7c010349a69c3395f1a57c642dc62Ying Wang| input exp { if (\$2 != \$1 + 1) abort (); \$\$ = \$2; } 6305436638acc7c010349a69c3395f1a57c642dc62Ying Wang; 6405436638acc7c010349a69c3395f1a57c642dc62Ying Wang 6505436638acc7c010349a69c3395f1a57c642dc62Ying Wangexp: 6605436638acc7c010349a69c3395f1a57c642dc62Ying Wang END 6705436638acc7c010349a69c3395f1a57c642dc62Ying Wang { \$\$ = 0; } 6805436638acc7c010349a69c3395f1a57c642dc62Ying WangEOF 6905436638acc7c010349a69c3395f1a57c642dc62Ying Wang 7005436638acc7c010349a69c3395f1a57c642dc62Ying Wangfor my $size (1 .. $max) 7105436638acc7c010349a69c3395f1a57c642dc62Ying Wang { 7205436638acc7c010349a69c3395f1a57c642dc62Ying Wang use Text::Wrap; 7305436638acc7c010349a69c3395f1a57c642dc62Ying Wang print $out wrap ("| ", " ", 7405436638acc7c010349a69c3395f1a57c642dc62Ying Wang (map { "\"$_\"" } (1 .. $size)), 7505436638acc7c010349a69c3395f1a57c642dc62Ying Wang " END \n"), 7605436638acc7c010349a69c3395f1a57c642dc62Ying Wang " { \$\$ = $size; }\n"; 7705436638acc7c010349a69c3395f1a57c642dc62Ying Wang }; 7805436638acc7c010349a69c3395f1a57c642dc62Ying Wangprint $out ";\n"; 7905436638acc7c010349a69c3395f1a57c642dc62Ying Wang 8005436638acc7c010349a69c3395f1a57c642dc62Ying Wangprint $out <<EOF; 8105436638acc7c010349a69c3395f1a57c642dc62Ying Wang%% 8205436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic int 8305436638acc7c010349a69c3395f1a57c642dc62Ying Wangyylex (void) 8405436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 8505436638acc7c010349a69c3395f1a57c642dc62Ying Wang static int inner = 1; 8605436638acc7c010349a69c3395f1a57c642dc62Ying Wang static int outer = 0; 8705436638acc7c010349a69c3395f1a57c642dc62Ying Wang if (outer > $max) 8805436638acc7c010349a69c3395f1a57c642dc62Ying Wang return 0; 8905436638acc7c010349a69c3395f1a57c642dc62Ying Wang else if (inner > outer) 9005436638acc7c010349a69c3395f1a57c642dc62Ying Wang { 9105436638acc7c010349a69c3395f1a57c642dc62Ying Wang inner = 1; 9205436638acc7c010349a69c3395f1a57c642dc62Ying Wang ++outer; 9305436638acc7c010349a69c3395f1a57c642dc62Ying Wang return END; 9405436638acc7c010349a69c3395f1a57c642dc62Ying Wang } 9505436638acc7c010349a69c3395f1a57c642dc62Ying Wang return inner++; 9605436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 9705436638acc7c010349a69c3395f1a57c642dc62Ying Wang 9805436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic void 9905436638acc7c010349a69c3395f1a57c642dc62Ying Wangyyerror (const char *msg) 10005436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 10105436638acc7c010349a69c3395f1a57c642dc62Ying Wang fprintf (stderr, "%s\\n", msg); 10205436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 10305436638acc7c010349a69c3395f1a57c642dc62Ying Wang 10405436638acc7c010349a69c3395f1a57c642dc62Ying Wangint 10505436638acc7c010349a69c3395f1a57c642dc62Ying Wangmain (void) 10605436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 10705436638acc7c010349a69c3395f1a57c642dc62Ying Wang yydebug = !!getenv ("YYDEBUG"); 10805436638acc7c010349a69c3395f1a57c642dc62Ying Wang return yyparse (); 10905436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 11005436638acc7c010349a69c3395f1a57c642dc62Ying WangEOF 11105436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 11205436638acc7c010349a69c3395f1a57c642dc62Ying Wang 11305436638acc7c010349a69c3395f1a57c642dc62Ying Wang################################################################## 11405436638acc7c010349a69c3395f1a57c642dc62Ying Wang 11505436638acc7c010349a69c3395f1a57c642dc62Ying Wangsub calc_input ($$) 11605436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 11705436638acc7c010349a69c3395f1a57c642dc62Ying Wang my ($base, $max) = @_; 11805436638acc7c010349a69c3395f1a57c642dc62Ying Wang my $out = new IO::File ">$base.input" 11905436638acc7c010349a69c3395f1a57c642dc62Ying Wang or die; 12005436638acc7c010349a69c3395f1a57c642dc62Ying Wang foreach (1 .. $max) 12105436638acc7c010349a69c3395f1a57c642dc62Ying Wang { 12205436638acc7c010349a69c3395f1a57c642dc62Ying Wang 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"; 12305436638acc7c010349a69c3395f1a57c642dc62Ying Wang 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"; 12405436638acc7c010349a69c3395f1a57c642dc62Ying Wang } 12505436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 12605436638acc7c010349a69c3395f1a57c642dc62Ying Wang 12705436638acc7c010349a69c3395f1a57c642dc62Ying Wang################################################################## 12805436638acc7c010349a69c3395f1a57c642dc62Ying Wang 12905436638acc7c010349a69c3395f1a57c642dc62Ying Wangsub calc_grammar ($$$) 13005436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 13105436638acc7c010349a69c3395f1a57c642dc62Ying Wang my ($base, $max, $directives) = @_; 13205436638acc7c010349a69c3395f1a57c642dc62Ying Wang 13305436638acc7c010349a69c3395f1a57c642dc62Ying Wang my $out = new IO::File ">$base.y" 13405436638acc7c010349a69c3395f1a57c642dc62Ying Wang or die; 13505436638acc7c010349a69c3395f1a57c642dc62Ying Wang print $out <<EOF; 13605436638acc7c010349a69c3395f1a57c642dc62Ying Wang%{ 13705436638acc7c010349a69c3395f1a57c642dc62Ying Wang#include <assert.h> 13805436638acc7c010349a69c3395f1a57c642dc62Ying Wang#include <stdio.h> 13905436638acc7c010349a69c3395f1a57c642dc62Ying Wang#include <stdlib.h> 14005436638acc7c010349a69c3395f1a57c642dc62Ying Wang#include <string.h> 14105436638acc7c010349a69c3395f1a57c642dc62Ying Wang#include <ctype.h> 14205436638acc7c010349a69c3395f1a57c642dc62Ying Wang#define USE(Var) 14305436638acc7c010349a69c3395f1a57c642dc62Ying Wang 14405436638acc7c010349a69c3395f1a57c642dc62Ying Wang/* Exercise pre-prologue dependency to %union. */ 14505436638acc7c010349a69c3395f1a57c642dc62Ying Wangtypedef int semantic_value; 14605436638acc7c010349a69c3395f1a57c642dc62Ying Wang 14705436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic semantic_value global_result = 0; 14805436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic int global_count = 0; 14905436638acc7c010349a69c3395f1a57c642dc62Ying Wang%} 15005436638acc7c010349a69c3395f1a57c642dc62Ying Wang 15105436638acc7c010349a69c3395f1a57c642dc62Ying Wang/* Exercise %union. */ 15205436638acc7c010349a69c3395f1a57c642dc62Ying Wang$directives 15305436638acc7c010349a69c3395f1a57c642dc62Ying Wang%error-verbose 15405436638acc7c010349a69c3395f1a57c642dc62Ying Wang%union 15505436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 15605436638acc7c010349a69c3395f1a57c642dc62Ying Wang semantic_value ival; 15705436638acc7c010349a69c3395f1a57c642dc62Ying Wang}; 15805436638acc7c010349a69c3395f1a57c642dc62Ying Wang 15905436638acc7c010349a69c3395f1a57c642dc62Ying Wang%{ 16005436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic int power (int base, int exponent); 16105436638acc7c010349a69c3395f1a57c642dc62Ying Wang/* yyerror receives the location if: 16205436638acc7c010349a69c3395f1a57c642dc62Ying Wang - %location & %pure & %glr 16305436638acc7c010349a69c3395f1a57c642dc62Ying Wang - %location & %pure & %yacc & %parse-param. */ 16405436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic void yyerror (const char *s); 16505436638acc7c010349a69c3395f1a57c642dc62Ying Wang#if YYPURE 16605436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic int yylex (YYSTYPE* yylvalp); 16705436638acc7c010349a69c3395f1a57c642dc62Ying Wang#else 16805436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic int yylex (void); 16905436638acc7c010349a69c3395f1a57c642dc62Ying Wang#endif 17005436638acc7c010349a69c3395f1a57c642dc62Ying Wang%} 17105436638acc7c010349a69c3395f1a57c642dc62Ying Wang 17205436638acc7c010349a69c3395f1a57c642dc62Ying Wang/* Bison Declarations */ 17305436638acc7c010349a69c3395f1a57c642dc62Ying Wang%token CALC_EOF 0 "end of input" 17405436638acc7c010349a69c3395f1a57c642dc62Ying Wang%token <ival> NUM "number" 17505436638acc7c010349a69c3395f1a57c642dc62Ying Wang%type <ival> exp 17605436638acc7c010349a69c3395f1a57c642dc62Ying Wang 17705436638acc7c010349a69c3395f1a57c642dc62Ying Wang%nonassoc '=' /* comparison */ 17805436638acc7c010349a69c3395f1a57c642dc62Ying Wang%left '-' '+' 17905436638acc7c010349a69c3395f1a57c642dc62Ying Wang%left '*' '/' 18005436638acc7c010349a69c3395f1a57c642dc62Ying Wang%left NEG /* negation--unary minus */ 18105436638acc7c010349a69c3395f1a57c642dc62Ying Wang%right '^' /* exponentiation */ 18205436638acc7c010349a69c3395f1a57c642dc62Ying Wang 18305436638acc7c010349a69c3395f1a57c642dc62Ying Wang/* Grammar follows */ 18405436638acc7c010349a69c3395f1a57c642dc62Ying Wang%% 18505436638acc7c010349a69c3395f1a57c642dc62Ying Wanginput: 18605436638acc7c010349a69c3395f1a57c642dc62Ying Wang line 18705436638acc7c010349a69c3395f1a57c642dc62Ying Wang| input line 18805436638acc7c010349a69c3395f1a57c642dc62Ying Wang; 18905436638acc7c010349a69c3395f1a57c642dc62Ying Wang 19005436638acc7c010349a69c3395f1a57c642dc62Ying Wangline: 19105436638acc7c010349a69c3395f1a57c642dc62Ying Wang '\\n' 19205436638acc7c010349a69c3395f1a57c642dc62Ying Wang| exp '\\n' { USE (\$1); } 19305436638acc7c010349a69c3395f1a57c642dc62Ying Wang; 19405436638acc7c010349a69c3395f1a57c642dc62Ying Wang 19505436638acc7c010349a69c3395f1a57c642dc62Ying Wangexp: 19605436638acc7c010349a69c3395f1a57c642dc62Ying Wang NUM { \$\$ = \$1; } 19705436638acc7c010349a69c3395f1a57c642dc62Ying Wang| exp '=' exp 19805436638acc7c010349a69c3395f1a57c642dc62Ying Wang { 19905436638acc7c010349a69c3395f1a57c642dc62Ying Wang if (\$1 != \$3) 20005436638acc7c010349a69c3395f1a57c642dc62Ying Wang fprintf (stderr, "calc: error: %d != %d\\n", \$1, \$3); 20105436638acc7c010349a69c3395f1a57c642dc62Ying Wang \$\$ = \$1; 20205436638acc7c010349a69c3395f1a57c642dc62Ying Wang } 20305436638acc7c010349a69c3395f1a57c642dc62Ying Wang| exp '+' exp { \$\$ = \$1 + \$3; } 20405436638acc7c010349a69c3395f1a57c642dc62Ying Wang| exp '-' exp { \$\$ = \$1 - \$3; } 20505436638acc7c010349a69c3395f1a57c642dc62Ying Wang| exp '*' exp { \$\$ = \$1 * \$3; } 20605436638acc7c010349a69c3395f1a57c642dc62Ying Wang| exp '/' exp { \$\$ = \$1 / \$3; } 20705436638acc7c010349a69c3395f1a57c642dc62Ying Wang| '-' exp %prec NEG { \$\$ = -\$2; } 20805436638acc7c010349a69c3395f1a57c642dc62Ying Wang| exp '^' exp { \$\$ = power (\$1, \$3); } 20905436638acc7c010349a69c3395f1a57c642dc62Ying Wang| '(' exp ')' { \$\$ = \$2; } 21005436638acc7c010349a69c3395f1a57c642dc62Ying Wang| '(' error ')' { \$\$ = 1111; } 21105436638acc7c010349a69c3395f1a57c642dc62Ying Wang| '!' { \$\$ = 0; YYERROR; } 21205436638acc7c010349a69c3395f1a57c642dc62Ying Wang| '-' error { \$\$ = 0; YYERROR; } 21305436638acc7c010349a69c3395f1a57c642dc62Ying Wang; 21405436638acc7c010349a69c3395f1a57c642dc62Ying Wang%% 21505436638acc7c010349a69c3395f1a57c642dc62Ying Wang/* The input. */ 21605436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic FILE *input; 21705436638acc7c010349a69c3395f1a57c642dc62Ying Wang 21805436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic void 21905436638acc7c010349a69c3395f1a57c642dc62Ying Wangyyerror (const char *s) 22005436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 22105436638acc7c010349a69c3395f1a57c642dc62Ying Wang fprintf (stderr, "%s\\n", s); 22205436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 22305436638acc7c010349a69c3395f1a57c642dc62Ying Wang 22405436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic int 22505436638acc7c010349a69c3395f1a57c642dc62Ying Wangget_char (void) 22605436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 22705436638acc7c010349a69c3395f1a57c642dc62Ying Wang return getc (input); 22805436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 22905436638acc7c010349a69c3395f1a57c642dc62Ying Wang 23005436638acc7c010349a69c3395f1a57c642dc62Ying Wang 23105436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic void 23205436638acc7c010349a69c3395f1a57c642dc62Ying Wangunget_char ( int c) 23305436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 23405436638acc7c010349a69c3395f1a57c642dc62Ying Wang ungetc (c, input); 23505436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 23605436638acc7c010349a69c3395f1a57c642dc62Ying Wang 23705436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic int 23805436638acc7c010349a69c3395f1a57c642dc62Ying Wangread_signed_integer (void) 23905436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 24005436638acc7c010349a69c3395f1a57c642dc62Ying Wang int c = get_char (); 24105436638acc7c010349a69c3395f1a57c642dc62Ying Wang int sign = 1; 24205436638acc7c010349a69c3395f1a57c642dc62Ying Wang int n = 0; 24305436638acc7c010349a69c3395f1a57c642dc62Ying Wang 24405436638acc7c010349a69c3395f1a57c642dc62Ying Wang if (c == '-') 24505436638acc7c010349a69c3395f1a57c642dc62Ying Wang { 24605436638acc7c010349a69c3395f1a57c642dc62Ying Wang c = get_char (); 24705436638acc7c010349a69c3395f1a57c642dc62Ying Wang sign = -1; 24805436638acc7c010349a69c3395f1a57c642dc62Ying Wang } 24905436638acc7c010349a69c3395f1a57c642dc62Ying Wang 25005436638acc7c010349a69c3395f1a57c642dc62Ying Wang while (isdigit (c)) 25105436638acc7c010349a69c3395f1a57c642dc62Ying Wang { 25205436638acc7c010349a69c3395f1a57c642dc62Ying Wang n = 10 * n + (c - '0'); 25305436638acc7c010349a69c3395f1a57c642dc62Ying Wang c = get_char (); 25405436638acc7c010349a69c3395f1a57c642dc62Ying Wang } 25505436638acc7c010349a69c3395f1a57c642dc62Ying Wang 25605436638acc7c010349a69c3395f1a57c642dc62Ying Wang unget_char (c); 25705436638acc7c010349a69c3395f1a57c642dc62Ying Wang 25805436638acc7c010349a69c3395f1a57c642dc62Ying Wang return sign * n; 25905436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 26005436638acc7c010349a69c3395f1a57c642dc62Ying Wang 26105436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic int 26205436638acc7c010349a69c3395f1a57c642dc62Ying Wang#if YYPURE 26305436638acc7c010349a69c3395f1a57c642dc62Ying Wang# define yylval (*yylvalp) 26405436638acc7c010349a69c3395f1a57c642dc62Ying Wangyylex (YYSTYPE* yylvalp) 26505436638acc7c010349a69c3395f1a57c642dc62Ying Wang#else 26605436638acc7c010349a69c3395f1a57c642dc62Ying Wangyylex (void) 26705436638acc7c010349a69c3395f1a57c642dc62Ying Wang#endif 26805436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 26905436638acc7c010349a69c3395f1a57c642dc62Ying Wang int c; 27005436638acc7c010349a69c3395f1a57c642dc62Ying Wang 27105436638acc7c010349a69c3395f1a57c642dc62Ying Wang /* Skip white space. */ 27205436638acc7c010349a69c3395f1a57c642dc62Ying Wang while ((c = get_char ()) == ' ' || c == '\t') 27305436638acc7c010349a69c3395f1a57c642dc62Ying Wang continue; 27405436638acc7c010349a69c3395f1a57c642dc62Ying Wang 27505436638acc7c010349a69c3395f1a57c642dc62Ying Wang /* process numbers */ 27605436638acc7c010349a69c3395f1a57c642dc62Ying Wang if (c == '.' || isdigit (c)) 27705436638acc7c010349a69c3395f1a57c642dc62Ying Wang { 27805436638acc7c010349a69c3395f1a57c642dc62Ying Wang unget_char ( c); 27905436638acc7c010349a69c3395f1a57c642dc62Ying Wang yylval.ival = read_signed_integer (); 28005436638acc7c010349a69c3395f1a57c642dc62Ying Wang return NUM; 28105436638acc7c010349a69c3395f1a57c642dc62Ying Wang } 28205436638acc7c010349a69c3395f1a57c642dc62Ying Wang 28305436638acc7c010349a69c3395f1a57c642dc62Ying Wang /* Return end-of-file. */ 28405436638acc7c010349a69c3395f1a57c642dc62Ying Wang if (c == EOF) 28505436638acc7c010349a69c3395f1a57c642dc62Ying Wang return CALC_EOF; 28605436638acc7c010349a69c3395f1a57c642dc62Ying Wang 28705436638acc7c010349a69c3395f1a57c642dc62Ying Wang /* Return single chars. */ 28805436638acc7c010349a69c3395f1a57c642dc62Ying Wang return c; 28905436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 29005436638acc7c010349a69c3395f1a57c642dc62Ying Wang 29105436638acc7c010349a69c3395f1a57c642dc62Ying Wangstatic int 29205436638acc7c010349a69c3395f1a57c642dc62Ying Wangpower (int base, int exponent) 29305436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 29405436638acc7c010349a69c3395f1a57c642dc62Ying Wang assert (0 <= exponent); 29505436638acc7c010349a69c3395f1a57c642dc62Ying Wang int res = 1; 29605436638acc7c010349a69c3395f1a57c642dc62Ying Wang for (/* Niente */; exponent; --exponent) 29705436638acc7c010349a69c3395f1a57c642dc62Ying Wang res *= base; 29805436638acc7c010349a69c3395f1a57c642dc62Ying Wang return res; 29905436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 30005436638acc7c010349a69c3395f1a57c642dc62Ying Wang 30105436638acc7c010349a69c3395f1a57c642dc62Ying Wang 30205436638acc7c010349a69c3395f1a57c642dc62Ying Wangint 30305436638acc7c010349a69c3395f1a57c642dc62Ying Wangmain (int argc, const char **argv) 30405436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 30505436638acc7c010349a69c3395f1a57c642dc62Ying Wang semantic_value result = 0; 30605436638acc7c010349a69c3395f1a57c642dc62Ying Wang int count = 0; 30705436638acc7c010349a69c3395f1a57c642dc62Ying Wang int status; 30805436638acc7c010349a69c3395f1a57c642dc62Ying Wang 30905436638acc7c010349a69c3395f1a57c642dc62Ying Wang input = fopen ("calc.input", "r"); 31005436638acc7c010349a69c3395f1a57c642dc62Ying Wang if (!input) 31105436638acc7c010349a69c3395f1a57c642dc62Ying Wang { 31205436638acc7c010349a69c3395f1a57c642dc62Ying Wang perror ("calc.input"); 31305436638acc7c010349a69c3395f1a57c642dc62Ying Wang return 3; 31405436638acc7c010349a69c3395f1a57c642dc62Ying Wang } 31505436638acc7c010349a69c3395f1a57c642dc62Ying Wang 31605436638acc7c010349a69c3395f1a57c642dc62Ying Wang status = yyparse (); 31705436638acc7c010349a69c3395f1a57c642dc62Ying Wang if (global_result != result) 31805436638acc7c010349a69c3395f1a57c642dc62Ying Wang abort (); 31905436638acc7c010349a69c3395f1a57c642dc62Ying Wang if (global_count != count) 32005436638acc7c010349a69c3395f1a57c642dc62Ying Wang abort (); 32105436638acc7c010349a69c3395f1a57c642dc62Ying Wang 32205436638acc7c010349a69c3395f1a57c642dc62Ying Wang return status; 32305436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 32405436638acc7c010349a69c3395f1a57c642dc62Ying WangEOF 32505436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 32605436638acc7c010349a69c3395f1a57c642dc62Ying Wang 32705436638acc7c010349a69c3395f1a57c642dc62Ying Wang################################################################## 32805436638acc7c010349a69c3395f1a57c642dc62Ying Wang 32905436638acc7c010349a69c3395f1a57c642dc62Ying Wangsub compile ($) 33005436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 33105436638acc7c010349a69c3395f1a57c642dc62Ying Wang my ($base) = @_; 33205436638acc7c010349a69c3395f1a57c642dc62Ying Wang system ("$bison $base.y -o $base.c") == 0 33305436638acc7c010349a69c3395f1a57c642dc62Ying Wang or die; 33405436638acc7c010349a69c3395f1a57c642dc62Ying Wang system ("$cc -o $base $base.c") == 0 33505436638acc7c010349a69c3395f1a57c642dc62Ying Wang or die; 33605436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 33705436638acc7c010349a69c3395f1a57c642dc62Ying Wang 33805436638acc7c010349a69c3395f1a57c642dc62Ying Wangsub bench_grammar ($) 33905436638acc7c010349a69c3395f1a57c642dc62Ying Wang{ 34005436638acc7c010349a69c3395f1a57c642dc62Ying Wang my ($gram) = @_; 34105436638acc7c010349a69c3395f1a57c642dc62Ying Wang my %test = 34205436638acc7c010349a69c3395f1a57c642dc62Ying Wang ( 34305436638acc7c010349a69c3395f1a57c642dc62Ying Wang "pull-impure" => '', 34405436638acc7c010349a69c3395f1a57c642dc62Ying Wang "pull-pure" => '%define api.pure', 34505436638acc7c010349a69c3395f1a57c642dc62Ying Wang "push-impure" => '%define api.push-pull "both"', 34605436638acc7c010349a69c3395f1a57c642dc62Ying Wang "push-pure" => '%define api.push-pull "both" %define api.pure', 34705436638acc7c010349a69c3395f1a57c642dc62Ying Wang ); 34805436638acc7c010349a69c3395f1a57c642dc62Ying Wang 34905436638acc7c010349a69c3395f1a57c642dc62Ying Wang my %bench; 35005436638acc7c010349a69c3395f1a57c642dc62Ying Wang while (my ($name, $directives) = each %test) 35105436638acc7c010349a69c3395f1a57c642dc62Ying Wang { 35205436638acc7c010349a69c3395f1a57c642dc62Ying Wang print STDERR "$name\n"; 35305436638acc7c010349a69c3395f1a57c642dc62Ying Wang my $generator = "$gram" . "_grammar"; 35405436638acc7c010349a69c3395f1a57c642dc62Ying Wang &$generator ($name, 200, $directives); 35505436638acc7c010349a69c3395f1a57c642dc62Ying Wang compile ($name); 35605436638acc7c010349a69c3395f1a57c642dc62Ying Wang $bench{$name} = "system ('./$name');"; 35705436638acc7c010349a69c3395f1a57c642dc62Ying Wang } 35805436638acc7c010349a69c3395f1a57c642dc62Ying Wang 35905436638acc7c010349a69c3395f1a57c642dc62Ying Wang print "$gram:\n"; 36005436638acc7c010349a69c3395f1a57c642dc62Ying Wang my $res = timethese (50, \%bench, 'nop'); 36105436638acc7c010349a69c3395f1a57c642dc62Ying Wang cmpthese ($res, 'nop'); 36205436638acc7c010349a69c3395f1a57c642dc62Ying Wang} 36305436638acc7c010349a69c3395f1a57c642dc62Ying Wang 36405436638acc7c010349a69c3395f1a57c642dc62Ying Wangprint STDERR "Using $bison, $cc.\n"; 36505436638acc7c010349a69c3395f1a57c642dc62Ying Wangcalc_input ('calc', 200); 36605436638acc7c010349a69c3395f1a57c642dc62Ying Wangbench_grammar ('calc'); 36705436638acc7c010349a69c3395f1a57c642dc62Ying Wang 36805436638acc7c010349a69c3395f1a57c642dc62Ying Wang### Setup "GNU" style for perl-mode and cperl-mode. 36905436638acc7c010349a69c3395f1a57c642dc62Ying Wang## Local Variables: 37005436638acc7c010349a69c3395f1a57c642dc62Ying Wang## perl-indent-level: 2 37105436638acc7c010349a69c3395f1a57c642dc62Ying Wang## perl-continued-statement-offset: 2 37205436638acc7c010349a69c3395f1a57c642dc62Ying Wang## perl-continued-brace-offset: 0 37305436638acc7c010349a69c3395f1a57c642dc62Ying Wang## perl-brace-offset: 0 37405436638acc7c010349a69c3395f1a57c642dc62Ying Wang## perl-brace-imaginary-offset: 0 37505436638acc7c010349a69c3395f1a57c642dc62Ying Wang## perl-label-offset: -2 37605436638acc7c010349a69c3395f1a57c642dc62Ying Wang## cperl-indent-level: 2 37705436638acc7c010349a69c3395f1a57c642dc62Ying Wang## cperl-brace-offset: 0 37805436638acc7c010349a69c3395f1a57c642dc62Ying Wang## cperl-continued-brace-offset: 0 37905436638acc7c010349a69c3395f1a57c642dc62Ying Wang## cperl-label-offset: -2 38005436638acc7c010349a69c3395f1a57c642dc62Ying Wang## cperl-extra-newline-before-brace: t 38105436638acc7c010349a69c3395f1a57c642dc62Ying Wang## cperl-merge-trailing-else: nil 38205436638acc7c010349a69c3395f1a57c642dc62Ying Wang## cperl-continued-statement-offset: 2 38305436638acc7c010349a69c3395f1a57c642dc62Ying Wang## End: 384