qic.c 166 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850285128522853285428552856285728582859286028612862286328642865286628672868286928702871287228732874287528762877287828792880288128822883288428852886288728882889289028912892289328942895289628972898289929002901290229032904290529062907290829092910291129122913291429152916291729182919292029212922292329242925292629272928292929302931293229332934293529362937293829392940294129422943294429452946294729482949295029512952295329542955295629572958295929602961296229632964296529662967296829692970297129722973297429752976297729782979298029812982298329842985298629872988298929902991299229932994299529962997299829993000300130023003300430053006300730083009301030113012301330143015301630173018301930203021302230233024302530263027302830293030303130323033303430353036303730383039304030413042304330443045304630473048304930503051305230533054305530563057305830593060306130623063306430653066306730683069307030713072307330743075307630773078307930803081308230833084308530863087308830893090309130923093309430953096309730983099310031013102310331043105310631073108310931103111311231133114311531163117311831193120312131223123312431253126312731283129313031313132313331343135313631373138313931403141314231433144314531463147314831493150315131523153315431553156315731583159316031613162316331643165316631673168316931703171317231733174317531763177317831793180318131823183318431853186318731883189319031913192319331943195319631973198319932003201320232033204320532063207320832093210321132123213321432153216321732183219322032213222322332243225322632273228322932303231323232333234323532363237323832393240324132423243324432453246324732483249325032513252325332543255325632573258325932603261326232633264326532663267326832693270327132723273327432753276327732783279328032813282328332843285328632873288328932903291329232933294329532963297329832993300330133023303330433053306330733083309331033113312331333143315331633173318331933203321332233233324332533263327332833293330333133323333333433353336333733383339334033413342334333443345334633473348334933503351335233533354335533563357335833593360336133623363336433653366336733683369337033713372337333743375337633773378337933803381338233833384338533863387338833893390339133923393339433953396339733983399340034013402340334043405340634073408340934103411341234133414341534163417341834193420342134223423342434253426342734283429343034313432343334343435343634373438343934403441344234433444344534463447344834493450345134523453345434553456345734583459346034613462346334643465346634673468346934703471347234733474347534763477347834793480348134823483348434853486348734883489349034913492349334943495349634973498349935003501350235033504350535063507350835093510351135123513351435153516351735183519352035213522352335243525352635273528352935303531353235333534353535363537353835393540354135423543354435453546354735483549355035513552355335543555355635573558355935603561356235633564356535663567356835693570357135723573357435753576357735783579358035813582358335843585358635873588358935903591359235933594359535963597359835993600360136023603360436053606360736083609361036113612361336143615361636173618361936203621362236233624362536263627362836293630363136323633363436353636363736383639364036413642364336443645364636473648364936503651365236533654365536563657365836593660366136623663366436653666366736683669367036713672367336743675367636773678367936803681368236833684368536863687368836893690369136923693369436953696369736983699370037013702370337043705370637073708370937103711371237133714371537163717371837193720372137223723372437253726372737283729373037313732373337343735373637373738373937403741374237433744374537463747374837493750375137523753375437553756375737583759376037613762376337643765376637673768376937703771377237733774377537763777377837793780378137823783378437853786378737883789379037913792379337943795379637973798379938003801380238033804380538063807380838093810381138123813381438153816381738183819382038213822382338243825382638273828382938303831383238333834383538363837383838393840384138423843384438453846384738483849385038513852385338543855385638573858385938603861386238633864386538663867386838693870387138723873387438753876387738783879388038813882388338843885388638873888388938903891389238933894389538963897389838993900390139023903390439053906390739083909391039113912391339143915391639173918391939203921392239233924392539263927392839293930393139323933393439353936393739383939394039413942394339443945394639473948394939503951395239533954395539563957395839593960396139623963396439653966396739683969397039713972397339743975397639773978397939803981398239833984398539863987398839893990399139923993399439953996399739983999400040014002400340044005400640074008400940104011401240134014401540164017401840194020402140224023402440254026402740284029403040314032403340344035403640374038403940404041404240434044404540464047404840494050405140524053405440554056405740584059406040614062406340644065406640674068406940704071407240734074407540764077407840794080408140824083408440854086408740884089409040914092409340944095409640974098409941004101410241034104410541064107410841094110411141124113411441154116411741184119412041214122412341244125412641274128412941304131413241334134413541364137413841394140414141424143414441454146414741484149415041514152415341544155415641574158415941604161416241634164416541664167416841694170417141724173417441754176417741784179418041814182418341844185418641874188418941904191419241934194419541964197419841994200420142024203420442054206420742084209421042114212421342144215421642174218421942204221422242234224422542264227422842294230423142324233423442354236423742384239424042414242424342444245424642474248424942504251425242534254425542564257425842594260426142624263426442654266426742684269427042714272427342744275427642774278427942804281428242834284428542864287428842894290429142924293429442954296429742984299430043014302430343044305430643074308430943104311431243134314431543164317431843194320432143224323432443254326432743284329433043314332433343344335433643374338433943404341434243434344434543464347434843494350435143524353435443554356435743584359436043614362436343644365436643674368436943704371437243734374437543764377437843794380438143824383438443854386438743884389439043914392439343944395439643974398439944004401440244034404440544064407440844094410441144124413441444154416441744184419442044214422442344244425442644274428442944304431443244334434443544364437443844394440444144424443444444454446444744484449445044514452445344544455445644574458445944604461446244634464446544664467446844694470447144724473447444754476447744784479448044814482448344844485448644874488448944904491449244934494449544964497449844994500450145024503450445054506450745084509451045114512451345144515451645174518451945204521452245234524452545264527452845294530453145324533453445354536453745384539454045414542454345444545454645474548454945504551455245534554455545564557455845594560456145624563456445654566456745684569457045714572457345744575457645774578457945804581458245834584458545864587458845894590459145924593459445954596459745984599460046014602460346044605460646074608460946104611461246134614461546164617461846194620462146224623462446254626462746284629463046314632463346344635463646374638463946404641464246434644464546464647464846494650465146524653465446554656465746584659466046614662466346644665466646674668466946704671467246734674467546764677467846794680468146824683468446854686468746884689469046914692469346944695469646974698469947004701470247034704470547064707470847094710471147124713471447154716471747184719472047214722472347244725472647274728472947304731473247334734473547364737473847394740474147424743474447454746474747484749475047514752475347544755475647574758475947604761476247634764476547664767476847694770477147724773477447754776477747784779478047814782478347844785478647874788478947904791479247934794479547964797479847994800480148024803480448054806480748084809481048114812481348144815481648174818481948204821482248234824482548264827482848294830483148324833483448354836483748384839484048414842484348444845484648474848484948504851485248534854485548564857485848594860486148624863486448654866486748684869487048714872487348744875487648774878487948804881488248834884488548864887488848894890489148924893489448954896489748984899490049014902490349044905490649074908490949104911491249134914491549164917491849194920492149224923492449254926492749284929493049314932493349344935493649374938493949404941494249434944494549464947494849494950495149524953495449554956495749584959496049614962496349644965496649674968496949704971497249734974497549764977497849794980498149824983498449854986498749884989499049914992499349944995499649974998499950005001500250035004500550065007500850095010501150125013501450155016501750185019502050215022502350245025502650275028502950305031503250335034503550365037503850395040504150425043504450455046504750485049505050515052505350545055505650575058505950605061506250635064506550665067506850695070507150725073507450755076507750785079508050815082508350845085508650875088508950905091509250935094509550965097509850995100510151025103510451055106510751085109511051115112511351145115511651175118511951205121512251235124512551265127512851295130513151325133513451355136513751385139514051415142514351445145514651475148514951505151515251535154515551565157515851595160516151625163516451655166516751685169517051715172517351745175517651775178517951805181518251835184518551865187518851895190519151925193519451955196519751985199520052015202520352045205520652075208520952105211521252135214521552165217521852195220522152225223522452255226522752285229523052315232523352345235523652375238523952405241524252435244524552465247524852495250525152525253525452555256525752585259526052615262526352645265526652675268526952705271527252735274527552765277527852795280528152825283528452855286528752885289529052915292529352945295529652975298529953005301530253035304530553065307530853095310531153125313531453155316531753185319532053215322532353245325532653275328532953305331533253335334533553365337533853395340534153425343534453455346534753485349535053515352535353545355535653575358535953605361536253635364536553665367536853695370537153725373537453755376537753785379538053815382538353845385538653875388538953905391539253935394539553965397539853995400540154025403540454055406540754085409541054115412541354145415541654175418541954205421542254235424542554265427542854295430543154325433543454355436543754385439544054415442544354445445544654475448544954505451545254535454545554565457545854595460546154625463546454655466546754685469547054715472547354745475547654775478547954805481548254835484548554865487548854895490549154925493549454955496549754985499550055015502550355045505550655075508550955105511551255135514551555165517551855195520552155225523552455255526552755285529553055315532553355345535553655375538553955405541554255435544554555465547554855495550555155525553555455555556555755585559556055615562556355645565556655675568556955705571557255735574557555765577557855795580558155825583558455855586558755885589559055915592559355945595559655975598559956005601560256035604560556065607560856095610561156125613561456155616561756185619562056215622562356245625562656275628562956305631563256335634563556365637563856395640564156425643564456455646564756485649565056515652565356545655565656575658565956605661566256635664566556665667566856695670567156725673567456755676567756785679568056815682568356845685568656875688568956905691569256935694569556965697569856995700570157025703570457055706570757085709571057115712571357145715571657175718571957205721572257235724572557265727572857295730573157325733573457355736573757385739574057415742574357445745574657475748574957505751575257535754575557565757575857595760576157625763576457655766576757685769577057715772577357745775577657775778577957805781578257835784578557865787578857895790579157925793579457955796579757985799580058015802580358045805580658075808580958105811581258135814581558165817581858195820582158225823582458255826582758285829583058315832583358345835583658375838583958405841584258435844584558465847584858495850585158525853585458555856585758585859586058615862586358645865586658675868586958705871587258735874587558765877587858795880588158825883588458855886588758885889589058915892589358945895589658975898589959005901590259035904590559065907590859095910591159125913591459155916591759185919592059215922592359245925592659275928592959305931593259335934593559365937593859395940594159425943594459455946594759485949595059515952595359545955595659575958595959605961596259635964596559665967596859695970597159725973597459755976597759785979598059815982598359845985598659875988598959905991599259935994599559965997599859996000600160026003600460056006600760086009601060116012601360146015601660176018601960206021602260236024602560266027602860296030603160326033603460356036603760386039604060416042604360446045604660476048604960506051605260536054605560566057605860596060606160626063606460656066606760686069607060716072607360746075607660776078607960806081608260836084608560866087608860896090609160926093609460956096609760986099610061016102610361046105610661076108610961106111611261136114611561166117611861196120612161226123612461256126612761286129613061316132613361346135613661376138613961406141614261436144614561466147614861496150615161526153615461556156615761586159616061616162616361646165616661676168616961706171617261736174617561766177617861796180618161826183618461856186618761886189619061916192619361946195619661976198619962006201620262036204620562066207620862096210621162126213621462156216621762186219622062216222622362246225622662276228622962306231623262336234623562366237623862396240624162426243624462456246624762486249625062516252625362546255625662576258625962606261626262636264626562666267626862696270627162726273627462756276627762786279628062816282628362846285628662876288628962906291629262936294629562966297629862996300630163026303630463056306630763086309631063116312631363146315631663176318631963206321632263236324632563266327632863296330633163326333633463356336633763386339634063416342634363446345634663476348634963506351635263536354635563566357635863596360636163626363636463656366636763686369637063716372637363746375637663776378637963806381638263836384638563866387638863896390639163926393639463956396639763986399640064016402640364046405640664076408640964106411641264136414641564166417641864196420642164226423642464256426642764286429643064316432643364346435643664376438643964406441644264436444644564466447644864496450645164526453645464556456645764586459646064616462646364646465646664676468646964706471647264736474647564766477647864796480648164826483648464856486648764886489649064916492649364946495649664976498649965006501650265036504650565066507650865096510651165126513651465156516651765186519652065216522652365246525652665276528652965306531653265336534653565366537653865396540654165426543654465456546654765486549655065516552655365546555655665576558655965606561656265636564656565666567656865696570657165726573657465756576657765786579658065816582658365846585658665876588658965906591659265936594659565966597659865996600660166026603660466056606660766086609661066116612661366146615661666176618661966206621662266236624662566266627662866296630663166326633663466356636663766386639664066416642664366446645664666476648664966506651665266536654665566566657665866596660666166626663666466656666666766686669667066716672667366746675667666776678667966806681668266836684668566866687668866896690669166926693669466956696669766986699670067016702670367046705670667076708670967106711671267136714671567166717671867196720672167226723672467256726672767286729673067316732673367346735673667376738673967406741674267436744674567466747674867496750675167526753675467556756675767586759676067616762676367646765676667676768676967706771677267736774677567766777677867796780678167826783678467856786678767886789679067916792679367946795679667976798679968006801680268036804680568066807680868096810681168126813
  1. #include <ctype.h>
  2. #include <stdarg.h>
  3. #include <stdio.h>
  4. #include <stdlib.h>
  5. #include <string.h>
  6. #include <time.h>
  7. #define QIC_VERSION "qic v01 " __DATE__
  8. size_t GID = 0;
  9. char *PREFIX = NULL;
  10. void *malloc_checked(size_t s) {
  11. void *p = malloc(s);
  12. if (!p) {
  13. fprintf(stderr, "fatal: out of memory.\n");
  14. abort();
  15. }
  16. memset(p, 0, s);
  17. return p;
  18. }
  19. void *realloc_checked(void *p, size_t s) {
  20. p = realloc(p, s);
  21. if (!p) {
  22. fprintf(stderr, "fatal: out of memory.\n");
  23. abort();
  24. }
  25. return p;
  26. }
  27. void *calloc_checked(size_t k, size_t s) {
  28. void *p = calloc(k, s);
  29. if (!p) {
  30. fprintf(stderr, "fatal: out of memory.\n");
  31. abort();
  32. }
  33. return p;
  34. }
  35. typedef struct {
  36. void **data;
  37. size_t length;
  38. } list_t;
  39. list_t *list_new(void) {
  40. list_t *list = malloc_checked(sizeof(list_t));
  41. list->data = NULL;
  42. list->length = 0;
  43. return list;
  44. }
  45. list_t *list_copy(list_t *list) {
  46. list_t *nlist = malloc_checked(sizeof(list_t));
  47. nlist->length = list->length;
  48. nlist->data = realloc_checked(nlist->data, nlist->length * sizeof(void *));
  49. memcpy(nlist->data, list->data, nlist->length * sizeof(void *));
  50. return nlist;
  51. }
  52. void list_push(list_t *l, void *v) {
  53. size_t i = l->length++;
  54. l->data = realloc_checked(l->data, l->length * sizeof(void *));
  55. l->data[i] = v;
  56. }
  57. void *list_pop(list_t *l) {
  58. if (!l->length)
  59. return NULL;
  60. return l->data[--l->length];
  61. }
  62. void *list_index(list_t *l, ssize_t index) {
  63. if (!l->length)
  64. return NULL;
  65. if (index < 0)
  66. index += ((ssize_t)l->length);
  67. if (index < 0 || index >= l->length)
  68. return NULL;
  69. return l->data[index];
  70. }
  71. void list_set(list_t *l, ssize_t index, void *v) {
  72. if (!l->length)
  73. return;
  74. if (index < 0)
  75. index += ((ssize_t)l->length);
  76. if (index < 0 || index >= l->length)
  77. return;
  78. l->data[index] = v;
  79. }
  80. typedef struct {
  81. size_t *data;
  82. size_t length;
  83. } int_stack_t;
  84. int_stack_t *stack_new(void) {
  85. int_stack_t *stack = malloc_checked(sizeof(list_t));
  86. stack->data = NULL;
  87. stack->length = 0;
  88. return stack;
  89. }
  90. void stack_push(int_stack_t *l, size_t v) {
  91. size_t i = l->length++;
  92. l->data = realloc_checked(l->data, l->length * sizeof(size_t));
  93. l->data[i] = v;
  94. }
  95. size_t stack_pop(int_stack_t *l) {
  96. if (!l->length)
  97. return 0;
  98. return l->data[--l->length];
  99. }
  100. struct entry_t {
  101. char *key;
  102. void *value;
  103. };
  104. struct table_t {
  105. struct entry_t *entries;
  106. size_t used;
  107. size_t capacity;
  108. };
  109. typedef struct entry_t entry_t;
  110. typedef struct table_t table_t;
  111. table_t *table_new() {
  112. table_t *table = malloc_checked(sizeof(table_t));
  113. table->used = 0;
  114. table->capacity = 32;
  115. table->entries = calloc_checked(table->capacity, sizeof(entry_t));
  116. return table;
  117. }
  118. unsigned long ht_hash(const char *key) {
  119. unsigned long hash = 5381;
  120. int c;
  121. while ((c = *key++))
  122. hash = ((hash << 5) + hash) + c;
  123. return hash;
  124. }
  125. void *table_get(table_t *table, char *key) {
  126. if (!table->used)
  127. return NULL;
  128. unsigned long hash = ht_hash(key);
  129. size_t index = hash % table->capacity;
  130. size_t i = index;
  131. while (table->entries[i].key) {
  132. if (strcmp(table->entries[i].key, key) == 0)
  133. return table->entries[i].value;
  134. i++;
  135. if (i >= table->capacity)
  136. i = 0;
  137. if (i == index)
  138. break;
  139. }
  140. return NULL;
  141. }
  142. int table_has(table_t *table, char *key) {
  143. if (!table->used)
  144. return 0;
  145. unsigned long hash = ht_hash(key);
  146. size_t index = hash % table->capacity;
  147. size_t i = index;
  148. while (table->entries[i].key) {
  149. if (strcmp(table->entries[i].key, key) == 0)
  150. return 1;
  151. i++;
  152. if (i >= table->capacity)
  153. i = 0;
  154. if (i == index)
  155. break;
  156. }
  157. return 0;
  158. }
  159. static void table_entry_set(entry_t *entries, char *key, void *value,
  160. size_t capacity, size_t *used) {
  161. unsigned long hash = ht_hash(key);
  162. size_t index = hash % capacity;
  163. size_t i = index;
  164. while (entries[i].key) {
  165. if (strcmp(entries[i].key, key) == 0) {
  166. entries[i].value = value;
  167. return;
  168. }
  169. i++;
  170. if (i >= capacity)
  171. i = 0;
  172. if (i == index)
  173. break;
  174. }
  175. if (used)
  176. (*used)++;
  177. entries[i].key = key;
  178. entries[i].value = value;
  179. }
  180. table_t *table_set(table_t *table, char *key, void *value) {
  181. if (table->used >= table->capacity) {
  182. size_t capacity = table->capacity + 32;
  183. entry_t *entries = calloc_checked(capacity, sizeof(entry_t));
  184. for (size_t i = 0; i < table->capacity; i++) {
  185. entry_t entry = table->entries[i];
  186. if (entry.key)
  187. table_entry_set(entries, entry.key, entry.value, capacity, NULL);
  188. }
  189. table->entries = entries;
  190. table->capacity = capacity;
  191. }
  192. table_entry_set(table->entries, key, value, table->capacity, &table->used);
  193. return table;
  194. }
  195. #define table_iterate(table, code) \
  196. { \
  197. if ((table)->used) { \
  198. size_t i = 0; \
  199. while (i < (table)->capacity) { \
  200. entry_t entry = (table)->entries[i]; \
  201. if (entry.key) { \
  202. code; \
  203. } \
  204. i++; \
  205. } \
  206. } \
  207. }
  208. typedef struct {
  209. char *str;
  210. size_t size;
  211. } buffer_t;
  212. buffer_t *buffer_new(void) {
  213. buffer_t *buf = malloc_checked(sizeof(buffer_t));
  214. buf->str = NULL;
  215. buf->size = 0;
  216. return buf;
  217. }
  218. void buffer_append(buffer_t *buf, char c) {
  219. buf->size++;
  220. buf->str = realloc_checked(buf->str, sizeof(char) * buf->size);
  221. buf->str[buf->size - 1] = c;
  222. }
  223. char *buffer_read(buffer_t *buf) {
  224. if (buf->size == 0 || buf->str[buf->size - 1])
  225. buffer_append(buf, 0);
  226. return buf->str;
  227. }
  228. void buffer_appends(buffer_t *buf, char *s) {
  229. for (size_t i = 0; i < strlen(s); i++)
  230. buffer_append(buf, s[i]);
  231. }
  232. void buffer_appendb(buffer_t *dst, buffer_t *src) {
  233. for (size_t i = 0; i < src->size; i++)
  234. buffer_append(dst, src->str[i]);
  235. }
  236. void buffer_fmt(buffer_t *buf, const char *fmt, ...) {
  237. va_list args;
  238. va_list largs;
  239. va_start(largs, fmt);
  240. va_copy(args, largs);
  241. size_t size = vsnprintf(NULL, 0, fmt, largs) + 1;
  242. char *str = malloc_checked(sizeof(char) * size);
  243. vsnprintf(str, size, fmt, args);
  244. va_end(args);
  245. va_end(largs);
  246. buffer_appends(buf, str);
  247. }
  248. typedef struct {
  249. enum {
  250. T_EOF,
  251. T_NUMBER,
  252. T_STRING,
  253. T_FSTRING,
  254. T_USTRING,
  255. T_NAME,
  256. T_TRUE,
  257. T_FALSE,
  258. T_NIL,
  259. T_VAR,
  260. T_LET,
  261. T_CONST,
  262. T_IF,
  263. T_ELSE,
  264. T_ELIF,
  265. T_SWITCH,
  266. T_CASE,
  267. T_DEFAULT,
  268. T_FOR,
  269. T_OF,
  270. T_BREAK,
  271. T_CONTINUE,
  272. T_PASS,
  273. T_FUNC,
  274. T_USE,
  275. T_RETURN,
  276. T_DEFER,
  277. T_REQUIRE,
  278. T_TRY,
  279. T_CATCH,
  280. T_FINALLY,
  281. T_THROW,
  282. T_GOTO,
  283. T_CLASS,
  284. T_DEL,
  285. T_WITH,
  286. T_AS,
  287. T_IS,
  288. T_IN,
  289. T_LPAR,
  290. T_RPAR,
  291. T_LSB,
  292. T_RSB,
  293. T_LCB,
  294. T_RCB,
  295. T_EQUALS,
  296. T_NOTEQUALS,
  297. T_PLUSASSIGN,
  298. T_MINUSASSIGN,
  299. T_SLASHASSIGN,
  300. T_STARASSIGN,
  301. T_SLASHSLASHASSIGN,
  302. T_PERCENTASSIGN,
  303. T_STARSTARASSIGN,
  304. T_BARASSIGN,
  305. T_ANDASSIGN,
  306. T_RAISEASSIGN,
  307. T_LTLTASSIGN,
  308. T_GTGTASSIGN,
  309. T_BARBAR,
  310. T_ANDAND,
  311. T_STARSTAR,
  312. T_PLUSPLUS,
  313. T_MINUSMINUS,
  314. T_SLASHSLASH,
  315. T_COLONASSIGN,
  316. T_PLUS,
  317. T_MINUS,
  318. T_QM,
  319. T_COLON,
  320. T_BAR,
  321. T_AND,
  322. T_LT,
  323. T_LTLT,
  324. T_GT,
  325. T_GTGT,
  326. T_LE,
  327. T_GE,
  328. T_STAR,
  329. T_SLASH,
  330. T_PERCENT,
  331. T_COMMA,
  332. T_DOT,
  333. T_BANG,
  334. T_RAISE,
  335. T_TILDE,
  336. T_AT,
  337. T_INLINE,
  338. T_HEADER,
  339. T_INCLUDE,
  340. T_MACRO,
  341. T_ASSIGN,
  342. T_SEMI,
  343. T_MVAR
  344. } tag;
  345. char *text;
  346. size_t fi;
  347. size_t pos;
  348. } token_t;
  349. token_t *token(int tag, char *text) {
  350. token_t *tok = malloc_checked(sizeof(token_t));
  351. tok->tag = tag;
  352. tok->text = text;
  353. return tok;
  354. }
  355. #define TK(tk) (token(T_##tk, NULL))
  356. #define WS() \
  357. while (source[*pos] == ' ' || source[*pos] == '\t' || \
  358. source[*pos] == '\n' || source[*pos] == '\r') { \
  359. (*pos)++; \
  360. }
  361. void consume_ignored(char *source, size_t *pos) {
  362. WS();
  363. while (source[*pos] == '#') {
  364. (*pos)++;
  365. for (;;) {
  366. if (!source[*pos])
  367. break;
  368. if (source[*pos] == '\n') {
  369. (*pos)++;
  370. break;
  371. }
  372. (*pos)++;
  373. }
  374. WS();
  375. }
  376. }
  377. list_t *FILES;
  378. list_t *REQUIRED;
  379. int is_required(char *path) {
  380. for (size_t i = 0; i < REQUIRED->length; i++)
  381. if (strcmp(REQUIRED->data[i], path) == 0)
  382. return 1;
  383. return 0;
  384. }
  385. char *traverse(char *source, size_t pos, size_t *line, size_t *col) {
  386. if (line)
  387. *line = 1;
  388. if (col)
  389. *col = 1;
  390. size_t p = 0;
  391. for (size_t i = 0; i < pos; i++) {
  392. if (source[i] == '\n') {
  393. if (line)
  394. (*line)++;
  395. if (col)
  396. (*col) = 1;
  397. p = i + 1;
  398. } else if (col)
  399. (*col)++;
  400. }
  401. return &source[p];
  402. }
  403. void format_error(char *filename, char *source, size_t pos, char *fmt, ...) {
  404. size_t line, col;
  405. char *src = traverse(source, pos, &line, &col);
  406. va_list args;
  407. va_start(args, fmt);
  408. fprintf(stderr, "%s (%zu:%zu): ", filename, line, col);
  409. vfprintf(stderr, fmt, args);
  410. fputc('\n', stderr);
  411. va_end(args);
  412. if (!*src)
  413. return;
  414. int empty = 1;
  415. for (size_t i = 0; src[i] && src[i] != '\n'; i++)
  416. if (!isspace(src[i])) {
  417. empty = 0;
  418. break;
  419. }
  420. if (empty)
  421. return;
  422. fputc('\t', stderr);
  423. for (size_t i = 0; src[i] && src[i] != '\n' && i < 64; i++)
  424. fputc(src[i], stderr);
  425. fputc('\n', stderr);
  426. fputc('\t', stderr);
  427. for (size_t i = 1; i < col && i < 64; i++)
  428. fputc(' ', stderr);
  429. fputs("^\n", stderr);
  430. }
  431. #define GETFNAME(fi) ((char *)((list_t *)list_index(FILES, fi))->data[0])
  432. #define GETSRC(fi) ((char *)((list_t *)list_index(FILES, fi))->data[1])
  433. #define LEX_ERROR(fmt, ...) \
  434. { \
  435. format_error(GETFNAME(-1), source, *pos, fmt, ##__VA_ARGS__); \
  436. exit(1); \
  437. }
  438. token_t *tokenize_string(char *source, size_t *pos) {
  439. char term = source[(*pos)++];
  440. buffer_t *text = buffer_new();
  441. while (source[*pos] != term) {
  442. if (!source[*pos])
  443. LEX_ERROR("unterminated string literal");
  444. char c = source[(*pos)++];
  445. if (c == '\n' && term != '`')
  446. LEX_ERROR("unterminated string literal");
  447. if (term != '`' && c == '\\') {
  448. char nc = source[(*pos)++];
  449. if (!nc)
  450. continue;
  451. switch (nc) {
  452. case 'x': {
  453. char buf[3];
  454. int k = 0;
  455. while (k < 2) {
  456. if (!source[*pos] || !strchr("0123456789abcdefABCDEF", source[*pos]))
  457. break;
  458. buf[k++] = source[(*pos)++];
  459. }
  460. if (k != 2)
  461. LEX_ERROR("malformed \\x escape sequence");
  462. buf[k] = 0;
  463. buffer_fmt(text, "\\x%s", buf);
  464. } break;
  465. case 'n':
  466. buffer_appends(text, "\\n");
  467. break;
  468. case 't':
  469. buffer_appends(text, "\\t");
  470. break;
  471. case 'r':
  472. buffer_appends(text, "\\r");
  473. break;
  474. case 'a':
  475. buffer_appends(text, "\\a");
  476. break;
  477. case 'b':
  478. buffer_appends(text, "\\b");
  479. break;
  480. case 'e':
  481. buffer_appends(text, "\\x1b");
  482. break;
  483. case 's':
  484. buffer_appends(text, " ");
  485. break;
  486. case '"':
  487. buffer_appends(text, "\\\"");
  488. break;
  489. case '?':
  490. buffer_appends(text, "\\\?");
  491. break;
  492. case '\\':
  493. buffer_appends(text, "\\\\");
  494. break;
  495. case '\n':
  496. buffer_appends(text, "\\n");
  497. break;
  498. default:
  499. buffer_append(text, nc);
  500. break;
  501. }
  502. continue;
  503. }
  504. if (c == '"' || c == '\\' || c == '?')
  505. buffer_append(text, '\\');
  506. else if (c == '\n') {
  507. buffer_appends(text, "\\n");
  508. continue;
  509. }
  510. buffer_append(text, c);
  511. }
  512. (*pos)++;
  513. return token(T_STRING, buffer_read(text));
  514. }
  515. int NEEDS_UTF8 = 0;
  516. token_t *next_token(char *source, size_t *pos) {
  517. if (!source[*pos])
  518. return token(T_EOF, NULL);
  519. if (source[*pos] == '"' || source[*pos] == '\'' || source[*pos] == '`')
  520. return tokenize_string(source, pos);
  521. else if (source[*pos] == 'f' &&
  522. (source[(*pos) + 1] == '"' || source[(*pos) + 1] == '\'' ||
  523. source[(*pos) + 1] == '`')) {
  524. (*pos)++;
  525. token_t *t = tokenize_string(source, pos);
  526. t->tag = T_FSTRING;
  527. return t;
  528. } else if (source[*pos] == 'u' &&
  529. (source[(*pos) + 1] == '"' || source[(*pos) + 1] == '\'' ||
  530. source[(*pos) + 1] == '`')) {
  531. (*pos)++;
  532. token_t *t = tokenize_string(source, pos);
  533. t->tag = T_USTRING;
  534. NEEDS_UTF8 = 1;
  535. return t;
  536. } else if (source[*pos] == '0' &&
  537. (source[(*pos) + 1] == 'x' || source[(*pos) + 1] == 'b' ||
  538. source[(*pos) + 1] == 'o')) {
  539. buffer_t *number = buffer_new();
  540. buffer_append(number, source[(*pos)++]);
  541. char b = source[(*pos)++];
  542. buffer_append(number, b);
  543. while (source[*pos] && strchr(b == 'x' ? "0123456789abcdefABCDEF"
  544. : b == 'b' ? "01"
  545. : "01234567",
  546. source[*pos]) != NULL)
  547. buffer_append(number, source[(*pos)++]);
  548. if (number->size < 3)
  549. LEX_ERROR("illegal number literal (trailing base)");
  550. return token(T_NUMBER, buffer_read(number));
  551. } else if ((source[*pos] == '.' && isdigit(source[(*pos) + 1])) ||
  552. isdigit(source[*pos])) {
  553. buffer_t *number = buffer_new();
  554. int dot = 0;
  555. int sub = 0;
  556. int skip = 0;
  557. if (source[*pos] == '.') {
  558. buffer_append(number, '0');
  559. skip = 1;
  560. }
  561. do {
  562. if (skip)
  563. skip = 0;
  564. else
  565. buffer_append(number, source[(*pos)++]);
  566. if (!dot && source[*pos] == '.') {
  567. buffer_append(number, source[(*pos)++]);
  568. if (!isdigit(source[*pos]))
  569. LEX_ERROR(
  570. "illegal number literal (missing part after floating point)");
  571. dot = 1;
  572. } else if (!sub && source[*pos] == '_') {
  573. (*pos)++;
  574. if (!isdigit(source[*pos]))
  575. LEX_ERROR("illegal number literal (missing part after underscore)");
  576. sub = 1;
  577. } else if (sub)
  578. sub = 0;
  579. } while (isdigit(source[*pos]));
  580. return token(T_NUMBER, buffer_read(number));
  581. } else if (source[*pos] == '$') {
  582. (*pos)++;
  583. buffer_t *name = buffer_new();
  584. if (source[*pos] == '$' || source[*pos] == '{' || source[*pos] == ':' ||
  585. source[*pos] == '*')
  586. buffer_append(name, source[(*pos)++]);
  587. else {
  588. if (!source[*pos] || !isalpha(source[*pos]))
  589. LEX_ERROR("illegal macro variable (missing or malformed part after "
  590. "dollar sign)");
  591. do {
  592. buffer_append(name, source[(*pos)++]);
  593. } while (isalpha(source[*pos]) || source[*pos] == '_' ||
  594. isdigit(source[*pos]));
  595. }
  596. return token(T_MVAR, buffer_read(name));
  597. } else if (isalpha(source[*pos]) || source[*pos] == '_') {
  598. buffer_t *text = buffer_new();
  599. do {
  600. buffer_append(text, source[(*pos)++]);
  601. } while (isalpha(source[*pos]) || source[*pos] == '_' ||
  602. isdigit(source[*pos]));
  603. char *name = buffer_read(text);
  604. if (strcmp(name, "var") == 0)
  605. return TK(VAR);
  606. else if (strcmp(name, "let") == 0)
  607. return TK(LET);
  608. else if (strcmp(name, "const") == 0)
  609. return TK(CONST);
  610. else if (strcmp(name, "if") == 0)
  611. return TK(IF);
  612. else if (strcmp(name, "else") == 0)
  613. return TK(ELSE);
  614. else if (strcmp(name, "elif") == 0)
  615. return TK(ELIF);
  616. else if (strcmp(name, "switch") == 0)
  617. return TK(SWITCH);
  618. else if (strcmp(name, "case") == 0)
  619. return TK(CASE);
  620. else if (strcmp(name, "default") == 0)
  621. return TK(DEFAULT);
  622. else if (strcmp(name, "for") == 0)
  623. return TK(FOR);
  624. else if (strcmp(name, "break") == 0)
  625. return TK(BREAK);
  626. else if (strcmp(name, "continue") == 0)
  627. return TK(CONTINUE);
  628. else if (strcmp(name, "func") == 0)
  629. return TK(FUNC);
  630. else if (strcmp(name, "use") == 0)
  631. return TK(USE);
  632. else if (strcmp(name, "return") == 0)
  633. return TK(RETURN);
  634. else if (strcmp(name, "defer") == 0)
  635. return TK(DEFER);
  636. else if (strcmp(name, "pass") == 0)
  637. return TK(PASS);
  638. else if (strcmp(name, "require") == 0)
  639. return TK(REQUIRE);
  640. else if (strcmp(name, "try") == 0)
  641. return TK(TRY);
  642. else if (strcmp(name, "catch") == 0)
  643. return TK(CATCH);
  644. else if (strcmp(name, "finally") == 0)
  645. return TK(FINALLY);
  646. else if (strcmp(name, "throw") == 0)
  647. return TK(THROW);
  648. else if (strcmp(name, "goto") == 0)
  649. return TK(GOTO);
  650. else if (strcmp(name, "class") == 0)
  651. return TK(CLASS);
  652. else if (strcmp(name, "del") == 0)
  653. return TK(DEL);
  654. else if (strcmp(name, "is") == 0)
  655. return TK(IS);
  656. else if (strcmp(name, "with") == 0)
  657. return TK(WITH);
  658. else if (strcmp(name, "as") == 0)
  659. return TK(AS);
  660. else if (strcmp(name, "in") == 0)
  661. return TK(IN);
  662. else if (strcmp(name, "of") == 0)
  663. return TK(OF);
  664. else if (strcmp(name, "inline") == 0)
  665. return TK(INLINE);
  666. else if (strcmp(name, "header") == 0)
  667. return TK(HEADER);
  668. else if (strcmp(name, "include") == 0)
  669. return TK(INCLUDE);
  670. else if (strcmp(name, "macro") == 0)
  671. return TK(MACRO);
  672. else if (strcmp(name, "true") == 0)
  673. return TK(TRUE);
  674. else if (strcmp(name, "false") == 0)
  675. return TK(FALSE);
  676. else if (strcmp(name, "nil") == 0)
  677. return TK(NIL);
  678. return token(T_NAME, name);
  679. } else if (strncmp(&source[*pos], "==", 2) == 0 && ++(*pos) && ++(*pos))
  680. return TK(EQUALS);
  681. else if (strncmp(&source[*pos], "!=", 2) == 0 && ++(*pos) && ++(*pos))
  682. return TK(NOTEQUALS);
  683. else if (strncmp(&source[*pos], "+=", 2) == 0 && ++(*pos) && ++(*pos))
  684. return TK(PLUSASSIGN);
  685. else if (strncmp(&source[*pos], "-=", 2) == 0 && ++(*pos) && ++(*pos))
  686. return TK(MINUSASSIGN);
  687. else if (strncmp(&source[*pos], "*=", 2) == 0 && ++(*pos) && ++(*pos))
  688. return TK(STARASSIGN);
  689. else if (strncmp(&source[*pos], "/=", 2) == 0 && ++(*pos) && ++(*pos))
  690. return TK(SLASHASSIGN);
  691. else if (strncmp(&source[*pos], "//=", 3) == 0 && ++(*pos) && ++(*pos) &&
  692. ++(*pos))
  693. return TK(SLASHSLASHASSIGN);
  694. else if (strncmp(&source[*pos], "%=", 2) == 0 && ++(*pos) && ++(*pos))
  695. return TK(PERCENTASSIGN);
  696. else if (strncmp(&source[*pos], "**=", 3) == 0 && ++(*pos) && ++(*pos) &&
  697. ++(*pos))
  698. return TK(STARSTARASSIGN);
  699. else if (strncmp(&source[*pos], "|=", 2) == 0 && ++(*pos) && ++(*pos))
  700. return TK(BARASSIGN);
  701. else if (strncmp(&source[*pos], "&=", 2) == 0 && ++(*pos) && ++(*pos))
  702. return TK(ANDASSIGN);
  703. else if (strncmp(&source[*pos], "^=", 2) == 0 && ++(*pos) && ++(*pos))
  704. return TK(RAISEASSIGN);
  705. else if (strncmp(&source[*pos], "<<=", 3) == 0 && ++(*pos) && ++(*pos) &&
  706. ++(*pos))
  707. return TK(LTLTASSIGN);
  708. else if (strncmp(&source[*pos], ">>=", 3) == 0 && ++(*pos) && ++(*pos) &&
  709. ++(*pos))
  710. return TK(GTGTASSIGN);
  711. else if (strncmp(&source[*pos], "||", 2) == 0 && ++(*pos) && ++(*pos))
  712. return TK(BARBAR);
  713. else if (strncmp(&source[*pos], "&&", 2) == 0 && ++(*pos) && ++(*pos))
  714. return TK(ANDAND);
  715. else if (strncmp(&source[*pos], "++", 2) == 0 && ++(*pos) && ++(*pos))
  716. return TK(PLUSPLUS);
  717. else if (strncmp(&source[*pos], "--", 2) == 0 && ++(*pos) && ++(*pos))
  718. return TK(MINUSMINUS);
  719. else if (strncmp(&source[*pos], "//", 2) == 0 && ++(*pos) && ++(*pos))
  720. return TK(SLASHSLASH);
  721. else if (strncmp(&source[*pos], "**", 2) == 0 && ++(*pos) && ++(*pos))
  722. return TK(STARSTAR);
  723. else if (strncmp(&source[*pos], "<<", 2) == 0 && ++(*pos) && ++(*pos))
  724. return TK(LTLT);
  725. else if (strncmp(&source[*pos], ">>", 2) == 0 && ++(*pos) && ++(*pos))
  726. return TK(GTGT);
  727. else if (strncmp(&source[*pos], "<=", 2) == 0 && ++(*pos) && ++(*pos))
  728. return TK(LE);
  729. else if (strncmp(&source[*pos], ">=", 2) == 0 && ++(*pos) && ++(*pos))
  730. return TK(GE);
  731. else if (strncmp(&source[*pos], ":=", 2) == 0 && ++(*pos) && ++(*pos))
  732. return TK(COLONASSIGN);
  733. else if (source[*pos] == '(' && ++(*pos))
  734. return TK(LPAR);
  735. else if (source[*pos] == ')' && ++(*pos))
  736. return TK(RPAR);
  737. else if (source[*pos] == '[' && ++(*pos))
  738. return TK(LSB);
  739. else if (source[*pos] == ']' && ++(*pos))
  740. return TK(RSB);
  741. else if (source[*pos] == '{' && ++(*pos))
  742. return TK(LCB);
  743. else if (source[*pos] == '}' && ++(*pos)) {
  744. if (source[*pos] == '$' && ++(*pos))
  745. return token(T_MVAR, strdup("}"));
  746. return TK(RCB);
  747. } else if (source[*pos] == '+' && ++(*pos))
  748. return TK(PLUS);
  749. else if (source[*pos] == '-' && ++(*pos))
  750. return TK(MINUS);
  751. else if (source[*pos] == '*' && ++(*pos))
  752. return TK(STAR);
  753. else if (source[*pos] == '/' && ++(*pos))
  754. return TK(SLASH);
  755. else if (source[*pos] == '%' && ++(*pos))
  756. return TK(PERCENT);
  757. else if (source[*pos] == '?' && ++(*pos))
  758. return TK(QM);
  759. else if (source[*pos] == ':' && ++(*pos))
  760. return TK(COLON);
  761. else if (source[*pos] == '=' && ++(*pos))
  762. return TK(ASSIGN);
  763. else if (source[*pos] == ';' && ++(*pos))
  764. return TK(SEMI);
  765. else if (source[*pos] == ',' && ++(*pos))
  766. return TK(COMMA);
  767. else if (source[*pos] == '.' && ++(*pos))
  768. return TK(DOT);
  769. else if (source[*pos] == '<' && ++(*pos))
  770. return TK(LT);
  771. else if (source[*pos] == '>' && ++(*pos))
  772. return TK(GT);
  773. else if (source[*pos] == '!' && ++(*pos))
  774. return TK(BANG);
  775. else if (source[*pos] == '|' && ++(*pos))
  776. return TK(BAR);
  777. else if (source[*pos] == '&' && ++(*pos))
  778. return TK(AND);
  779. else if (source[*pos] == '^' && ++(*pos))
  780. return TK(RAISE);
  781. else if (source[*pos] == '~' && ++(*pos))
  782. return TK(TILDE);
  783. else if (source[*pos] == '@' && ++(*pos))
  784. return TK(AT);
  785. LEX_ERROR("unexpected input")
  786. }
  787. list_t *tokenize(char *source) {
  788. size_t pos = 0;
  789. list_t *toks = list_new();
  790. do {
  791. consume_ignored(source, &pos);
  792. size_t tok_pos = pos;
  793. token_t *tok = next_token(source, &pos);
  794. tok->fi = FILES->length - 1;
  795. tok->pos = tok_pos;
  796. list_push(toks, tok);
  797. if (tok->tag == T_EOF)
  798. break;
  799. } while (1);
  800. return toks;
  801. }
  802. int DEBUG = 0;
  803. list_t *DEBUGDATA;
  804. list_t *FUNCNAMES;
  805. struct _node_t {
  806. enum {
  807. N_TOPLEVEL,
  808. N_PROGRAM,
  809. N_EXPRSTMT,
  810. N_BLOCK,
  811. N_EXPRS_BEGIN,
  812. N_COMMA,
  813. N_NOT,
  814. N_NEGATE,
  815. N_UNARY_PLUS,
  816. N_BNOT,
  817. N_LITERAL,
  818. N_LIST,
  819. N_LISTGEN,
  820. N_TABLEGEN,
  821. N_TUPLE,
  822. N_NILTUPLE,
  823. N_TABLE,
  824. N_CALL,
  825. N_MEMBER,
  826. N_INDEX,
  827. N_SLICE,
  828. N_ADD,
  829. N_SUB,
  830. N_MUL,
  831. N_DIV,
  832. N_IDIV,
  833. N_MOD,
  834. N_POW,
  835. N_SHL,
  836. N_SHR,
  837. N_XOR,
  838. N_BOR,
  839. N_BAND,
  840. N_ASSIGN,
  841. N_ASSIGN_ADD,
  842. N_ASSIGN_SUB,
  843. N_ASSIGN_MUL,
  844. N_ASSIGN_DIV,
  845. N_ASSIGN_IDIV,
  846. N_ASSIGN_MOD,
  847. N_ASSIGN_POW,
  848. N_ASSIGN_BOR,
  849. N_ASSIGN_BAND,
  850. N_ASSIGN_XOR,
  851. N_ASSIGN_SHL,
  852. N_ASSIGN_SHR,
  853. N_DECL,
  854. N_EQUALS,
  855. N_NOTEQUALS,
  856. N_IS,
  857. N_IN,
  858. N_NOTIS,
  859. N_NOTIN,
  860. N_LT,
  861. N_GT,
  862. N_LE,
  863. N_GE,
  864. N_INC,
  865. N_DEC,
  866. N_PINC,
  867. N_PDEC,
  868. N_IFEXPR,
  869. N_FUNCEXPR,
  870. N_LOGOR,
  871. N_LOGAND,
  872. N_CATCH,
  873. N_EXPRS_END,
  874. N_STAR,
  875. N_VAR,
  876. N_LET,
  877. N_VARUNPACK,
  878. N_LETUNPACK,
  879. N_CONST,
  880. N_IF,
  881. N_SWITCH,
  882. N_FOR,
  883. N_FOROF,
  884. N_FOROFVAR,
  885. N_FOROFUNPACK,
  886. N_FOROFVARUNPACK,
  887. N_BREAK,
  888. N_CONTINUE,
  889. N_FUNCDEF,
  890. N_RETURN,
  891. N_DEFER,
  892. N_PASS,
  893. N_REQUIRE,
  894. N_TRY,
  895. N_THROW,
  896. N_LABEL,
  897. N_GOTO,
  898. N_CLASS,
  899. N_DEL,
  900. N_WITH,
  901. N_INLINE,
  902. N_HEADER,
  903. N_INCLUDE,
  904. N_BUFFER,
  905. N_MACRO_CALL,
  906. N_MVAR,
  907. N_MIF,
  908. N_MFOR,
  909. N_MREPEAT,
  910. N_MSET,
  911. N_MPUSH,
  912. N_MSTMT,
  913. N_MEXPR
  914. } tag;
  915. struct _node_t *a;
  916. struct _node_t *b;
  917. struct _node_t *c;
  918. struct _node_t *d;
  919. list_t *l;
  920. list_t *l2;
  921. table_t *h;
  922. table_t *h2;
  923. token_t *t;
  924. token_t *t2;
  925. buffer_t *buf;
  926. size_t fi;
  927. size_t pos;
  928. };
  929. typedef struct _node_t node_t;
  930. node_t *node_pos(node_t *node, size_t fi, size_t pos) {
  931. node->fi = fi;
  932. node->pos = pos;
  933. return node;
  934. }
  935. node_t *node_copy(node_t *node) {
  936. node_t *nnode = malloc_checked(sizeof(node_t));
  937. memcpy(nnode, node, sizeof(node_t));
  938. return nnode;
  939. }
  940. node_t *nodet(int tag, token_t *t) {
  941. node_t *node = malloc_checked(sizeof(node_t));
  942. node->tag = tag;
  943. node->t = t;
  944. return node;
  945. }
  946. #define NODET(n, a) \
  947. (node_pos(nodet(N_##n, (a)), \
  948. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  949. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  950. node_t *nodel(int tag, list_t *l) {
  951. node_t *node = malloc_checked(sizeof(node_t));
  952. node->tag = tag;
  953. node->l = l;
  954. return node;
  955. }
  956. #define NODEL(n, a) \
  957. (node_pos(nodel(N_##n, (a)), \
  958. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  959. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  960. node_t *nodetl(int tag, token_t *t, list_t *l) {
  961. node_t *node = malloc_checked(sizeof(node_t));
  962. node->tag = tag;
  963. node->t = t;
  964. node->l = l;
  965. return node;
  966. }
  967. #define NODETL(n, t, l) \
  968. (node_pos(nodetl(N_##n, (t), (l)), \
  969. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  970. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  971. node_t *nodeh(int tag, table_t *h) {
  972. node_t *node = malloc_checked(sizeof(node_t));
  973. node->tag = tag;
  974. node->h = h;
  975. return node;
  976. }
  977. #define NODEH(n, a) \
  978. (node_pos(nodeh(N_##n, (a)), \
  979. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  980. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  981. node_t *node0(int tag) {
  982. node_t *node = malloc_checked(sizeof(node_t));
  983. node->tag = tag;
  984. return node;
  985. }
  986. #define NODE0(n) \
  987. (node_pos(node0(N_##n), \
  988. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  989. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  990. node_t *node1(int tag, node_t *a) {
  991. node_t *node = malloc_checked(sizeof(node_t));
  992. node->tag = tag;
  993. node->a = a;
  994. return node;
  995. }
  996. #define NODE1(n, a) \
  997. (node_pos(node1(N_##n, (a)), \
  998. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  999. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  1000. node_t *node1l(int tag, node_t *a, list_t *l) {
  1001. node_t *node = malloc_checked(sizeof(node_t));
  1002. node->tag = tag;
  1003. node->a = a;
  1004. node->l = l;
  1005. return node;
  1006. }
  1007. #define NODE1l(n, a, l) \
  1008. (node_pos(node1l(N_##n, (a), (l)), \
  1009. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  1010. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  1011. node_t *node1l2(int tag, node_t *a, list_t *l, list_t *l2) {
  1012. node_t *node = malloc_checked(sizeof(node_t));
  1013. node->tag = tag;
  1014. node->a = a;
  1015. node->l = l;
  1016. node->l2 = l2;
  1017. return node;
  1018. }
  1019. #define NODE1l2(n, a, l, l2) \
  1020. (node_pos(node1l2(N_##n, (a), (l), (l2)), \
  1021. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  1022. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  1023. node_t *node1t(int tag, node_t *a, token_t *t) {
  1024. node_t *node = malloc_checked(sizeof(node_t));
  1025. node->tag = tag;
  1026. node->a = a;
  1027. node->t = t;
  1028. return node;
  1029. }
  1030. #define NODE1t(n, a, t) \
  1031. (node_pos(node1t(N_##n, (a), (t)), \
  1032. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  1033. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  1034. node_t *node2(int tag, node_t *a, node_t *b) {
  1035. node_t *node = malloc_checked(sizeof(node_t));
  1036. node->tag = tag;
  1037. node->a = a;
  1038. node->b = b;
  1039. return node;
  1040. }
  1041. #define NODE2(n, a, b) \
  1042. (node_pos(node2(N_##n, (a), (b)), \
  1043. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  1044. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  1045. node_t *node2l(int tag, node_t *a, node_t *b, list_t *l) {
  1046. node_t *node = malloc_checked(sizeof(node_t));
  1047. node->tag = tag;
  1048. node->a = a;
  1049. node->b = b;
  1050. node->l = l;
  1051. return node;
  1052. }
  1053. #define NODE2l(n, a, b, l) \
  1054. (node_pos(node2l(N_##n, (a), (b), (l)), \
  1055. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  1056. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  1057. node_t *node2t(int tag, node_t *a, node_t *b, token_t *t) {
  1058. node_t *node = malloc_checked(sizeof(node_t));
  1059. node->tag = tag;
  1060. node->a = a;
  1061. node->b = b;
  1062. node->t = t;
  1063. return node;
  1064. }
  1065. #define NODE2t(n, a, b, c) \
  1066. (node_pos(node2t(N_##n, (a), (b), (c)), \
  1067. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  1068. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  1069. node_t *node3(int tag, node_t *a, node_t *b, node_t *c) {
  1070. node_t *node = malloc_checked(sizeof(node_t));
  1071. node->tag = tag;
  1072. node->a = a;
  1073. node->b = b;
  1074. node->c = c;
  1075. return node;
  1076. }
  1077. #define NODE3(n, a, b, c) \
  1078. (node_pos(node3(N_##n, (a), (b), (c)), \
  1079. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  1080. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  1081. node_t *node3t(int tag, node_t *a, node_t *b, node_t *c, token_t *t) {
  1082. node_t *node = malloc_checked(sizeof(node_t));
  1083. node->tag = tag;
  1084. node->a = a;
  1085. node->b = b;
  1086. node->c = c;
  1087. node->t = t;
  1088. return node;
  1089. }
  1090. #define NODE3t(n, a, b, c, d) \
  1091. (node_pos(node3t(N_##n, (a), (b), (c), (d)), \
  1092. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  1093. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  1094. node_t *node4(int tag, node_t *a, node_t *b, node_t *c, node_t *d) {
  1095. node_t *node = malloc_checked(sizeof(node_t));
  1096. node->tag = tag;
  1097. node->a = a;
  1098. node->b = b;
  1099. node->c = c;
  1100. node->d = d;
  1101. return node;
  1102. }
  1103. #define NODE4(n, a, b, c, d) \
  1104. (node_pos(node4(N_##n, (a), (b), (c), (d)), \
  1105. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  1106. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  1107. node_t *nodef(int tag, token_t *name, table_t *params, table_t *captured,
  1108. node_t *body) {
  1109. node_t *node = malloc_checked(sizeof(node_t));
  1110. node->tag = tag;
  1111. node->t = name;
  1112. node->h = params;
  1113. node->h2 = captured;
  1114. node->a = body;
  1115. return node;
  1116. }
  1117. #define NODEF(n, a, b, c, d) \
  1118. (node_pos(nodef(N_##n, (a), (b), (c), (d)), \
  1119. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi, \
  1120. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos))
  1121. node_t *nodeb(buffer_t *buf) {
  1122. node_t *node = malloc_checked(sizeof(node_t));
  1123. node->tag = N_BUFFER;
  1124. node->buf = buf;
  1125. return node;
  1126. }
  1127. typedef struct {
  1128. char *name;
  1129. list_t *params;
  1130. list_t *body;
  1131. int variable;
  1132. } macro_t;
  1133. list_t *MACROS;
  1134. #define LABELLOOP(n) \
  1135. node_t *ln = (n); \
  1136. ln->t2 = label;
  1137. #define AT(tk) \
  1138. (*pos < tokens->length && ((token_t *)tokens->data[*pos])->tag == T_##tk)
  1139. #define ATP(tk, p) \
  1140. ((*pos) + p < tokens->length && \
  1141. ((token_t *)tokens->data[(*pos) + p])->tag == T_##tk)
  1142. #define MATCH(tk) (AT(tk) && ++(*pos))
  1143. #define PARSE_ERROR(fmt, ...) \
  1144. { \
  1145. format_error( \
  1146. GETFNAME( \
  1147. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi), \
  1148. GETSRC( \
  1149. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->fi), \
  1150. ((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])->pos, fmt, \
  1151. ##__VA_ARGS__); \
  1152. exit(1); \
  1153. }
  1154. #define EXPECT(tk, s) \
  1155. { \
  1156. if (!MATCH(tk)) \
  1157. PARSE_ERROR("expected %s", (s)); \
  1158. }
  1159. node_t *parse_expr(list_t *tokens, size_t *pos);
  1160. list_t *parse_sequence(list_t *tokens, size_t *pos, int term) {
  1161. list_t *seq = list_new();
  1162. do {
  1163. if (term != -1 && *pos < tokens->length &&
  1164. ((token_t *)tokens->data[*pos])->tag == term)
  1165. break;
  1166. if (MATCH(STAR))
  1167. list_push(seq, NODE1(STAR, parse_expr(tokens, pos)));
  1168. else
  1169. list_push(seq, parse_expr(tokens, pos));
  1170. } while (MATCH(COMMA));
  1171. return seq;
  1172. }
  1173. node_t *parse_func(list_t *tokens, size_t *pos, int is_expr);
  1174. char *unescape(char *s);
  1175. node_t *parse_primary(list_t *tokens, size_t *pos) {
  1176. if (MATCH(MVAR))
  1177. return NODET(MVAR, tokens->data[(*pos) - 1]);
  1178. else if (MATCH(CATCH)) {
  1179. node_t *a = parse_expr(tokens, pos);
  1180. return NODE1(CATCH, a);
  1181. } else if (MATCH(FUNC))
  1182. return parse_func(tokens, pos, 1);
  1183. else if (MATCH(LPAR)) {
  1184. if (MATCH(RPAR))
  1185. return NODE0(NILTUPLE);
  1186. node_t *a = parse_expr(tokens, pos);
  1187. if (MATCH(COMMA)) {
  1188. list_t *l = list_new();
  1189. list_push(l, a);
  1190. if (!AT(RPAR))
  1191. do {
  1192. node_t *n = parse_expr(tokens, pos);
  1193. list_push(l, n);
  1194. } while (MATCH(COMMA));
  1195. a = NODEL(TUPLE, l);
  1196. }
  1197. EXPECT(RPAR, ")");
  1198. return a;
  1199. } else if (MATCH(LSB)) {
  1200. list_t *a = parse_sequence(tokens, pos, T_RSB);
  1201. node_t *loop = NULL;
  1202. node_t *cond = NULL;
  1203. if (MATCH(FOR)) {
  1204. int is_var = MATCH(VAR);
  1205. if (MATCH(LSB)) {
  1206. list_t *l = list_new();
  1207. do {
  1208. if (!AT(NAME))
  1209. PARSE_ERROR("expected identifier");
  1210. list_push(l, ((token_t *)tokens->data[(*pos)++])->text);
  1211. } while (MATCH(COMMA));
  1212. EXPECT(RSB, "]");
  1213. EXPECT(OF, "of");
  1214. if (is_var)
  1215. loop = NODE2l(FOROFVARUNPACK, parse_expr(tokens, pos), NODEL(LIST, a), l);
  1216. else
  1217. loop = NODE2l(FOROFUNPACK, parse_expr(tokens, pos), NODEL(LIST, a), l);
  1218. } else {
  1219. if (!AT(NAME))
  1220. PARSE_ERROR("expected identifier");
  1221. token_t *t = tokens->data[(*pos)++];
  1222. EXPECT(OF, "of");
  1223. if (is_var)
  1224. loop = NODE2t(FOROFVAR, parse_expr(tokens, pos), NODEL(LIST, a), t);
  1225. else
  1226. loop = NODE2t(FOROF, parse_expr(tokens, pos), NODEL(LIST, a), t);
  1227. }
  1228. if (MATCH(IF))
  1229. cond = parse_expr(tokens, pos);
  1230. }
  1231. EXPECT(RSB, "]");
  1232. if (loop)
  1233. return NODE2(LISTGEN, loop, cond);
  1234. return NODEL(LIST, a);
  1235. } else if (MATCH(LCB)) {
  1236. list_t *pairs = list_new();
  1237. do {
  1238. if (AT(RCB))
  1239. break;
  1240. node_t *key = parse_expr(tokens, pos);
  1241. EXPECT(COLON, ":");
  1242. node_t *val = parse_expr(tokens, pos);
  1243. list_t *pair = list_new();
  1244. list_push(pair, key);
  1245. list_push(pair, val);
  1246. list_push(pairs, pair);
  1247. } while (MATCH(COMMA));
  1248. node_t *loop = NULL;
  1249. node_t *cond = NULL;
  1250. if (MATCH(FOR)) {
  1251. int is_var = MATCH(VAR);
  1252. if (MATCH(LSB)) {
  1253. list_t *l = list_new();
  1254. do {
  1255. if (!AT(NAME))
  1256. PARSE_ERROR("expected identifier");
  1257. list_push(l, ((token_t *)tokens->data[(*pos)++])->text);
  1258. } while (MATCH(COMMA));
  1259. EXPECT(RSB, "]");
  1260. EXPECT(OF, "of");
  1261. if (is_var)
  1262. loop = NODE2l(FOROFVARUNPACK, parse_expr(tokens, pos), NODEL(LIST, pairs), l);
  1263. else
  1264. loop = NODE2l(FOROFUNPACK, parse_expr(tokens, pos), NODEL(LIST, pairs), l);
  1265. } else {
  1266. if (!AT(NAME))
  1267. PARSE_ERROR("expected identifier");
  1268. token_t *t = tokens->data[(*pos)++];
  1269. EXPECT(OF, "of");
  1270. if (is_var)
  1271. loop = NODE2t(FOROFVAR, parse_expr(tokens, pos), NODEL(LIST, pairs), t);
  1272. else
  1273. loop = NODE2t(FOROF, parse_expr(tokens, pos), NODEL(LIST, pairs), t);
  1274. }
  1275. if (MATCH(IF))
  1276. cond = parse_expr(tokens, pos);
  1277. }
  1278. EXPECT(RCB, "}");
  1279. if (loop)
  1280. return NODE2(TABLEGEN, loop, cond);
  1281. return NODEL(TABLE, pairs);
  1282. } else if (MATCH(NUMBER) || MATCH(STRING) || MATCH(FSTRING) ||
  1283. MATCH(USTRING) || MATCH(NAME) || MATCH(TRUE) || MATCH(FALSE) ||
  1284. MATCH(NIL))
  1285. return NODET(LITERAL, tokens->data[(*pos) - 1]);
  1286. if (MATCH(RPAR)) {
  1287. PARSE_ERROR("extraneous )");
  1288. } else if (MATCH(RSB)) {
  1289. PARSE_ERROR("extraneous ]");
  1290. } else if (MATCH(RCB)) {
  1291. PARSE_ERROR("extraneous }");
  1292. } else {
  1293. PARSE_ERROR("expected expression");
  1294. }
  1295. return NULL;
  1296. }
  1297. size_t get_lineno(token_t *tok) {
  1298. size_t line, col;
  1299. traverse(GETSRC(tok->fi), tok->pos, &line, &col);
  1300. return line;
  1301. }
  1302. #define CLIFF \
  1303. (get_lineno(((token_t *)tokens->data[(*pos) > 0 ? (*pos) - 1 : (*pos)])) != \
  1304. get_lineno( \
  1305. ((token_t *)tokens \
  1306. ->data[(*pos) >= tokens->length ? tokens->length - 1 : (*pos)])))
  1307. #define CLIFF_AHEAD \
  1308. (get_lineno(( \
  1309. (token_t *)tokens \
  1310. ->data[(*pos) >= tokens->length ? tokens->length - 1 : (*pos)])) != \
  1311. get_lineno(((token_t *)tokens \
  1312. ->data[(*pos) + 1 >= tokens->length ? tokens->length - 1 \
  1313. : (*pos) + 1])))
  1314. node_t *_parse_stmt(list_t *tokens, size_t *pos, int allow_comma);
  1315. #define parse_stmt(t, p) (_parse_stmt((t), (p), 0))
  1316. #define parse_stmt_c(t, p) (_parse_stmt((t), (p), 1))
  1317. node_t *parse_call(list_t *tokens, size_t *pos) {
  1318. node_t *a = parse_primary(tokens, pos);
  1319. if (a->tag == N_LITERAL && a->t->tag == T_NAME && !CLIFF && !CLIFF_AHEAD &&
  1320. AT(BANG) && ATP(LPAR, 1)) {
  1321. MATCH(BANG);
  1322. MATCH(LPAR);
  1323. list_t *args = list_new();
  1324. if (!AT(RPAR))
  1325. do {
  1326. node_t *n = parse_stmt(tokens, pos);
  1327. if (n->tag == N_BLOCK)
  1328. n->tag = N_PROGRAM;
  1329. else if (n->tag == N_EXPRSTMT)
  1330. n = n->a;
  1331. list_push(args, n);
  1332. } while (MATCH(COMMA));
  1333. EXPECT(RPAR, ")");
  1334. return NODETL(MACRO_CALL, a->t, args);
  1335. }
  1336. do {
  1337. if (!CLIFF && MATCH(LPAR)) {
  1338. list_t *b = NULL;
  1339. if (!AT(RPAR))
  1340. b = parse_sequence(tokens, pos, -1);
  1341. EXPECT(RPAR, ")");
  1342. a = NODE1l(CALL, a, b);
  1343. continue;
  1344. } else if (!CLIFF && MATCH(LSB)) {
  1345. if (MATCH(COLON)) {
  1346. a = NODE3(SLICE, a, NULL, parse_expr(tokens, pos));
  1347. EXPECT(RSB, "]");
  1348. continue;
  1349. }
  1350. node_t *b = parse_expr(tokens, pos);
  1351. if (MATCH(COLON)) {
  1352. node_t *c = NULL;
  1353. if (!AT(RSB))
  1354. c = parse_expr(tokens, pos);
  1355. EXPECT(RSB, "]");
  1356. a = NODE3(SLICE, a, b, c);
  1357. continue;
  1358. }
  1359. EXPECT(RSB, "]");
  1360. a = NODE2(INDEX, a, b);
  1361. continue;
  1362. } else if (!CLIFF && MATCH(DOT)) {
  1363. if (!AT(NAME))
  1364. PARSE_ERROR("expected identifier after .");
  1365. a = NODE1t(MEMBER, a, tokens->data[(*pos)++]);
  1366. continue;
  1367. }
  1368. break;
  1369. } while (1);
  1370. return a;
  1371. }
  1372. node_t *parse_postfix(list_t *tokens, size_t *pos) {
  1373. node_t *a = parse_call(tokens, pos);
  1374. if (CLIFF)
  1375. return a;
  1376. if (MATCH(PLUSPLUS))
  1377. return NODE1(INC, a);
  1378. else if (MATCH(MINUSMINUS))
  1379. return NODE1(DEC, a);
  1380. return a;
  1381. }
  1382. node_t *parse_unary(list_t *tokens, size_t *pos) {
  1383. if (MATCH(MINUS)) {
  1384. node_t *a = parse_unary(tokens, pos);
  1385. return NODE1(NEGATE, a);
  1386. } else if (MATCH(PLUS)) {
  1387. node_t *a = parse_unary(tokens, pos);
  1388. return NODE1(UNARY_PLUS, a);
  1389. } else if (MATCH(BANG)) {
  1390. node_t *a = parse_unary(tokens, pos);
  1391. return NODE1(NOT, a);
  1392. } else if (MATCH(TILDE)) {
  1393. node_t *a = parse_unary(tokens, pos);
  1394. return NODE1(BNOT, a);
  1395. } else if (MATCH(PLUSPLUS)) {
  1396. node_t *a = parse_postfix(tokens, pos);
  1397. return NODE1(PINC, a);
  1398. } else if (MATCH(MINUSMINUS)) {
  1399. node_t *a = parse_postfix(tokens, pos);
  1400. return NODE1(PDEC, a);
  1401. }
  1402. return parse_postfix(tokens, pos);
  1403. }
  1404. node_t *parse_pow(list_t *tokens, size_t *pos) {
  1405. node_t *a = parse_unary(tokens, pos);
  1406. do {
  1407. if (MATCH(STARSTAR)) {
  1408. node_t *b = parse_unary(tokens, pos);
  1409. a = NODE2(POW, a, b);
  1410. continue;
  1411. }
  1412. break;
  1413. } while (1);
  1414. return a;
  1415. }
  1416. node_t *parse_mul(list_t *tokens, size_t *pos) {
  1417. node_t *a = parse_pow(tokens, pos);
  1418. do {
  1419. if (MATCH(STAR)) {
  1420. node_t *b = parse_pow(tokens, pos);
  1421. a = NODE2(MUL, a, b);
  1422. continue;
  1423. } else if (MATCH(SLASH)) {
  1424. node_t *b = parse_pow(tokens, pos);
  1425. a = NODE2(DIV, a, b);
  1426. continue;
  1427. } else if (MATCH(SLASHSLASH)) {
  1428. node_t *b = parse_pow(tokens, pos);
  1429. a = NODE2(IDIV, a, b);
  1430. continue;
  1431. } else if (MATCH(PERCENT)) {
  1432. node_t *b = parse_pow(tokens, pos);
  1433. a = NODE2(MOD, a, b);
  1434. continue;
  1435. }
  1436. break;
  1437. } while (1);
  1438. return a;
  1439. }
  1440. node_t *parse_add(list_t *tokens, size_t *pos) {
  1441. node_t *a = parse_mul(tokens, pos);
  1442. do {
  1443. if (MATCH(PLUS)) {
  1444. node_t *b = parse_mul(tokens, pos);
  1445. a = NODE2(ADD, a, b);
  1446. continue;
  1447. } else if (MATCH(MINUS)) {
  1448. node_t *b = parse_mul(tokens, pos);
  1449. a = NODE2(SUB, a, b);
  1450. continue;
  1451. }
  1452. break;
  1453. } while (1);
  1454. return a;
  1455. }
  1456. node_t *parse_shift(list_t *tokens, size_t *pos) {
  1457. node_t *a = parse_add(tokens, pos);
  1458. do {
  1459. if (MATCH(LTLT)) {
  1460. node_t *b = parse_add(tokens, pos);
  1461. a = NODE2(SHL, a, b);
  1462. continue;
  1463. } else if (MATCH(GTGT)) {
  1464. node_t *b = parse_add(tokens, pos);
  1465. a = NODE2(SHR, a, b);
  1466. continue;
  1467. }
  1468. break;
  1469. } while (1);
  1470. return a;
  1471. }
  1472. node_t *parse_relation(list_t *tokens, size_t *pos) {
  1473. node_t *a = parse_shift(tokens, pos);
  1474. do {
  1475. if (MATCH(LT)) {
  1476. node_t *b = parse_shift(tokens, pos);
  1477. a = NODE2(LT, a, b);
  1478. continue;
  1479. } else if (MATCH(GT)) {
  1480. node_t *b = parse_shift(tokens, pos);
  1481. a = NODE2(GT, a, b);
  1482. continue;
  1483. } else if (MATCH(LE)) {
  1484. node_t *b = parse_shift(tokens, pos);
  1485. a = NODE2(LE, a, b);
  1486. continue;
  1487. } else if (MATCH(GE)) {
  1488. node_t *b = parse_shift(tokens, pos);
  1489. a = NODE2(GE, a, b);
  1490. continue;
  1491. }
  1492. break;
  1493. } while (1);
  1494. return a;
  1495. }
  1496. node_t *parse_equality(list_t *tokens, size_t *pos) {
  1497. node_t *a = parse_relation(tokens, pos);
  1498. do {
  1499. if (MATCH(EQUALS)) {
  1500. node_t *b = parse_relation(tokens, pos);
  1501. a = NODE2(EQUALS, a, b);
  1502. continue;
  1503. } else if (MATCH(NOTEQUALS)) {
  1504. node_t *b = parse_relation(tokens, pos);
  1505. a = NODE2(NOTEQUALS, a, b);
  1506. continue;
  1507. } else if (MATCH(IS)) {
  1508. node_t *b = parse_relation(tokens, pos);
  1509. a = NODE2(IS, a, b);
  1510. continue;
  1511. } else if (AT(BANG) && ATP(IS, 1)) {
  1512. EXPECT(BANG, "!");
  1513. EXPECT(IS, "is");
  1514. node_t *b = parse_relation(tokens, pos);
  1515. a = NODE2(NOTIS, a, b);
  1516. continue;
  1517. } else if (MATCH(IN)) {
  1518. node_t *b = parse_relation(tokens, pos);
  1519. a = NODE2(IN, a, b);
  1520. continue;
  1521. } else if (AT(BANG) && ATP(IN, 1)) {
  1522. EXPECT(BANG, "!");
  1523. EXPECT(IN, "in");
  1524. node_t *b = parse_relation(tokens, pos);
  1525. a = NODE2(NOTIN, a, b);
  1526. continue;
  1527. }
  1528. break;
  1529. } while (1);
  1530. return a;
  1531. }
  1532. node_t *parse_bitand(list_t *tokens, size_t *pos) {
  1533. node_t *a = parse_equality(tokens, pos);
  1534. while (MATCH(AND)) {
  1535. node_t *b = parse_equality(tokens, pos);
  1536. a = NODE2(BAND, a, b);
  1537. }
  1538. return a;
  1539. }
  1540. node_t *parse_bitxor(list_t *tokens, size_t *pos) {
  1541. node_t *a = parse_bitand(tokens, pos);
  1542. while (MATCH(RAISE)) {
  1543. node_t *b = parse_bitand(tokens, pos);
  1544. a = NODE2(XOR, a, b);
  1545. }
  1546. return a;
  1547. }
  1548. node_t *parse_bitor(list_t *tokens, size_t *pos) {
  1549. node_t *a = parse_bitxor(tokens, pos);
  1550. while (MATCH(BAR)) {
  1551. node_t *b = parse_bitxor(tokens, pos);
  1552. a = NODE2(BOR, a, b);
  1553. }
  1554. return a;
  1555. }
  1556. node_t *parse_logand(list_t *tokens, size_t *pos) {
  1557. node_t *a = parse_bitor(tokens, pos);
  1558. if (MATCH(ANDAND)) {
  1559. node_t *b = parse_logand(tokens, pos);
  1560. return NODE2(LOGAND, a, b);
  1561. }
  1562. return a;
  1563. }
  1564. node_t *parse_logor(list_t *tokens, size_t *pos) {
  1565. node_t *a = parse_logand(tokens, pos);
  1566. if (MATCH(BARBAR)) {
  1567. node_t *b = parse_logor(tokens, pos);
  1568. return NODE2(LOGOR, a, b);
  1569. }
  1570. return a;
  1571. }
  1572. node_t *parse_assignment(list_t *tokens, size_t *pos);
  1573. node_t *parse_conditional(list_t *tokens, size_t *pos) {
  1574. node_t *a = parse_logor(tokens, pos);
  1575. if (MATCH(QM)) {
  1576. node_t *b = parse_assignment(tokens, pos);
  1577. EXPECT(COLON, ":");
  1578. node_t *c = parse_assignment(tokens, pos);
  1579. return NODE3(IFEXPR, a, b, c);
  1580. }
  1581. return a;
  1582. }
  1583. node_t *parse_assignment(list_t *tokens, size_t *pos) {
  1584. node_t *a = parse_conditional(tokens, pos);
  1585. if (MATCH(COLONASSIGN)) {
  1586. node_t *b = parse_assignment(tokens, pos);
  1587. return NODE2(DECL, a, b);
  1588. } else if (MATCH(ASSIGN)) {
  1589. node_t *b = parse_assignment(tokens, pos);
  1590. return NODE2(ASSIGN, a, b);
  1591. } else if (MATCH(PLUSASSIGN)) {
  1592. node_t *b = parse_assignment(tokens, pos);
  1593. return NODE2(ASSIGN_ADD, a, b);
  1594. } else if (MATCH(MINUSASSIGN)) {
  1595. node_t *b = parse_assignment(tokens, pos);
  1596. return NODE2(ASSIGN_SUB, a, b);
  1597. } else if (MATCH(STARASSIGN)) {
  1598. node_t *b = parse_assignment(tokens, pos);
  1599. return NODE2(ASSIGN_MUL, a, b);
  1600. } else if (MATCH(SLASHASSIGN)) {
  1601. node_t *b = parse_assignment(tokens, pos);
  1602. return NODE2(ASSIGN_DIV, a, b);
  1603. } else if (MATCH(SLASHSLASHASSIGN)) {
  1604. node_t *b = parse_assignment(tokens, pos);
  1605. return NODE2(ASSIGN_IDIV, a, b);
  1606. } else if (MATCH(PERCENTASSIGN)) {
  1607. node_t *b = parse_assignment(tokens, pos);
  1608. return NODE2(ASSIGN_MOD, a, b);
  1609. } else if (MATCH(STARSTARASSIGN)) {
  1610. node_t *b = parse_assignment(tokens, pos);
  1611. return NODE2(ASSIGN_POW, a, b);
  1612. } else if (MATCH(BARASSIGN)) {
  1613. node_t *b = parse_assignment(tokens, pos);
  1614. return NODE2(ASSIGN_BOR, a, b);
  1615. } else if (MATCH(ANDASSIGN)) {
  1616. node_t *b = parse_assignment(tokens, pos);
  1617. return NODE2(ASSIGN_BAND, a, b);
  1618. } else if (MATCH(RAISEASSIGN)) {
  1619. node_t *b = parse_assignment(tokens, pos);
  1620. return NODE2(ASSIGN_XOR, a, b);
  1621. } else if (MATCH(LTLTASSIGN)) {
  1622. node_t *b = parse_assignment(tokens, pos);
  1623. return NODE2(ASSIGN_SHL, a, b);
  1624. } else if (MATCH(GTGTASSIGN)) {
  1625. node_t *b = parse_assignment(tokens, pos);
  1626. return NODE2(ASSIGN_SHR, a, b);
  1627. }
  1628. return a;
  1629. }
  1630. node_t *parse_expr(list_t *tokens, size_t *pos) {
  1631. return parse_assignment(tokens, pos);
  1632. }
  1633. node_t *parse_comma_expr(list_t *tokens, size_t *pos) {
  1634. node_t *a = parse_expr(tokens, pos);
  1635. if (MATCH(COMMA)) {
  1636. list_t *exprs = list_new();
  1637. list_push(exprs, a);
  1638. do {
  1639. list_push(exprs, parse_expr(tokens, pos));
  1640. } while (MATCH(COMMA));
  1641. a = NODEL(COMMA, exprs);
  1642. }
  1643. return a;
  1644. }
  1645. node_t *parse_block(list_t *tokens, size_t *pos) {
  1646. EXPECT(LCB, "{");
  1647. list_t *stmts = list_new();
  1648. while (!AT(EOF) && !AT(RCB)) {
  1649. list_push(stmts, parse_stmt_c(tokens, pos));
  1650. MATCH(SEMI);
  1651. }
  1652. EXPECT(RCB, "}");
  1653. return NODEL(PROGRAM, stmts);
  1654. }
  1655. #define BLOCK() \
  1656. (CLIFF || MATCH(COLON) ? parse_stmt(tokens, pos) : parse_block(tokens, pos))
  1657. #define STMT_OR_BLOCK() \
  1658. (MATCH(COLON) ? parse_stmt(tokens, pos) \
  1659. : AT(LCB) ? parse_block(tokens, pos) \
  1660. : parse_stmt(tokens, pos))
  1661. node_t *parse_if(list_t *tokens, size_t *pos) {
  1662. node_t *a = parse_comma_expr(tokens, pos);
  1663. node_t *b = BLOCK();
  1664. node_t *c = NULL;
  1665. if (MATCH(ELSE))
  1666. c = STMT_OR_BLOCK();
  1667. else if (MATCH(ELIF))
  1668. c = parse_if(tokens, pos);
  1669. return NODE3(IF, a, b, c);
  1670. }
  1671. node_t *parse_var(list_t *tokens, size_t *pos, int is_let) {
  1672. table_t *h = table_new();
  1673. do {
  1674. if (!AT(NAME))
  1675. PARSE_ERROR("expected identifier");
  1676. char *k = ((token_t *)tokens->data[(*pos)++])->text;
  1677. node_t *v = NULL;
  1678. if (is_let) {
  1679. EXPECT(ASSIGN, "=");
  1680. v = parse_expr(tokens, pos);
  1681. } else if (MATCH(ASSIGN))
  1682. v = parse_expr(tokens, pos);
  1683. table_set(h, k, v);
  1684. } while (MATCH(COMMA));
  1685. if (is_let)
  1686. return NODEH(LET, h);
  1687. return NODEH(VAR, h);
  1688. }
  1689. node_t *parse_unpack(list_t *tokens, size_t *pos, int tag) {
  1690. EXPECT(LSB, "[");
  1691. list_t *l = list_new();
  1692. do {
  1693. if (!AT(NAME))
  1694. PARSE_ERROR("expected identifier");
  1695. list_push(l, ((token_t *)tokens->data[(*pos)++])->text);
  1696. } while (MATCH(COMMA));
  1697. EXPECT(RSB, "]");
  1698. EXPECT(ASSIGN, "=");
  1699. node_t *a = parse_expr(tokens, pos);
  1700. if (tag == N_LETUNPACK)
  1701. return NODE1l(LETUNPACK, a, l);
  1702. return NODE1l(VARUNPACK, a, l);
  1703. }
  1704. node_t *parse_func(list_t *tokens, size_t *pos, int is_expr) {
  1705. token_t *name = NULL;
  1706. if (!is_expr) {
  1707. if (!AT(NAME))
  1708. PARSE_ERROR("expected identifier");
  1709. name = tokens->data[(*pos)++];
  1710. }
  1711. table_t *params = NULL;
  1712. if (MATCH(LPAR)) {
  1713. if (!AT(RPAR)) {
  1714. int flag = 0;
  1715. params = table_new();
  1716. size_t argc = 0;
  1717. do {
  1718. if (!AT(NAME))
  1719. PARSE_ERROR("expected identifier");
  1720. char *l = ((token_t *)tokens->data[(*pos)++])->text;
  1721. node_t *r = NULL;
  1722. if (!flag && AT(ASSIGN))
  1723. flag = 1;
  1724. if (flag) {
  1725. EXPECT(ASSIGN, "=");
  1726. r = parse_expr(tokens, pos);
  1727. }
  1728. list_t *pair = list_new();
  1729. size_t *argcp = malloc_checked(sizeof(size_t));
  1730. memcpy(argcp, &argc, sizeof(size_t));
  1731. argc++;
  1732. list_push(pair, argcp);
  1733. list_push(pair, r);
  1734. table_set(params, l, pair);
  1735. } while (MATCH(COMMA));
  1736. }
  1737. EXPECT(RPAR, ")");
  1738. }
  1739. table_t *captured = NULL;
  1740. if (MATCH(USE)) {
  1741. EXPECT(LPAR, "(");
  1742. captured = table_new();
  1743. do {
  1744. if (!AT(NAME))
  1745. PARSE_ERROR("expected identifier");
  1746. token_t *name = tokens->data[(*pos)++];
  1747. table_set(captured, name->text, NODET(LITERAL, name));
  1748. } while (MATCH(COMMA));
  1749. EXPECT(RPAR, ")");
  1750. }
  1751. int colon = AT(COLON);
  1752. node_t *body = !colon && !AT(LCB) ? parse_stmt(tokens, pos) : BLOCK();
  1753. if (colon && body->tag == N_EXPRSTMT)
  1754. body = NODE1(RETURN, body->a);
  1755. if (is_expr)
  1756. return NODEF(FUNCEXPR, NULL, params, captured, body);
  1757. return NODEF(FUNCDEF, name, params, captured, body);
  1758. }
  1759. node_t *_parse_stmt(list_t *tokens, size_t *pos, int allow_comma) {
  1760. if (MATCH(LCB)) {
  1761. list_t *stmts = list_new();
  1762. while (!AT(EOF) && !AT(RCB)) {
  1763. node_t *n = parse_stmt_c(tokens, pos);
  1764. MATCH(SEMI);
  1765. list_push(stmts, n);
  1766. }
  1767. EXPECT(RCB, "}");
  1768. return NODEL(BLOCK, stmts);
  1769. } else if (MATCH(VAR)) {
  1770. if (AT(LSB))
  1771. return parse_unpack(tokens, pos, N_VARUNPACK);
  1772. return parse_var(tokens, pos, 0);
  1773. } else if (MATCH(LET)) {
  1774. if (AT(LSB))
  1775. return parse_unpack(tokens, pos, N_LETUNPACK);
  1776. return parse_var(tokens, pos, 1);
  1777. } else if (MATCH(CONST)) {
  1778. table_t *h = table_new();
  1779. do {
  1780. if (!AT(NAME))
  1781. PARSE_ERROR("expected identifier");
  1782. char *k = ((token_t *)tokens->data[(*pos)++])->text;
  1783. if (k[0] != '_' && !(k[0] >= 'A' && k[0] <= 'Z'))
  1784. PARSE_ERROR("compile-time constant identifiers must begin with an "
  1785. "uppercase letter or with an underscore, but '%s' does not",
  1786. k);
  1787. if (table_get(h, k))
  1788. PARSE_ERROR("duplicated compile-time constant definition: '%s'", k);
  1789. EXPECT(ASSIGN, "=");
  1790. node_t *v = parse_expr(tokens, pos);
  1791. table_set(h, k, v);
  1792. } while (MATCH(COMMA));
  1793. return NODEH(CONST, h);
  1794. } else if (MATCH(IF))
  1795. return parse_if(tokens, pos);
  1796. else if (MATCH(SWITCH)) {
  1797. token_t *label = NULL;
  1798. if (MATCH(AT)) {
  1799. if (!AT(NAME))
  1800. PARSE_ERROR("expected identifier");
  1801. label = tokens->data[(*pos)++];
  1802. }
  1803. node_t *a = parse_expr(tokens, pos);
  1804. EXPECT(LCB, "{");
  1805. list_t *cases = list_new();
  1806. int has_default = 0;
  1807. for (;;) {
  1808. if (AT(RCB))
  1809. break;
  1810. node_t *expr = NULL;
  1811. list_t *stmts = list_new();
  1812. if (MATCH(DEFAULT)) {
  1813. if (has_default)
  1814. PARSE_ERROR("duplicated default case in switch");
  1815. has_default = 1;
  1816. } else {
  1817. EXPECT(CASE, "case");
  1818. expr = parse_expr(tokens, pos);
  1819. }
  1820. MATCH(COLON);
  1821. while (!AT(CASE) && !AT(DEFAULT) && !AT(RCB))
  1822. list_push(stmts, parse_stmt(tokens, pos));
  1823. list_t *pair = list_new();
  1824. list_push(pair, expr);
  1825. list_push(pair, NODEL(PROGRAM, stmts));
  1826. list_push(cases, pair);
  1827. }
  1828. EXPECT(RCB, "}");
  1829. if (!cases->length)
  1830. PARSE_ERROR("empty switch statement");
  1831. LABELLOOP(NODE1l(SWITCH, a, cases));
  1832. return ln;
  1833. } else if (MATCH(FOR)) {
  1834. token_t *label = NULL;
  1835. if (MATCH(AT)) {
  1836. if (!AT(NAME))
  1837. PARSE_ERROR("expected identifier");
  1838. label = tokens->data[(*pos)++];
  1839. }
  1840. node_t *a = NULL;
  1841. node_t *b = NULL;
  1842. node_t *c = NULL;
  1843. if (!AT(LCB) && !AT(COLON) && !CLIFF) {
  1844. if (MATCH(LSB)) {
  1845. list_t *l = list_new();
  1846. do {
  1847. if (!AT(NAME))
  1848. PARSE_ERROR("expected identifier");
  1849. list_push(l, ((token_t *)tokens->data[(*pos)++])->text);
  1850. } while (MATCH(COMMA));
  1851. EXPECT(RSB, "]");
  1852. EXPECT(OF, "of");
  1853. a = parse_expr(tokens, pos);
  1854. b = BLOCK();
  1855. LABELLOOP(NODE2l(FOROFUNPACK, a, b, l));
  1856. return ln;
  1857. }
  1858. if (AT(NAME) && ATP(OF, 1)) {
  1859. token_t *t = tokens->data[(*pos)++];
  1860. EXPECT(OF, "of");
  1861. a = parse_expr(tokens, pos);
  1862. b = BLOCK();
  1863. LABELLOOP(NODE2t(FOROF, a, b, t));
  1864. return ln;
  1865. }
  1866. if (MATCH(VAR)) {
  1867. if (MATCH(LSB)) {
  1868. list_t *l = list_new();
  1869. do {
  1870. if (!AT(NAME))
  1871. PARSE_ERROR("expected identifier");
  1872. list_push(l, ((token_t *)tokens->data[(*pos)++])->text);
  1873. } while (MATCH(COMMA));
  1874. EXPECT(RSB, "]");
  1875. EXPECT(OF, "of");
  1876. a = parse_expr(tokens, pos);
  1877. b = BLOCK();
  1878. LABELLOOP(NODE2l(FOROFVARUNPACK, a, b, l));
  1879. return ln;
  1880. }
  1881. if (AT(NAME) && ATP(OF, 1)) {
  1882. token_t *t = tokens->data[(*pos)++];
  1883. EXPECT(OF, "of");
  1884. a = parse_expr(tokens, pos);
  1885. b = BLOCK();
  1886. LABELLOOP(NODE2t(FOROFVAR, a, b, t));
  1887. return ln;
  1888. }
  1889. a = parse_var(tokens, pos, 0);
  1890. EXPECT(SEMI, ";");
  1891. b = parse_comma_expr(tokens, pos);
  1892. if (MATCH(SEMI))
  1893. c = parse_comma_expr(tokens, pos);
  1894. } else {
  1895. a = parse_comma_expr(tokens, pos);
  1896. if (MATCH(SEMI)) {
  1897. b = parse_comma_expr(tokens, pos);
  1898. if (MATCH(SEMI))
  1899. c = parse_comma_expr(tokens, pos);
  1900. }
  1901. }
  1902. }
  1903. node_t *d = BLOCK();
  1904. LABELLOOP(NODE4(FOR, a, b, c, d));
  1905. return ln;
  1906. } else if (MATCH(BREAK)) {
  1907. if ((AT(NUMBER) || AT(NAME)) && !CLIFF)
  1908. return NODET(BREAK, tokens->data[(*pos)++]);
  1909. return NODE0(BREAK);
  1910. } else if (MATCH(CONTINUE)) {
  1911. if ((AT(NUMBER) || AT(NAME)) && !CLIFF)
  1912. return NODET(CONTINUE, tokens->data[(*pos)++]);
  1913. return NODE0(CONTINUE);
  1914. } else if (MATCH(FUNC))
  1915. return parse_func(tokens, pos, 0);
  1916. else if (MATCH(RETURN)) {
  1917. node_t *a = NULL;
  1918. if (!AT(EOF) && !AT(RCB) && !CLIFF) {
  1919. a = parse_expr(tokens, pos);
  1920. if (!CLIFF_AHEAD && MATCH(COMMA)) {
  1921. list_t *l = list_new();
  1922. list_push(l, a);
  1923. do {
  1924. list_push(l, parse_expr(tokens, pos));
  1925. } while (!CLIFF_AHEAD && MATCH(COMMA));
  1926. a = NODEL(TUPLE, l);
  1927. }
  1928. }
  1929. return NODE1(RETURN, a);
  1930. } else if (MATCH(DEFER)) {
  1931. node_t *a;
  1932. if (AT(LCB))
  1933. a = BLOCK();
  1934. else
  1935. a = parse_stmt(tokens, pos);
  1936. return NODE1(DEFER, a);
  1937. } else if (MATCH(PASS))
  1938. return NODE0(PASS);
  1939. else if (MATCH(TRY)) {
  1940. node_t *a = BLOCK();
  1941. token_t *t = NULL;
  1942. EXPECT(CATCH, "catch");
  1943. if (!AT(COLON) && !AT(LCB) && !CLIFF) {
  1944. if (!AT(NAME))
  1945. PARSE_ERROR("expected identifier");
  1946. t = tokens->data[(*pos)++];
  1947. }
  1948. node_t *b = BLOCK();
  1949. node_t *c = NULL;
  1950. if (MATCH(FINALLY))
  1951. c = BLOCK();
  1952. return NODE3t(TRY, a, b, c, t);
  1953. } else if (MATCH(THROW)) {
  1954. node_t *a = NULL;
  1955. if (!CLIFF && !AT(COMMA) && !AT(RPAR) && !AT(RCB) && !AT(EOF))
  1956. a = parse_expr(tokens, pos);
  1957. return NODE1(THROW, a);
  1958. } else if (MATCH(GOTO)) {
  1959. if (!AT(NAME))
  1960. PARSE_ERROR("expected identifier");
  1961. token_t *t = tokens->data[(*pos)++];
  1962. return NODET(GOTO, t);
  1963. } else if (AT(NAME) && ATP(COLON, 1) && !CLIFF_AHEAD) {
  1964. token_t *t = tokens->data[(*pos)++];
  1965. EXPECT(COLON, ":");
  1966. return NODET(LABEL, t);
  1967. } else if (MATCH(CLASS)) {
  1968. if (!AT(NAME))
  1969. PARSE_ERROR("expected identifier");
  1970. token_t *t = tokens->data[(*pos)++];
  1971. list_t *l = NULL;
  1972. if (MATCH(LPAR)) {
  1973. l = list_new();
  1974. do {
  1975. if (!AT(NAME))
  1976. PARSE_ERROR("expected identifier");
  1977. token_t *t = tokens->data[(*pos)++];
  1978. list_push(l, t);
  1979. } while (MATCH(COMMA));
  1980. EXPECT(RPAR, ")");
  1981. }
  1982. list_t *triples = list_new();
  1983. if (!CLIFF && !AT(EOF) && !AT(SEMI)) {
  1984. EXPECT(LCB, "{");
  1985. for (;;) {
  1986. int is_out = 0;
  1987. int is_static = 0;
  1988. if (AT(RCB))
  1989. break;
  1990. if (MATCH(LET))
  1991. is_out = 1;
  1992. else if (MATCH(CONST))
  1993. is_static = 1;
  1994. if (!AT(NAME))
  1995. PARSE_ERROR("expected identifier");
  1996. list_t *triple = list_new();
  1997. token_t *t = tokens->data[(*pos)++];
  1998. list_push(triple, t);
  1999. int *flagp = malloc_checked(sizeof(int));
  2000. int flag = is_static ? 2 : is_out ? 1 : 0;
  2001. memcpy(flagp, &flag, sizeof(int));
  2002. if (MATCH(ASSIGN)) {
  2003. list_push(triple, flagp);
  2004. list_push(triple, parse_expr(tokens, pos));
  2005. } else {
  2006. list_push(triple, flagp);
  2007. list_push(triple, parse_func(tokens, pos, 1));
  2008. }
  2009. list_push(triples, triple);
  2010. }
  2011. EXPECT(RCB, "}");
  2012. }
  2013. list_t *pair = list_new();
  2014. list_push(pair, l);
  2015. list_push(pair, triples);
  2016. return NODETL(CLASS, t, pair);
  2017. } else if (MATCH(DEL)) {
  2018. node_t *a = parse_expr(tokens, pos);
  2019. return NODE1(DEL, a);
  2020. } else if (MATCH(WITH)) {
  2021. node_t *a = parse_expr(tokens, pos);
  2022. EXPECT(AS, "as");
  2023. if (!AT(NAME))
  2024. PARSE_ERROR("expected identifier");
  2025. token_t *t = tokens->data[(*pos)++];
  2026. node_t *b = STMT_OR_BLOCK();
  2027. return NODE2t(WITH, a, b, t);
  2028. } else if (MATCH(INLINE)) {
  2029. if (!AT(STRING))
  2030. PARSE_ERROR("expected string");
  2031. token_t *t = tokens->data[(*pos)++];
  2032. return NODET(INLINE, t);
  2033. }
  2034. return NODE1(EXPRSTMT, allow_comma ? parse_comma_expr(tokens, pos)
  2035. : parse_expr(tokens, pos));
  2036. }
  2037. #define ATM(t) \
  2038. (AT(MVAR) && strcmp(((token_t *)tokens->data[*pos])->text, t) == 0)
  2039. #define MATCHM(t) (ATM(t) && MATCH(MVAR))
  2040. node_t *parse_mexpr(list_t *tokens, size_t *pos);
  2041. node_t *parse_mprimary(list_t *tokens, size_t *pos) {
  2042. if (MATCH(STAR))
  2043. return NODET(LITERAL, token(T_NAME, strdup("*")));
  2044. else if (MATCHM("{")) {
  2045. node_t *a = parse_stmt(tokens, pos);
  2046. if (!MATCHM("}"))
  2047. PARSE_ERROR("expected }$");
  2048. if (a->tag == N_EXPRSTMT)
  2049. a = a->a;
  2050. return NODE1(MSTMT, a);
  2051. } else if (MATCH(LPAR)) {
  2052. node_t *a = parse_mexpr(tokens, pos);
  2053. EXPECT(RPAR, ")");
  2054. return a;
  2055. } else if (MATCH(NAME) || MATCH(TRUE) || MATCH(FALSE) || MATCH(NIL)) {
  2056. token_t *t = tokens->data[(*pos) - 1];
  2057. int macro = 0;
  2058. if (!CLIFF && !CLIFF_AHEAD && AT(BANG) && ATP(LPAR, 1)) {
  2059. MATCH(BANG);
  2060. macro = 1;
  2061. }
  2062. if (!CLIFF && MATCH(LPAR)) {
  2063. list_t *args = list_new();
  2064. if (!AT(RPAR))
  2065. do {
  2066. list_push(args, parse_mexpr(tokens, pos));
  2067. } while (MATCH(COMMA));
  2068. EXPECT(RPAR, ")");
  2069. if (macro)
  2070. return NODETL(MACRO_CALL, t, args);
  2071. return NODETL(CALL, t, args);
  2072. }
  2073. return NODET(LITERAL, t);
  2074. } else if (MATCH(NUMBER) || MATCH(STRING))
  2075. return NODET(LITERAL, tokens->data[(*pos) - 1]);
  2076. PARSE_ERROR("expected m-expression");
  2077. return NULL;
  2078. }
  2079. node_t *parse_mexpr(list_t *tokens, size_t *pos) {
  2080. if (MATCH(MINUS)) {
  2081. node_t *a = parse_mexpr(tokens, pos);
  2082. return NODE1(NEGATE, a);
  2083. }
  2084. node_t *a = parse_mprimary(tokens, pos);
  2085. do {
  2086. if (MATCH(BAR)) {
  2087. node_t *b = parse_mprimary(tokens, pos);
  2088. a = NODE2(LOGOR, a, b);
  2089. continue;
  2090. } else if (MATCH(AND)) {
  2091. node_t *b = parse_mprimary(tokens, pos);
  2092. a = NODE2(LOGAND, a, b);
  2093. continue;
  2094. } else if (MATCH(PLUS)) {
  2095. node_t *b = parse_mprimary(tokens, pos);
  2096. a = NODE2(ADD, a, b);
  2097. continue;
  2098. } else if (MATCH(MINUS)) {
  2099. node_t *b = parse_mprimary(tokens, pos);
  2100. a = NODE2(SUB, a, b);
  2101. continue;
  2102. } else if (MATCH(STAR)) {
  2103. node_t *b = parse_mprimary(tokens, pos);
  2104. a = NODE2(MUL, a, b);
  2105. continue;
  2106. } else if (MATCH(SLASH)) {
  2107. node_t *b = parse_mprimary(tokens, pos);
  2108. a = NODE2(DIV, a, b);
  2109. continue;
  2110. } else if (MATCH(ASSIGN)) {
  2111. node_t *b = parse_mprimary(tokens, pos);
  2112. a = NODE2(EQUALS, a, b);
  2113. continue;
  2114. } else if (MATCH(LT)) {
  2115. node_t *b = parse_mprimary(tokens, pos);
  2116. a = NODE2(LT, a, b);
  2117. continue;
  2118. } else if (MATCH(GT)) {
  2119. node_t *b = parse_mprimary(tokens, pos);
  2120. a = NODE2(GT, a, b);
  2121. continue;
  2122. }
  2123. break;
  2124. } while (1);
  2125. return a;
  2126. }
  2127. node_t *parse_mstmt(list_t *tokens, size_t *pos);
  2128. node_t *parse_mif(list_t *tokens, size_t *pos, int sub) {
  2129. node_t *a = parse_mexpr(tokens, pos);
  2130. list_t *l = list_new();
  2131. list_t *l2 = NULL;
  2132. while (!AT(EOF) && !ATM("else") && !ATM("elif") && !ATM("endif"))
  2133. list_push(l, parse_mstmt(tokens, pos));
  2134. if (MATCHM("elif")) {
  2135. l2 = list_new();
  2136. list_push(l2, parse_mif(tokens, pos, 1));
  2137. } else if (MATCHM("else")) {
  2138. l2 = list_new();
  2139. while (!AT(EOF) && !ATM("endif"))
  2140. list_push(l2, parse_mstmt(tokens, pos));
  2141. }
  2142. if (!sub && !MATCHM("endif"))
  2143. PARSE_ERROR("expected $endif");
  2144. return NODE1l2(MIF, a, l, l2);
  2145. }
  2146. node_t *parse_mstmt(list_t *tokens, size_t *pos) {
  2147. if (MATCHM("if"))
  2148. return parse_mif(tokens, pos, 0);
  2149. else if (MATCHM("for")) {
  2150. node_t *a = parse_mexpr(tokens, pos);
  2151. list_t *l = list_new();
  2152. while (!AT(EOF) && !ATM("endfor"))
  2153. list_push(l, parse_mstmt(tokens, pos));
  2154. if (!MATCHM("endfor"))
  2155. PARSE_ERROR("expected $endfor");
  2156. return NODE1l(MFOR, a, l);
  2157. } else if (MATCHM("repeat")) {
  2158. node_t *a = parse_mexpr(tokens, pos);
  2159. list_t *l = list_new();
  2160. while (!AT(EOF) && !ATM("endrep"))
  2161. list_push(l, parse_mstmt(tokens, pos));
  2162. if (!MATCHM("endrep"))
  2163. PARSE_ERROR("expected $endrep");
  2164. return NODE1l(MREPEAT, a, l);
  2165. } else if (MATCHM("set")) {
  2166. if (!AT(NAME))
  2167. PARSE_ERROR("expected identifier");
  2168. token_t *t = tokens->data[(*pos)++];
  2169. node_t *a = parse_mexpr(tokens, pos);
  2170. return NODE1t(MSET, a, t);
  2171. } else if (MATCHM("push")) {
  2172. if (!AT(NAME))
  2173. PARSE_ERROR("expected identifier");
  2174. token_t *t = tokens->data[(*pos)++];
  2175. node_t *a = parse_mexpr(tokens, pos);
  2176. return NODE1t(MPUSH, a, t);
  2177. } else if (MATCHM("$")) {
  2178. node_t *a = parse_stmt(tokens, pos);
  2179. if (a->tag == N_EXPRSTMT)
  2180. a = a->a;
  2181. return NODE1(MSTMT, a);
  2182. } else if (MATCHM("{")) {
  2183. list_t *stmts = list_new();
  2184. while (!AT(EOF) && !ATM("}")) {
  2185. list_push(stmts, parse_stmt(tokens, pos));
  2186. MATCH(SEMI);
  2187. }
  2188. if (!MATCHM("}"))
  2189. PARSE_ERROR("expected }$");
  2190. return NODE1(MSTMT, nodel(N_PROGRAM, stmts));
  2191. } else if (MATCHM(":"))
  2192. return NODE1(MEXPR, parse_mexpr(tokens, pos));
  2193. node_t *a = parse_stmt(tokens, pos);
  2194. if (a->tag == N_EXPRSTMT)
  2195. a = a->a;
  2196. return a;
  2197. }
  2198. list_t *macros_get(char *name) {
  2199. list_t *val = NULL;
  2200. for (ssize_t i = MACROS->length - 1; i >= 0; i--)
  2201. if ((val = table_get(MACROS->data[i], name)))
  2202. break;
  2203. return val;
  2204. }
  2205. node_t *parse_program(list_t *tokens, size_t *pos) {
  2206. if (AT(EOF))
  2207. PARSE_ERROR("empty program");
  2208. list_t *stmts = list_new();
  2209. int flag = 0;
  2210. while (!AT(EOF) && *pos < tokens->length) {
  2211. node_t *n = NULL;
  2212. if (MATCH(REQUIRE)) {
  2213. if (flag)
  2214. PARSE_ERROR("misplaced require statement")
  2215. list_t *paths = list_new();
  2216. do {
  2217. if (!AT(STRING))
  2218. PARSE_ERROR("expected string");
  2219. list_push(paths, tokens->data[(*pos)++]);
  2220. } while (MATCH(COMMA));
  2221. n = NODEL(REQUIRE, paths);
  2222. } else if (MATCH(HEADER)) {
  2223. if (flag)
  2224. PARSE_ERROR("misplaced header statement")
  2225. if (!AT(STRING))
  2226. PARSE_ERROR("expected string");
  2227. token_t *text = tokens->data[(*pos)++];
  2228. n = NODET(HEADER, text);
  2229. } else if (MATCH(INCLUDE)) {
  2230. if (flag)
  2231. PARSE_ERROR("misplaced include statement")
  2232. if (!AT(STRING))
  2233. PARSE_ERROR("expected string");
  2234. token_t *text = tokens->data[(*pos)++];
  2235. n = NODET(INCLUDE, text);
  2236. } else if (MATCH(MACRO)) {
  2237. if (!AT(NAME))
  2238. PARSE_ERROR("expected identifier");
  2239. char *name = ((token_t *)tokens->data[(*pos)++])->text;
  2240. EXPECT(LPAR, "(");
  2241. int variable = 0;
  2242. list_t *params = list_new();
  2243. if (!AT(RPAR)) {
  2244. if (MATCH(STAR))
  2245. variable = 1;
  2246. else
  2247. do {
  2248. if (!AT(NAME))
  2249. PARSE_ERROR("expected identifier");
  2250. list_push(params, tokens->data[(*pos)++]);
  2251. } while (MATCH(COMMA));
  2252. }
  2253. EXPECT(RPAR, ")");
  2254. list_t *body = list_new();
  2255. if (MATCH(COLON) || !AT(LCB))
  2256. list_push(body, parse_mstmt(tokens, pos));
  2257. else {
  2258. EXPECT(LCB, "{");
  2259. while (!AT(EOF) && !AT(RCB))
  2260. list_push(body, parse_mstmt(tokens, pos));
  2261. EXPECT(RCB, "}");
  2262. }
  2263. list_t *ms = macros_get(name);
  2264. if (!ms) {
  2265. ms = list_new();
  2266. table_set(list_index(MACROS, -1), name, ms);
  2267. }
  2268. macro_t *m = malloc_checked(sizeof(macro_t));
  2269. m->name = name;
  2270. m->params = params;
  2271. m->body = body;
  2272. m->variable = variable;
  2273. list_push(ms, m);
  2274. } else {
  2275. n = parse_stmt_c(tokens, pos);
  2276. flag = 1;
  2277. }
  2278. MATCH(SEMI);
  2279. if (n)
  2280. list_push(stmts, n);
  2281. }
  2282. return NODEL(TOPLEVEL, stmts);
  2283. }
  2284. node_t *parse(char *source) {
  2285. size_t pos = 0;
  2286. return parse_program(tokenize(source), &pos);
  2287. }
  2288. #define NEWGID() size_t gid = GID++
  2289. #define EMIT(fmt, ...) buffer_fmt(buf, (fmt), ##__VA_ARGS__);
  2290. #define BINOP(s) \
  2291. { \
  2292. EMIT("qi_" s "(state, "); \
  2293. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a); \
  2294. EMIT(", "); \
  2295. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b); \
  2296. EMIT(")"); \
  2297. }
  2298. #define UNOP(s) \
  2299. { \
  2300. EMIT("qi_" s "(state, "); \
  2301. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a); \
  2302. EMIT(")"); \
  2303. }
  2304. #define ASSIGNIN(buf, lhs, rhs, prefix) \
  2305. { \
  2306. if ((lhs)->tag == N_LITERAL && (lhs)->t->tag == T_NAME) { \
  2307. buffer_fmt(buf, "qi_set(state, " #prefix ", \"%s\", ", (lhs)->t->text); \
  2308. rhs; \
  2309. buffer_fmt(buf, ")"); \
  2310. } else if ((lhs)->tag == N_INDEX) { \
  2311. buffer_fmt(buf, "qi_index_set(state, " #prefix ", "); \
  2312. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, (lhs)->a); \
  2313. buffer_fmt(buf, ", "); \
  2314. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, (lhs)->b); \
  2315. buffer_fmt(buf, ", "); \
  2316. rhs; \
  2317. buffer_fmt(buf, ")"); \
  2318. } else if ((lhs)->tag == N_MEMBER) { \
  2319. buffer_fmt(buf, "qi_index_set(state, " #prefix ", "); \
  2320. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, (lhs)->a); \
  2321. buffer_fmt(buf, ", qi_make_string(state, \"%s\"), ", (lhs)->t->text); \
  2322. rhs; \
  2323. buffer_fmt(buf, ")"); \
  2324. } else \
  2325. COMPILE_ERROR("illegal assignment left-hand side"); \
  2326. }
  2327. #define ASSIGN(lhs, rhs) ASSIGNIN(buf, lhs, rhs, false)
  2328. #define DECLIN(buf, lhs, rhs) \
  2329. { \
  2330. if ((lhs)->tag == N_LITERAL && (lhs)->t->tag == T_NAME) { \
  2331. buffer_fmt(buf, "qi_decl_expr(state, \"%s\", ", (lhs)->t->text); \
  2332. rhs; \
  2333. buffer_fmt(buf, ")"); \
  2334. } else \
  2335. COMPILE_ERROR("illegal declaration left-hand side"); \
  2336. }
  2337. #define DECL(lhs, rhs) DECLIN(buf, lhs, rhs)
  2338. #define COMPASSIGN(lhs, s, rhs) \
  2339. { \
  2340. ASSIGN(node->a, { \
  2341. EMIT("qi_%s(state, ", s); \
  2342. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, (lhs)); \
  2343. EMIT(", "); \
  2344. rhs; \
  2345. EMIT(")"); \
  2346. }); \
  2347. }
  2348. #define COMPASSIGNP(lhs, s, rhs) \
  2349. { \
  2350. ASSIGNIN( \
  2351. buf, node->a, \
  2352. { \
  2353. EMIT("qi_%s(state, ", s); \
  2354. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, (lhs)); \
  2355. EMIT(", "); \
  2356. rhs; \
  2357. EMIT(")"); \
  2358. }, \
  2359. true); \
  2360. }
  2361. #define COMPILE_ERROR(fmt, ...) \
  2362. { \
  2363. format_error(GETFNAME(node->fi), GETSRC(node->fi), node->pos, fmt, \
  2364. ##__VA_ARGS__); \
  2365. exit(1); \
  2366. }
  2367. #define COMPILE_NOTE(fmt, ...) \
  2368. { \
  2369. format_error(GETFNAME(node->fi), GETSRC(node->fi), node->pos, fmt, \
  2370. ##__VA_ARGS__); \
  2371. }
  2372. void compile_node(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab,
  2373. list_t *lstk, list_t *sstk, list_t *lbl, node_t *node);
  2374. char *tempvar() {
  2375. NEWGID();
  2376. char *s = malloc_checked(sizeof(char) * (64 + strlen(PREFIX)));
  2377. snprintf(s, 64 + strlen(PREFIX), "__%s%zu", PREFIX, gid);
  2378. return s;
  2379. }
  2380. void compile_list(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab,
  2381. list_t *lstk, list_t *sstk, list_t *lbl, list_t *seq) {
  2382. if (!seq || seq->length < 1) {
  2383. EMIT("NULL");
  2384. return;
  2385. }
  2386. int has_star = 0;
  2387. for (size_t i = 0; i < seq->length; i++)
  2388. if (((node_t *)seq->data[i])->tag == N_STAR) {
  2389. has_star = 1;
  2390. break;
  2391. }
  2392. buffer_t *tbuf = buffer_new();
  2393. NEWGID();
  2394. buffer_fmt(tbuf, "inline static qi_list_t *__%s%d(qi_state_t *state) {\n",
  2395. PREFIX, gid);
  2396. if (has_star)
  2397. buffer_fmt(tbuf, "qi_list_t *list = qi_list_make();\n");
  2398. else
  2399. buffer_fmt(tbuf, "qi_list_t *list = qi_list_make_n(%d);\n", seq->length);
  2400. for (size_t i = 0; i < seq->length; i++) {
  2401. node_t *node = seq->data[i];
  2402. if (!has_star) {
  2403. buffer_fmt(tbuf, "qi_list_data(list, %d) = ", i);
  2404. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node);
  2405. buffer_fmt(tbuf, ";\n");
  2406. continue;
  2407. }
  2408. if (node->tag == N_STAR) {
  2409. char *varname = tempvar();
  2410. buffer_fmt(tbuf, "qi_value_t *%s = qi_iter(state, ", varname);
  2411. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->a);
  2412. buffer_fmt(tbuf, ");\n");
  2413. buffer_fmt(tbuf,
  2414. "for (qi_size_t i = 0; i < %s->value.list->length; i++)\n",
  2415. varname);
  2416. buffer_fmt(tbuf,
  2417. "qi_list_push(list, qi_index(state, %s, qi_make_number(state, "
  2418. "i)));\n",
  2419. varname);
  2420. } else {
  2421. buffer_fmt(tbuf, "qi_list_push(list, ");
  2422. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node);
  2423. buffer_fmt(tbuf, ");\n");
  2424. }
  2425. }
  2426. buffer_fmt(tbuf, "return list;\n");
  2427. buffer_fmt(tbuf, "}\n");
  2428. buffer_appendb(gbuf, tbuf);
  2429. EMIT("__%s%d(state)", PREFIX, gid);
  2430. }
  2431. void compile_table(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab,
  2432. list_t *lstk, list_t *sstk, list_t *lbl, table_t *table) {
  2433. if (!table || table->used < 1) {
  2434. EMIT("NULL");
  2435. return;
  2436. }
  2437. buffer_t *tbuf = buffer_new();
  2438. NEWGID();
  2439. buffer_fmt(tbuf, "inline static qi_table_t *__%s%d(qi_state_t *state) {\n",
  2440. PREFIX, gid);
  2441. buffer_fmt(tbuf, "qi_table_t *table = qi_table_make();\n");
  2442. table_iterate(table, {
  2443. buffer_fmt(tbuf, "qi_table_set(table, \"%s\", ", entry.key);
  2444. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, entry.value);
  2445. buffer_fmt(tbuf, ");\n");
  2446. });
  2447. buffer_fmt(tbuf, "return table;\n");
  2448. buffer_fmt(tbuf, "}\n");
  2449. buffer_appendb(gbuf, tbuf);
  2450. EMIT("__%s%d(state)", PREFIX, gid);
  2451. }
  2452. void compile_pairs(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab,
  2453. list_t *lstk, list_t *sstk, list_t *lbl, list_t *pairs) {
  2454. if (!pairs || pairs->length < 1) {
  2455. EMIT("NULL");
  2456. return;
  2457. }
  2458. buffer_t *tbuf = buffer_new();
  2459. NEWGID();
  2460. buffer_fmt(tbuf, "inline static qi_table_t *__%s%d(qi_state_t *state) {\n",
  2461. PREFIX, gid);
  2462. buffer_fmt(tbuf, "qi_table_t *table = qi_table_make();\n");
  2463. for (size_t i = 0; i < pairs->length; i++) {
  2464. list_t *pair = pairs->data[i];
  2465. buffer_fmt(tbuf, "qi_table_set(table, qi_to_string(state, ");
  2466. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, pair->data[0]);
  2467. buffer_fmt(tbuf, ")->value.string, ");
  2468. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, pair->data[1]);
  2469. buffer_fmt(tbuf, ");\n");
  2470. }
  2471. buffer_fmt(tbuf, "return table;\n");
  2472. buffer_fmt(tbuf, "}\n");
  2473. buffer_appendb(gbuf, tbuf);
  2474. EMIT("__%s%d(state)", PREFIX, gid);
  2475. }
  2476. #define CTXPUSH(s) list_push(ctx, (s))
  2477. #define CTXPOP() list_pop(ctx)
  2478. int in_context(list_t *ctx, char *s) {
  2479. if (!ctx->length)
  2480. return 0;
  2481. for (ssize_t i = ctx->length - 1; i >= 0; i--)
  2482. if (strcmp(ctx->data[i], "gap") == 0)
  2483. break;
  2484. else if (strcmp(ctx->data[i], s) == 0)
  2485. return 1;
  2486. return 0;
  2487. }
  2488. int in_switch(list_t *ctx) {
  2489. if (!ctx->length)
  2490. return 0;
  2491. for (ssize_t i = ctx->length - 1; i >= 0; i--)
  2492. if (strcmp(ctx->data[i], "gap") == 0 || strcmp(ctx->data[i], "for") == 0)
  2493. break;
  2494. else if (strcmp(ctx->data[i], "switch") == 0)
  2495. return 1;
  2496. return 0;
  2497. }
  2498. size_t count_ctxs(list_t *ctx, char *s) {
  2499. if (!ctx->length)
  2500. return 0;
  2501. size_t k = 0;
  2502. for (ssize_t i = ctx->length - 1; i >= 0; i--)
  2503. if (strcmp(ctx->data[i], "gap") == 0)
  2504. break;
  2505. else if (strcmp(ctx->data[i], s) == 0)
  2506. k++;
  2507. return k;
  2508. }
  2509. list_t *CONSTANTS;
  2510. #define INCTX(s) (in_context(ctx, (s)))
  2511. #define SCOPESK (count_ctxs(ctx, "scope"))
  2512. #define TRAPSK (count_ctxs(ctx, "trap"))
  2513. #define LPUSH(i) \
  2514. { \
  2515. int_stack_t *pair = stack_new(); \
  2516. stack_push(pair, (i)); \
  2517. stack_push(pair, scope_index(ctx)); \
  2518. list_push(lstk, pair); \
  2519. }
  2520. #define LPOP() list_pop(lstk)
  2521. #define LID (((int_stack_t *)lstk->data[lstk->length - 1])->data[0])
  2522. #define SPUSH(i) \
  2523. { \
  2524. int_stack_t *pair = stack_new(); \
  2525. stack_push(pair, (i)); \
  2526. stack_push(pair, scope_index(ctx)); \
  2527. list_push(sstk, pair); \
  2528. }
  2529. #define SPOP() list_pop(sstk)
  2530. #define SID (sstk->data[sstk->length - 1]->data[0])
  2531. #define LBPUSH() list_push(lbl, table_new())
  2532. #define LBPOP() list_pop(lbl)
  2533. size_t insert_debug(node_t *node) {
  2534. size_t line;
  2535. (void)traverse(GETSRC(node->fi), node->pos, &line, NULL);
  2536. buffer_t *tbuf = buffer_new();
  2537. buffer_fmt(tbuf, "File \"%s\", line %d", GETFNAME(node->fi), line);
  2538. if (FUNCNAMES->length)
  2539. buffer_fmt(tbuf, ", in %s", list_index(FUNCNAMES, -1));
  2540. list_push(DEBUGDATA, buffer_read(tbuf));
  2541. return DEBUGDATA->length - 1;
  2542. }
  2543. void emit_debug(buffer_t *buf, node_t *node) {
  2544. buffer_fmt(buf, "state->_debug_data = __debugData[%d];\n",
  2545. insert_debug(node));
  2546. }
  2547. void compile_func(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab,
  2548. list_t *lstk, list_t *sstk, list_t *lbl, node_t *node,
  2549. char *name) {
  2550. NEWGID();
  2551. char *funname = name ? name : node->t ? node->t->text : "<anon>";
  2552. buffer_t *tbuf = buffer_new();
  2553. buffer_fmt(tbuf,
  2554. "qi_value_t *__%s%d(qi_state_t *state, qi_size_t pargc, qi_list_t "
  2555. "*pargs) {\n",
  2556. PREFIX, gid);
  2557. LBPUSH();
  2558. CTXPUSH("gap");
  2559. CTXPUSH("func");
  2560. list_push(CONSTANTS, table_new());
  2561. list_push(MACROS, table_new());
  2562. list_push(FUNCNAMES, funname);
  2563. if (DEBUG)
  2564. emit_debug(tbuf, node);
  2565. size_t optargc = 0;
  2566. if (node->h) {
  2567. table_iterate(node->h, {
  2568. list_t *pair = entry.value;
  2569. size_t argc = *(size_t *)pair->data[0];
  2570. if (pair->data[1]) {
  2571. optargc++;
  2572. buffer_fmt(
  2573. tbuf,
  2574. "qi_decl(state, \"%s\", pargc >= %d? qi_list_index(pargs, %d): ",
  2575. entry.key, argc + 1, argc);
  2576. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, pair->data[1]);
  2577. buffer_fmt(tbuf, ");\n");
  2578. } else
  2579. buffer_fmt(tbuf, "qi_decl(state, \"%s\", qi_list_index(pargs, %d));\n",
  2580. entry.key, argc);
  2581. argc++;
  2582. });
  2583. }
  2584. compile_node(gbuf, tbuf, ctx, table_new(), list_new(), list_new(), lbl,
  2585. node->a);
  2586. list_pop(FUNCNAMES);
  2587. list_pop(MACROS);
  2588. list_pop(CONSTANTS);
  2589. CTXPOP();
  2590. CTXPOP();
  2591. LBPOP();
  2592. buffer_fmt(tbuf, "return state->nil;\n");
  2593. buffer_fmt(tbuf, "}\n");
  2594. buffer_appendb(gbuf, tbuf);
  2595. tbuf = buffer_new();
  2596. buffer_fmt(tbuf, "qi_make_function(state, \"%s\", %d, __%s%d, ", funname,
  2597. !node->h ? 0 : (node->h->used - optargc), PREFIX, gid);
  2598. compile_table(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->h2);
  2599. buffer_fmt(tbuf, ")");
  2600. if (node->tag == N_FUNCEXPR) {
  2601. buffer_appendb(buf, tbuf);
  2602. return;
  2603. }
  2604. EMIT("qi_set(state, false, \"%s\", ", node->t->text);
  2605. buffer_appendb(buf, tbuf);
  2606. EMIT(");");
  2607. }
  2608. int const_set(char *name, node_t *val) {
  2609. table_t *table = list_index(CONSTANTS, -1);
  2610. if (table_get(table, name))
  2611. return 0;
  2612. table_set(table, name, val);
  2613. return 1;
  2614. }
  2615. node_t *const_get(char *name) {
  2616. node_t *val = NULL;
  2617. for (ssize_t i = CONSTANTS->length - 1; i >= 0; i--)
  2618. if ((val = table_get(CONSTANTS->data[i], name)))
  2619. break;
  2620. return val;
  2621. }
  2622. size_t count_scopes(list_t *ctx, size_t offset) {
  2623. if (ctx->length < 2 || offset >= ctx->length)
  2624. return 0;
  2625. size_t k = 0;
  2626. for (ssize_t i = ctx->length - 1; i >= 0 && i > offset; i--)
  2627. if (strcmp(ctx->data[i], "gap") == 0)
  2628. break;
  2629. else if (strcmp(ctx->data[i], "scope") == 0)
  2630. k++;
  2631. return k;
  2632. }
  2633. size_t scope_index(list_t *ctx) {
  2634. if (ctx->length < 2)
  2635. return 0;
  2636. for (ssize_t i = ctx->length - 1; i >= 0; i--)
  2637. if (strcmp(ctx->data[i], "gap") == 0)
  2638. break;
  2639. else if (strcmp(ctx->data[i], "scope") == 0)
  2640. return i;
  2641. return 0;
  2642. }
  2643. void compile_block(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab,
  2644. list_t *lstk, list_t *sstk, list_t *lbl, list_t *block) {
  2645. for (size_t i = 0; i < block->length; i++) {
  2646. node_t *node = block->data[i];
  2647. if (node->tag == N_CONST) {
  2648. table_iterate(node->h, {
  2649. char *name = entry.key;
  2650. if (!const_set(name, entry.value))
  2651. COMPILE_ERROR("redeclaration of compile-time constant: '%s'", name);
  2652. });
  2653. } else if (node->tag == N_FUNCDEF) {
  2654. compile_func(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node, NULL);
  2655. EMIT("\n");
  2656. } else if (node->tag == N_CLASS) {
  2657. NEWGID();
  2658. char *name = node->t->text;
  2659. list_t *supers = list_index(node->l, 0);
  2660. list_t *triples = list_index(node->l, 1);
  2661. buffer_t *tbuf = buffer_new();
  2662. buffer_fmt(tbuf, "qi_value_t *__%s%d(qi_state_t *state) {\n", PREFIX,
  2663. gid);
  2664. buffer_fmt(tbuf, "qi_list_t *supers = qi_list_make_n(%d);\n",
  2665. !supers ? 0 : supers->length);
  2666. if (supers)
  2667. for (size_t i = 0; i < supers->length; i++) {
  2668. token_t *t = supers->data[i];
  2669. buffer_fmt(tbuf,
  2670. "qi_list_data(supers, %d) = qi_get(state, \"%s\");\n", i,
  2671. t->text);
  2672. }
  2673. buffer_fmt(tbuf, "qi_table_t *table = qi_table_make();\n");
  2674. buffer_fmt(tbuf, "qi_table_t *metatable = qi_table_make();\n");
  2675. buffer_fmt(tbuf, "qi_table_t *statictable = qi_table_make();\n");
  2676. for (size_t i = 0; i < triples->length; i++) {
  2677. list_t *triple = triples->data[i];
  2678. token_t *t = triple->data[0];
  2679. int flag = *(int *)triple->data[1];
  2680. if (flag == 0) {
  2681. buffer_fmt(tbuf, "qi_table_set(metatable, \"%s\", ", t->text);
  2682. if (((node_t *)triple->data[2])->tag == N_FUNCEXPR) {
  2683. buffer_t *methodname = buffer_new();
  2684. buffer_fmt(methodname, "%s.%s", name, t->text);
  2685. compile_func(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl,
  2686. triple->data[2], buffer_read(methodname));
  2687. } else
  2688. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl,
  2689. triple->data[2]);
  2690. } else {
  2691. buffer_fmt(tbuf, "qi_table_set(%s, \"%s\", ",
  2692. flag == 1 ? "table" : "statictable", t->text);
  2693. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, triple->data[2]);
  2694. }
  2695. buffer_fmt(tbuf, ");\n");
  2696. }
  2697. buffer_fmt(tbuf, "qi_list_t *pargs = qi_list_make_n(5);\n");
  2698. buffer_fmt(tbuf,
  2699. "qi_list_data(pargs, 0) = qi_make_string(state, \"%s\");\n",
  2700. name);
  2701. buffer_fmt(tbuf,
  2702. "qi_list_data(pargs, 1) = qi_make_list(state, supers);\n");
  2703. buffer_fmt(tbuf,
  2704. "qi_list_data(pargs, 2) = qi_make_table(state, table);\n");
  2705. buffer_fmt(tbuf,
  2706. "qi_list_data(pargs, 3) = qi_make_table(state, metatable);\n");
  2707. buffer_fmt(
  2708. tbuf,
  2709. "qi_list_data(pargs, 4) = qi_make_table(state, statictable);\n");
  2710. buffer_fmt(tbuf, "return qi_call(state, qi_get(state, "
  2711. "\"__class_wrapper\"), pargs);\n");
  2712. buffer_fmt(tbuf, "}\n");
  2713. buffer_appendb(gbuf, tbuf);
  2714. EMIT("qi_set(state, false, \"%s\", __%s%d(state));", name, PREFIX, gid);
  2715. } else if (node->tag == N_LABEL) {
  2716. char *label = node->t->text;
  2717. if (table_get(list_index(lbl, -1), label))
  2718. COMPILE_ERROR("duplicated label: '%s'", label);
  2719. NEWGID();
  2720. int_stack_t *pair = stack_new();
  2721. stack_push(pair, gid);
  2722. stack_push(pair, scope_index(ctx));
  2723. table_set(list_index(lbl, -1), label, pair);
  2724. }
  2725. }
  2726. for (size_t i = 0; i < block->length; i++) {
  2727. node_t *n = block->data[i];
  2728. if (n->tag == N_CONST || n->tag == N_FUNCDEF || n->tag == N_CLASS ||
  2729. n->tag == N_PASS)
  2730. continue;
  2731. if (DEBUG)
  2732. emit_debug(buf, n);
  2733. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, n);
  2734. EMIT("\n");
  2735. }
  2736. }
  2737. const char *STD[][2] = {
  2738. {"json",
  2739. "require \"string\"\n"
  2740. "class JSONError(Error)\n"
  2741. "func json_tokenize(s) {\n"
  2742. " let toks = []\n"
  2743. " for var i = 0; i < len(s); i++ {\n"
  2744. " if isws(s[i])\n"
  2745. " continue\n"
  2746. " if s[i] in \"[]{}:,\"\n"
  2747. " toks.push((s[i], nil))\n"
  2748. " elif isalpha(s[i]) {\n"
  2749. " var text = \"\"\n"
  2750. " for i < len(s) && isalpha(s[i])\n"
  2751. " text += s[i++]\n"
  2752. " i--\n"
  2753. " toks.push((\"name\", text))\n"
  2754. " } elif s[i] == '-' || isdigit(s[i]) {\n"
  2755. " var text = \"\"\n"
  2756. " if s[i] == '-'\n"
  2757. " text += s[i++]\n"
  2758. " if i >= len(s) || !isdigit(s[i])\n"
  2759. " throw JSONError(f\"${i}: malformed number literal\")\n"
  2760. " for i < len(s) && isdigit(s[i]) {\n"
  2761. " text += s[i++]\n"
  2762. " if i < len(s) && s[i] == \".\" && \".\" !in text\n"
  2763. " text += s[i++]\n"
  2764. " }\n"
  2765. " i--\n"
  2766. " toks.push((\"number\", text))\n"
  2767. " } elif s[i] == '\"' {\n"
  2768. " var text = \"\"\n"
  2769. " i++\n"
  2770. " for i < len(s) && s[i] != '\"' {\n"
  2771. " var c = s[i++]\n"
  2772. " if c == `\\` {\n"
  2773. " if i >= len(s)\n"
  2774. " throw JSONError(f\"#${i}: unterminated string literal\")\n"
  2775. " switch s[i] {\n"
  2776. " case \"n\":\n"
  2777. " c = \"\\n\"\n"
  2778. " break\n"
  2779. " case \"r\":\n"
  2780. " c = \"\\r\"\n"
  2781. " break\n"
  2782. " case \"t\":\n"
  2783. " c = \"\\t\"\n"
  2784. " break\n"
  2785. " }\n"
  2786. " i++\n"
  2787. " }\n"
  2788. " text += c\n"
  2789. " }\n"
  2790. " if i >= len(s) || s[i] != '\"'\n"
  2791. " throw JSONError(f\"#${i}: unterminated string literal\")\n"
  2792. " toks.push((\"string\", text))\n"
  2793. " } else\n"
  2794. " throw JSONError(f\"#${i}: unknown input\")\n"
  2795. " }\n"
  2796. " return toks\n"
  2797. "}\n"
  2798. "func json_parse(toks) {\n"
  2799. " func parse_array(toks) {\n"
  2800. " let r = []\n"
  2801. " if toks && toks[0][0] == ']'\n"
  2802. " return r, toks[1:]\n"
  2803. " for {\n"
  2804. " var e\n"
  2805. " [e, toks] = parse_expression(toks)\n"
  2806. " r.push(e)\n"
  2807. " if !toks || toks[0][0] != ','\n"
  2808. " break\n"
  2809. " if toks[0][0] == \",\"\n"
  2810. " toks = toks[1:]\n"
  2811. " }\n"
  2812. " if !toks || toks[0][0] != ']'\n"
  2813. " throw JSONError(\"missing ]\")\n"
  2814. " return r, toks[1:]\n"
  2815. " }\n"
  2816. " func parse_object(toks) {\n"
  2817. " let r = {}\n"
  2818. " for {\n"
  2819. " var k, e\n"
  2820. " if !toks || toks[0][0] != \"string\"\n"
  2821. " throw JSONError(\"expected string\")\n"
  2822. " k = toks[0][1]\n"
  2823. " toks = toks[1:]\n"
  2824. " if !toks || toks[0][0] != \":\"\n"
  2825. " throw JSONError(\"expected :\")\n"
  2826. " toks = toks[1:]\n"
  2827. " [e, toks] = parse_expression(toks)\n"
  2828. " r[k] = e\n"
  2829. " if !toks || toks[0][0] != \",\"\n"
  2830. " break\n"
  2831. " if toks[0][0] == \",\"\n"
  2832. " toks = toks[1:]\n"
  2833. " }\n"
  2834. " if !toks || toks[0][0] != \"}\"\n"
  2835. " throw JSONError(\"missing }\")\n"
  2836. " return r, toks[1:]\n"
  2837. " }\n"
  2838. " func parse_expression(toks) {\n"
  2839. " if toks\n"
  2840. " switch toks[0][0] {\n"
  2841. " case \"{\":\n"
  2842. " return parse_object(toks[1:])\n"
  2843. " case \"[\":\n"
  2844. " return parse_array(toks[1:])\n"
  2845. " case \"name\":\n"
  2846. " switch toks[0][1] {\n"
  2847. " case \"true\":\n"
  2848. " return true, toks[1:]\n"
  2849. " case \"false\":\n"
  2850. " return false, toks[1:]\n"
  2851. " case \"null\":\n"
  2852. " return nil, toks[1:]\n"
  2853. " }\n"
  2854. " throw JSONError(f\"illegal name: ${toks[0][1]}\")\n"
  2855. " case \"number\":\n"
  2856. " return num(toks[0][1]), toks[1:]\n"
  2857. " case \"string\":\n"
  2858. " return toks[0][1], toks[1:]\n"
  2859. " }\n"
  2860. " throw JSONError(\"expected expression\")\n"
  2861. " }\n"
  2862. " if !toks\n"
  2863. " throw JSONError(\"empty document\")\n"
  2864. " if toks[0][0] !in \"{[\"\n"
  2865. " throw JSONError(\"expected { or [\")\n"
  2866. " let [r, unconsumed] = parse_expression(toks)\n"
  2867. " if unconsumed\n"
  2868. " throw JSONError(\"unconsumed input\")\n"
  2869. " return r\n"
  2870. "}\n"
  2871. "func json_read(s)\n"
  2872. " return json_parse(json_tokenize(s))\n"
  2873. "func json_dump(d) {\n"
  2874. " func escape(s) {\n"
  2875. " var r = \"\"\n"
  2876. " \n"
  2877. " for var c of s {\n"
  2878. " if c == `\\`\n"
  2879. " r += `\\\\`\n"
  2880. " elif c == '\"'\n"
  2881. " r += `\\\"`\n"
  2882. " elif c == \"\\n\"\n"
  2883. " r += `\\n`\n"
  2884. " elif c == \"\\r\"\n"
  2885. " r += `\\r`\n"
  2886. " elif c == \"\\t\"\n"
  2887. " r += `\\t`\n"
  2888. " else r += c\n"
  2889. " }\n"
  2890. " return r\n"
  2891. " }\n"
  2892. " switch type(d) {\n"
  2893. " case \"nil\":\n"
  2894. " return \"null\"\n"
  2895. " case \"bool\":\n"
  2896. " return d? \"true\": \"false\"\n"
  2897. " case \"number\":\n"
  2898. " return str(d)\n"
  2899. " case \"string\":\n"
  2900. " return \"\\\"\" + escape(d) + \"\\\"\"\n"
  2901. " case \"list\":\n"
  2902. " var f = true\n"
  2903. " var buf = \"[\"\n"
  2904. " for var el of d {\n"
  2905. " if f\n"
  2906. " f = false\n"
  2907. " else\n"
  2908. " buf += \", \"\n"
  2909. " buf += json_dump(el) \n"
  2910. " }\n"
  2911. " buf += \"]\"\n"
  2912. " return buf\n"
  2913. " case \"table\":\n"
  2914. " var f = true\n"
  2915. " var buf = \"{\"\n"
  2916. " for var [k, v] of enumerate(d) {\n"
  2917. " if f\n"
  2918. " f = false\n"
  2919. " else\n"
  2920. " buf += \", \"\n"
  2921. " buf += f`\"${escape(k)}\": ${json_dump(v)}`\n"
  2922. " }\n"
  2923. " buf += \"}\"\n"
  2924. " return buf\n"
  2925. " }\n"
  2926. " throw JSONError(f\"cannot serialize ${type(d)} into a JSON\")\n"
  2927. "}\n"},
  2928. {"utf8", "func utf8_chrlen(s) {\n"
  2929. " s = bytes(s)\n"
  2930. " var z = len(s)\n"
  2931. " if z < 2\n"
  2932. " return z\n"
  2933. " var l = 1\n"
  2934. " for var i = 1; i < z && (s[i] & 0xc0) == 0x80; i++\n"
  2935. " l++\n"
  2936. " return l\n"
  2937. "}\n"
  2938. "func utf8_decode(s) {\n"
  2939. " s = bytes(s)\n"
  2940. " var l = utf8_chrlen(s)\n"
  2941. " if !l\n"
  2942. " throw \"malformed sequence\"\n"
  2943. " var c = (s[0] & ((1 << (8 - l)) - 1)) << (l - 1) * 6\n"
  2944. " for var i = 1; i < l; i++\n"
  2945. " c |= (s[i] & 0x3f) << (l - i - 1) * 6\n"
  2946. " return (c, l)\n"
  2947. "}\n"
  2948. "func utf8_encode(c) {\n"
  2949. " if c <= 0x7f\n"
  2950. " return bytes([c & 0xFF])\n"
  2951. " elif c >= 0x80 && c <= 0x7ff\n"
  2952. " return bytes([0xC0 | ((c >> 6) & 0x1f), 0x80 | (c & 0x3f)])\n"
  2953. " elif c >= 0x800 && c <= 0xfff\n"
  2954. " return bytes([0xe0 | ((c >> 12) & 0xf), 0x80 | ((c >> 6) & "
  2955. "0x3f), 0x80 | (c & 0x3f)])\n"
  2956. " elif c >= 0x10000 && c <= 0x10ffff\n"
  2957. " return bytes([0xf0 | ((c >> 18) & 0x7), 0x80 | ((c >> 12) & "
  2958. "0x3f), 0x80 | ((c >> 6) & 0x3f), 0x80 | (c & 0x3f)])\n"
  2959. " throw \"malformed codepoint\"\n"
  2960. "}\n"
  2961. "class ustr {\n"
  2962. " _ucs = nil\n"
  2963. " constructor (this, s=\"\") {\n"
  2964. " if type(s) == \"list\" && all(map(func (x): type(x) == "
  2965. "\"number\", s)) {\n"
  2966. " this._ucs = s\n"
  2967. " return\n"
  2968. " }\n"
  2969. " s = str(s)\n"
  2970. " this._ucs = []\n"
  2971. " for var i = 0; i < len(s) {\n"
  2972. " let [c, l] = utf8_decode(slice(s, i))\n"
  2973. " this._ucs.push(c)\n"
  2974. " i += l\n"
  2975. " }\n"
  2976. " }\n"
  2977. " nth (this, i): this._ucs[i]\n"
  2978. " __type (this): \"ustr\"\n"
  2979. " __str (this) {\n"
  2980. " var s = \"\"\n"
  2981. " for var uc of this._ucs\n"
  2982. " s += str(utf8_encode(uc))\n"
  2983. " return s\n"
  2984. " }\n"
  2985. " __len (this): len(this._ucs)\n"
  2986. " __index (this, i): ustr([this._ucs[i]])\n"
  2987. " __index_set (this): throw\n"
  2988. " __iter (this): this._ucs\n"
  2989. " __list (this): list_copy(this._ucs)\n"
  2990. " __add (this, other) {\n"
  2991. " if type(other) != \"ustr\"\n"
  2992. " throw\n"
  2993. " return ustr(this._ucs + other._ucs)\n"
  2994. " }\n"
  2995. " __equals (this, other) {\n"
  2996. " if type(other) != \"ustr\"\n"
  2997. " return false\n"
  2998. " return this._ucs == other._ucs\n"
  2999. " }\n"
  3000. "}\n"},
  3001. {"thread",
  3002. "include `pthread.h`\n"
  3003. "func thread_create(fn, args=[]) {\n"
  3004. " if type(fn) != \"function\"\n"
  3005. " throw \"expected first argument to be: function, but got: \" + "
  3006. "type(fn)\n"
  3007. " if type(args) != \"list\"\n"
  3008. " throw \"expected second argument to be: list, but got: \" + "
  3009. "type(args)\n"
  3010. " inline `qi_value_t *args = qi_get(state, \"args\")`\n"
  3011. " inline `qi_list_t *list`\n"
  3012. " inline `LOCKED(args, {list = qi_list_copy(args->value.list);})`\n"
  3013. " inline `void *td = qi_thread_create(state, qi_get(state, \"fn\"), "
  3014. "list)`\n"
  3015. " inline `qi_decl(state, \"td\", qi_make_data(state, 'T', td))`\n"
  3016. " return Object({\n"
  3017. " __str: func (this): \"<Thread>\",\n"
  3018. " _td: td,\n"
  3019. " joined: false,\n"
  3020. " join: func (this) {\n"
  3021. " if this.joined\n"
  3022. " return\n"
  3023. " var td = this._td\n"
  3024. " inline `qi_value_t *ret = qi_thread_join(state, qi_get_data(state, "
  3025. "'T', qi_get(state, \"td\")))`\n"
  3026. " this.joined = true\n"
  3027. " inline `return ret`\n"
  3028. " }\n"
  3029. " })\n"
  3030. "}\n"
  3031. "func Thread(fn, args=[]): Object({\n"
  3032. " __str: func (this) use (fn, args): format(\"<Thread _ _>\", fn, "
  3033. "args),\n"
  3034. " _thread: nil,\n"
  3035. " start: func (this) use (fn, args) {\n"
  3036. " if this._thread !is nil\n"
  3037. " return\n"
  3038. " this._thread = thread_create(fn, args)\n"
  3039. " return this\n"
  3040. " },\n"
  3041. " join: func (this) {\n"
  3042. " if this._thread !is nil\n"
  3043. " return this._thread.join()\n"
  3044. " },\n"
  3045. " is_joined: func (this): this._thread.joined\n"
  3046. "})\n"
  3047. "func Mutex() {\n"
  3048. " inline `void *mutex = qi_mutex_create()`\n"
  3049. " inline `if (!mutex) qi_throw_format(state, \"mutex init failed\")`\n"
  3050. " inline `qi_decl(state, \"mutex\", qi_make_data(state, 'M', mutex))`\n"
  3051. " return Object({\n"
  3052. " __fin: func (this) {\n"
  3053. " mutex = this._mutex\n"
  3054. " this._mutex = nil\n"
  3055. " inline `qi_mutex_destroy(qi_get_data(state, 'M', qi_get(state, "
  3056. "\"mutex\")))`\n"
  3057. " },\n"
  3058. " __str: func (this): \"<Mutex>\",\n"
  3059. " _mutex: mutex,\n"
  3060. " lock: func (this) {\n"
  3061. " var mutex = this._mutex\n"
  3062. " inline `qi_mutex_lock(qi_get_data(state, 'M', qi_get(state, "
  3063. "\"mutex\")))`\n"
  3064. " },\n"
  3065. " trylock: func (this) {\n"
  3066. " var mutex = this._mutex\n"
  3067. " inline `return qi_make_boolean(state, "
  3068. "qi_mutex_trylock(qi_get_data(state, 'M', qi_get(state, \"mutex\"))))`\n"
  3069. " },\n"
  3070. " unlock: func (this) {\n"
  3071. " var mutex = this._mutex\n"
  3072. " inline `qi_mutex_unlock(qi_get_data(state, 'M', qi_get(state, "
  3073. "\"mutex\")))`\n"
  3074. " }\n"
  3075. " })\n"
  3076. "}\n"
  3077. "func Cond() {\n"
  3078. " inline `void *cond = qi_cond_create()`\n"
  3079. " inline `if (!cond) qi_throw_format(state, \"cond init failed\")`\n"
  3080. " inline `qi_decl(state, \"cond\", qi_make_data(state, 'C', cond))`\n"
  3081. " return Object({\n"
  3082. " __fin: func (this) {\n"
  3083. " cond = this._cond\n"
  3084. " this._cond = nil\n"
  3085. " inline `qi_cond_destroy(qi_get_data(state, 'C', qi_get(state, "
  3086. "\"cond\")))`\n"
  3087. " },\n"
  3088. " __str: func (this): \"<Cond>\",\n"
  3089. " _cond: cond,\n"
  3090. " wait: func (this, mutex) {\n"
  3091. " var cond = this._cond\n"
  3092. " mutex = mutex._mutex\n"
  3093. " inline `qi_cond_wait(qi_get_data(state, 'C', qi_get(state, "
  3094. "\"cond\")), qi_get_data(state, 'M', qi_get(state, \"mutex\")))`\n"
  3095. " },\n"
  3096. " signal: func (this) {\n"
  3097. " var cond = this._cond\n"
  3098. " inline `qi_cond_signal(qi_get_data(state, 'C', qi_get(state, "
  3099. "\"cond\")))`\n"
  3100. " },\n"
  3101. " broadcast: func (this) {\n"
  3102. " var cond = this._cond\n"
  3103. " inline `qi_cond_broadcast(qi_get_data(state, 'C', qi_get(state, "
  3104. "\"cond\")))`\n"
  3105. " }\n"
  3106. " })\n"
  3107. "}\n"
  3108. "func thread_exit(ret=nil)\n"
  3109. " inline `qi_thread_exit(state, qi_get(state, \"ret\"))`\n"
  3110. "func is_main_thread()\n"
  3111. " inline `return qi_make_boolean(state, qi_thread_main())`\n"},
  3112. {"os",
  3113. "header `#ifdef _WIN32`\n"
  3114. "include `Windows.h`\n"
  3115. "header `#endif`\n"
  3116. "func system(s) {\n"
  3117. " if type(s) != \"string\"\n"
  3118. " throw \"expected first argument to be: string, but got: \" + type(s)\n"
  3119. " inline `return qi_make_number(state, system(qi_get(state, \"s\")->value.string))`"
  3120. "}\n"
  3121. "func getenv(n) {\n"
  3122. " if type(n) != \"string\"\n"
  3123. " throw \"expected first argument to be: string, but got: \" + "
  3124. "type(n)\n"
  3125. " inline `char *value = getenv(qi_get(state, \"n\")->value.string)`\n"
  3126. " inline `return value? qi_make_string_copy(state, value): state->nil`\n"
  3127. "}\n"
  3128. "func setenv(n, v) {\n"
  3129. " if type(n) != \"string\"\n"
  3130. " throw \"expected first argument to be: string, but got: \" + "
  3131. "type(n)\n"
  3132. " v = str(v)\n"
  3133. " inline \"#ifdef _WIN32\"\n"
  3134. " var s = n + \"=\" + v\n"
  3135. " inline `_putenv(qi_get(state, \"s\")->value.string)`\n"
  3136. " inline \"#else\"\n"
  3137. " inline `setenv(qi_get(state, \"n\")->value.string, qi_get(state, "
  3138. "\"v\")->value.string, 1)`\n"
  3139. " inline \"#endif\"\n"
  3140. "}\n"
  3141. "func exit(c) {\n"
  3142. " if type(c) != \"number\"\n"
  3143. " throw \"expected first argument to be: number, but got: \" + type(c)\n"
  3144. " inline `qi_exit(state, qi_get(state, \"c\")->value.number)`\n"
  3145. "}\n"
  3146. "func die(msg, c=1) {\n"
  3147. " fputs(STDERR, str(msg) + \"\\n\")\n"
  3148. " exit(c)\n"
  3149. "}\n"},
  3150. {"string", "let STR_LETTERS = "
  3151. "\"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ\"\n"
  3152. "let STR_ASCII_LC = \"abcdefghijklmnopqrstuvwxyz\"\n"
  3153. "let STR_ASCII_UC = \"ABCDEFGHIJKLMNOPQRSTUVWXYZ\"\n"
  3154. "let STR_DIGITS = \"0123456789\"\n"
  3155. "let STR_WS = \" \\t\\n\\r\\x0b\\x0c\"\n"
  3156. "let STR_PUNCTS = \"!\\\"#$%&'()*+,-./:;<=>?@[\\\\]^_`{|}~\"\n"
  3157. "func is_char(c): return type(c) == \"string\" && len(c) == 1\n"
  3158. "func isalpha(c): return (c >= 'a' && c <= 'z') || (c >= 'A' && "
  3159. "c <= 'Z')\n"
  3160. "func isdigit(c): return c >= '0' && c <= '9'\n"
  3161. "func ispunct(c): return c in STR_PUNCTS\n"
  3162. "func isws(c): return c in STR_WS\n"},
  3163. {"time",
  3164. "include `time.h`\n"
  3165. "include `errno.h`\n"
  3166. "header `#ifdef _WIN32`\n"
  3167. "include `Windows.h`\n"
  3168. "header `#endif`\n"
  3169. "func time() {\n"
  3170. " inline `unsigned long long ts = time(NULL)`\n"
  3171. " inline `return qi_make_number(state, ts)`\n"
  3172. "}\n"
  3173. "func strftime(f, t=time()) {\n"
  3174. " if type(f) != \"string\"\n"
  3175. " throw \"expected first argument to be: string, but got: \" + "
  3176. "type(f)\n"
  3177. " if type(t) != \"number\"\n"
  3178. " throw \"expected second argument to be: number, but got: \" + "
  3179. "type(t)\n"
  3180. " inline `time_t ts = qi_get(state, \"t\")->value.number`\n"
  3181. " inline `struct tm lt`\n"
  3182. " inline `lt = *localtime(&ts)`\n"
  3183. " inline `char buffer[512]`\n"
  3184. " inline `strftime(buffer, sizeof(buffer), qi_get(state, "
  3185. "\"f\")->value.string, &lt)`\n"
  3186. " inline `return qi_make_string_copy(state, buffer)`\n"
  3187. "}\n"
  3188. "func usleep(t) {\n"
  3189. " if type(t) != \"number\"\n"
  3190. " throw \"expected first argument to be: number, but got: \" + "
  3191. "type(t)\n"
  3192. " \n"
  3193. " inline `#ifdef _WIN32`\n"
  3194. " inline `Sleep((unsigned long)(qi_get(state, \"t\")->value.number))`\n"
  3195. " inline `#else`\n"
  3196. " inline `unsigned long ms = (unsigned long)(qi_get(state, "
  3197. "\"t\")->value.number)`\n"
  3198. " inline `struct timespec ts`\n"
  3199. " inline `ts.tv_sec = ms / 1000`\n"
  3200. " inline `ts.tv_nsec = (ms % 1000) * 1000000`\n"
  3201. " inline `struct timespec r`\n"
  3202. " inline `while (nanosleep(&ts, &r) < 0) if (errno == EINTR) ts = r; "
  3203. "else break`\n"
  3204. " inline `#endif`\n"
  3205. "}\n"
  3206. "func sleep(t)\n"
  3207. " usleep(t * 1000)\n"},
  3208. {"random",
  3209. "func rand() {\n"
  3210. " inline `return qi_make_number(state, rand())`\n"
  3211. "}\n"
  3212. "func random_int(min, max): return rand() % (max + 1 - min) + min\n"
  3213. "func random_choice(l, k=1) {\n"
  3214. " l = list_copy(list(l))\n"
  3215. " var r = []\n"
  3216. " for var i = 0; i < k; i++\n"
  3217. " list_push(r, list_pop_at(l, random_int(0, len(l)-1)))\n"
  3218. " return r\n"
  3219. "}\n"
  3220. "func random_pick(l, k=1) {\n"
  3221. " var r = []\n"
  3222. " for var i = 0; i < k; i++\n"
  3223. " list_push(r, l[random_int(0, len(l)-1)])\n"
  3224. " return r\n"
  3225. "}\n"
  3226. "inline `srand(time(NULL))`\n"},
  3227. {"math", NULL},
  3228. {NULL, NULL}};
  3229. const struct {
  3230. const char *name;
  3231. const char *fname;
  3232. int arity;
  3233. } MATHFUNCS[] = {{"ceil", NULL, 1}, {"floor", NULL, 1}, {"trunc", NULL, 1},
  3234. {"round", NULL, 1}, {"abs", "fabs", 1}, {"exp", NULL, 1},
  3235. {"sqrt", NULL, 1}, {"sinh", NULL, 1}, {"cosh", NULL, 1},
  3236. {"tanh", NULL, 1}, {"asinh", NULL, 1}, {"acosh", NULL, 1},
  3237. {"atanh", NULL, 1}, {"sin", NULL, 1}, {"cos", NULL, 1},
  3238. {"tan", NULL, 1}, {"asin", NULL, 1}, {"acos", NULL, 1},
  3239. {"atan", NULL, 1}, {"atan2", NULL, 2}, {"hypot", NULL, 2},
  3240. {NULL, 0}};
  3241. void genmathlib(void) {
  3242. buffer_t *buffer = buffer_new();
  3243. buffer_appends(
  3244. buffer,
  3245. "let Math = {\"tau\": 6.283185307179586, \"pi\": 3.141592653589793, "
  3246. "\"e\": 2.718281828459045, \"inf\": INFINITY, \"nan\": NAN, ");
  3247. for (size_t i = 0; MATHFUNCS[i].name; i++) {
  3248. if (MATHFUNCS[i].arity == 0)
  3249. buffer_fmt(
  3250. buffer,
  3251. "\"%s\": func () { inline `return qi_make_number(state, %s())` }",
  3252. MATHFUNCS[i].name,
  3253. MATHFUNCS[i].fname ? MATHFUNCS[i].fname : MATHFUNCS[i].name);
  3254. else if (MATHFUNCS[i].arity == 1)
  3255. buffer_fmt(
  3256. buffer,
  3257. "\"%s\": func (x) { if type(x) != \"number\" { throw \"expected "
  3258. "first argument to be: number, but got: \" + type(x) } inline "
  3259. "`double n = %s(qi_get(state, \"x\")->value.number)`; inline `return "
  3260. "qi_make_number(state, n)` }",
  3261. MATHFUNCS[i].name,
  3262. MATHFUNCS[i].fname ? MATHFUNCS[i].fname : MATHFUNCS[i].name);
  3263. else
  3264. buffer_fmt(
  3265. buffer,
  3266. "\"%s\": func (x, y) { if type(x) != \"number\" { throw \"expected "
  3267. "first argument to be: number, but got: \" + type(x) } if type(y) != "
  3268. "\"number\" { throw \"expected second argument to be: number, but "
  3269. "got: \" + type(y) } inline `double n = %s(qi_get(state, "
  3270. "\"x\")->value.number, qi_get(state, \"y\")->value.number)`; inline "
  3271. "`return qi_make_number(state, n)` }",
  3272. MATHFUNCS[i].name,
  3273. MATHFUNCS[i].fname ? MATHFUNCS[i].fname : MATHFUNCS[i].name);
  3274. if (MATHFUNCS[i + 1].name)
  3275. buffer_append(buffer, ',');
  3276. }
  3277. buffer_append(buffer, '}');
  3278. size_t i;
  3279. for (i = 0; strcmp(STD[i][0], "math") != 0; i++)
  3280. ;
  3281. STD[i][1] = buffer_read(buffer);
  3282. }
  3283. char *unescape(char *s) {
  3284. buffer_t *buf = buffer_new();
  3285. for (size_t i = 0; i < strlen(s); i++) {
  3286. char c = s[i];
  3287. if (c == '\\') {
  3288. char nc = s[i + 1];
  3289. if (!nc)
  3290. continue;
  3291. switch (nc) {
  3292. case 'n':
  3293. buffer_append(buf, '\n');
  3294. break;
  3295. case 't':
  3296. buffer_append(buf, '\t');
  3297. break;
  3298. case 'r':
  3299. buffer_append(buf, '\r');
  3300. break;
  3301. default:
  3302. buffer_append(buf, nc);
  3303. break;
  3304. }
  3305. i++;
  3306. } else
  3307. buffer_append(buf, c);
  3308. }
  3309. return buffer_read(buf);
  3310. }
  3311. void compile_into(char *source, buffer_t *gbuf, buffer_t *buf, list_t *ctx,
  3312. table_t *ltab, list_t *lstk, list_t *sstk, list_t *lbl);
  3313. int require_once(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab,
  3314. list_t *lstk, list_t *sstk, list_t *lbl, char *path) {
  3315. char *source = NULL;
  3316. for (size_t i = 0; STD[i][0]; i++) {
  3317. if (strcmp(path, STD[i][0]) == 0) {
  3318. source = (char *)STD[i][1];
  3319. break;
  3320. }
  3321. }
  3322. if (is_required(path))
  3323. return 1;
  3324. if (!source) {
  3325. FILE *fd = fopen(path, "rb");
  3326. if (!fd)
  3327. return -1;
  3328. buffer_t *fbuf = buffer_new();
  3329. for (;;) {
  3330. char line[512];
  3331. if (!fgets(line, sizeof(line), fd))
  3332. break;
  3333. buffer_appends(fbuf, line);
  3334. }
  3335. source = buffer_read(fbuf);
  3336. path = realpath(path, NULL);
  3337. }
  3338. list_t *pair = list_new();
  3339. list_push(pair, path);
  3340. list_push(pair, source);
  3341. list_push(FILES, pair);
  3342. compile_into(source, gbuf, buf, ctx, ltab, lstk, sstk, lbl);
  3343. list_pop(FILES);
  3344. list_push(REQUIRED, path);
  3345. return 0;
  3346. }
  3347. buffer_t *HBUF;
  3348. list_t *MVARS;
  3349. node_t *YES;
  3350. #define IS_EXPR(n) \
  3351. ((n) && ((node_t *)(n))->tag > N_EXPRS_BEGIN && \
  3352. ((node_t *)(n))->tag < N_EXPRS_END)
  3353. #define IS_NUMBER(n) ((n) && (n)->tag == N_LITERAL && (n)->t->tag == T_NUMBER)
  3354. #define TO_DOUBLE(n) (strtod((n)->t->text, NULL))
  3355. #define IS_STRING(n) ((n) && (n)->tag == N_LITERAL && (n)->t->tag == T_STRING)
  3356. node_t *make_number(double v) {
  3357. char buf[64];
  3358. snprintf(buf, sizeof(buf), "%g", v);
  3359. return nodet(N_LITERAL, token(T_NUMBER, strdup(buf)));
  3360. }
  3361. node_t *mexpr_negate(node_t *a) {
  3362. if (!IS_NUMBER(a))
  3363. return NULL;
  3364. return make_number(-TO_DOUBLE(a));
  3365. }
  3366. node_t *mexpr_add(node_t *a, node_t *b) {
  3367. if (!IS_NUMBER(a))
  3368. return NULL;
  3369. if (!IS_NUMBER(b))
  3370. return NULL;
  3371. return make_number(TO_DOUBLE(a) + TO_DOUBLE(b));
  3372. }
  3373. node_t *mexpr_sub(node_t *a, node_t *b) {
  3374. if (!IS_NUMBER(a))
  3375. return NULL;
  3376. if (!IS_NUMBER(b))
  3377. return NULL;
  3378. return make_number(TO_DOUBLE(a) - TO_DOUBLE(b));
  3379. }
  3380. node_t *mexpr_mul(node_t *a, node_t *b) {
  3381. if (!IS_NUMBER(a))
  3382. return NULL;
  3383. if (!IS_NUMBER(b))
  3384. return NULL;
  3385. return make_number(TO_DOUBLE(a) * TO_DOUBLE(b));
  3386. }
  3387. node_t *mexpr_div(node_t *a, node_t *b) {
  3388. if (!IS_NUMBER(a))
  3389. return NULL;
  3390. if (!IS_NUMBER(b))
  3391. return NULL;
  3392. double x = TO_DOUBLE(b);
  3393. if (x == 0)
  3394. return make_number(0);
  3395. return make_number(TO_DOUBLE(a) * x);
  3396. }
  3397. int mexpr_equals(node_t *a, node_t *b) {
  3398. if (!a && !b)
  3399. return 1;
  3400. if (!a && b)
  3401. return 0;
  3402. if (a && !b)
  3403. return 0;
  3404. if (a->tag != b->tag)
  3405. return 0;
  3406. switch (a->tag) {
  3407. case N_LITERAL:
  3408. return a->t->tag == b->t->tag && strcmp(a->t->text, b->t->text) == 0;
  3409. default:
  3410. break;
  3411. }
  3412. return 0;
  3413. }
  3414. int mexpr_less(node_t *a, node_t *b) {
  3415. if (!IS_NUMBER(a))
  3416. return 0;
  3417. if (!IS_NUMBER(b))
  3418. return 0;
  3419. return TO_DOUBLE(a) < TO_DOUBLE(b);
  3420. }
  3421. int mexpr_greater(node_t *a, node_t *b) {
  3422. if (!IS_NUMBER(a))
  3423. return 0;
  3424. if (!IS_NUMBER(b))
  3425. return 0;
  3426. return TO_DOUBLE(a) > TO_DOUBLE(b);
  3427. }
  3428. node_t *mexpr_eval(node_t *n) {
  3429. if (n)
  3430. switch (n->tag) {
  3431. case N_LITERAL:
  3432. if (n->t->tag == T_NAME) {
  3433. node_t *v = const_get(n->t->text);
  3434. if (v)
  3435. return mexpr_eval(v);
  3436. }
  3437. break;
  3438. case N_UNARY_PLUS:
  3439. return mexpr_eval(n->a);
  3440. break;
  3441. case N_NEGATE: {
  3442. node_t *a = mexpr_eval(n->a);
  3443. return mexpr_negate(a);
  3444. }
  3445. case N_ADD: {
  3446. node_t *a = mexpr_eval(n->a);
  3447. node_t *b = mexpr_eval(n->b);
  3448. if (!IS_NUMBER(a) && IS_NUMBER(b))
  3449. return node2(N_ADD, n->a, b);
  3450. if (IS_NUMBER(a) && !IS_NUMBER(b))
  3451. return node2(N_ADD, a, n->b);
  3452. return mexpr_add(a, b);
  3453. }
  3454. case N_SUB: {
  3455. node_t *a = mexpr_eval(n->a);
  3456. node_t *b = mexpr_eval(n->b);
  3457. if (!IS_NUMBER(a) && IS_NUMBER(b))
  3458. return node2(N_SUB, n->a, b);
  3459. if (IS_NUMBER(a) && !IS_NUMBER(b))
  3460. return node2(N_SUB, a, n->b);
  3461. return mexpr_sub(a, b);
  3462. }
  3463. case N_MUL: {
  3464. node_t *a = mexpr_eval(n->a);
  3465. node_t *b = mexpr_eval(n->b);
  3466. if (!IS_NUMBER(a) && IS_NUMBER(b))
  3467. return node2(N_MUL, n->a, b);
  3468. if (IS_NUMBER(a) && !IS_NUMBER(b))
  3469. return node2(N_MUL, a, n->b);
  3470. return mexpr_mul(a, b);
  3471. }
  3472. case N_DIV: {
  3473. node_t *a = mexpr_eval(n->a);
  3474. node_t *b = mexpr_eval(n->b);
  3475. if (!IS_NUMBER(a) && IS_NUMBER(b))
  3476. return node2(N_DIV, n->a, b);
  3477. if (IS_NUMBER(a) && !IS_NUMBER(b))
  3478. return node2(N_DIV, a, n->b);
  3479. return mexpr_div(a, b);
  3480. }
  3481. case N_IFEXPR: {
  3482. node_t *a = mexpr_eval(n->a);
  3483. if (a)
  3484. return mexpr_eval(n->b);
  3485. return mexpr_eval(n->c);
  3486. }
  3487. case N_TUPLE:
  3488. case N_LIST: {
  3489. list_t *l = list_new();
  3490. for (size_t i = 0; i < n->l->length; i++) {
  3491. node_t *a = mexpr_eval(n->l->data[i]);
  3492. if (!IS_EXPR(a))
  3493. return NULL;
  3494. list_push(l, a);
  3495. }
  3496. return nodel(n->tag, l);
  3497. }
  3498. case N_COMMA:
  3499. return mexpr_eval(list_index(n->l, -1));
  3500. default:
  3501. break;
  3502. }
  3503. return n;
  3504. }
  3505. node_t *mf_isExpr(list_t *t) {
  3506. if (t->length != 1)
  3507. return NULL;
  3508. return IS_EXPR(t->data[0]) ? YES : NULL;
  3509. }
  3510. node_t *mf_isList(list_t *t) {
  3511. if (t->length != 1)
  3512. return NULL;
  3513. node_t *a = t->data[0];
  3514. if (!a)
  3515. return NULL;
  3516. return a->tag == N_LIST ? YES : NULL;
  3517. }
  3518. node_t *mf_newList(list_t *t) {
  3519. for (size_t i = 0; i < t->length; i++)
  3520. if (!IS_EXPR(t->data[i]))
  3521. return NULL;
  3522. return nodel(N_LIST, t);
  3523. }
  3524. node_t *mf_newBlock(list_t *t) {
  3525. for (size_t i = 0; i < t->length; i++)
  3526. if (!t->data[i])
  3527. return NULL;
  3528. else if (IS_EXPR(t->data[i]))
  3529. t->data[i] = node1(N_EXPRSTMT, t->data[i]);
  3530. return nodel(N_PROGRAM, t);
  3531. }
  3532. node_t *mf_newName(list_t *t) {
  3533. if (t->length != 1)
  3534. return NULL;
  3535. node_t *a = t->data[0];
  3536. if (!IS_STRING(a))
  3537. return NULL;
  3538. char *text = a->t->text;
  3539. if (*text != '_' && !isalpha(*text))
  3540. return NULL;
  3541. for (size_t i = 0; i < strlen(text); i++)
  3542. if (text[i] != '_' && !isdigit(text[i]) && !isalpha(text[i]))
  3543. return NULL;
  3544. return nodet(N_LITERAL, token(T_NAME, text));
  3545. }
  3546. node_t *mf_newVar(list_t *t) {
  3547. if (t->length != 1 && t->length != 2)
  3548. return NULL;
  3549. node_t *a = t->data[0];
  3550. if (!a || a->tag != N_LITERAL || a->t->tag != T_NAME)
  3551. return NULL;
  3552. node_t *b = NULL;
  3553. if (t->length == 2) {
  3554. b = t->data[1];
  3555. if (!IS_EXPR(b))
  3556. return NULL;
  3557. }
  3558. table_t *h = table_new();
  3559. table_set(h, a->t->text, b);
  3560. return nodeh(N_VAR, h);
  3561. }
  3562. node_t *mf_len(list_t *t) {
  3563. if (t->length != 1)
  3564. return NULL;
  3565. node_t *a = t->data[0];
  3566. if (!a)
  3567. return NULL;
  3568. if (a->tag == N_LIST || a->tag == N_TUPLE)
  3569. return make_number(a->l->length);
  3570. return NULL;
  3571. }
  3572. node_t *mf_nth(list_t *t) {
  3573. if (t->length != 2)
  3574. return NULL;
  3575. node_t *a = t->data[0];
  3576. if (!a)
  3577. return NULL;
  3578. node_t *b = t->data[1];
  3579. if (!IS_NUMBER(b))
  3580. return NULL;
  3581. if (a->tag == N_LIST || a->tag == N_TUPLE)
  3582. return list_index(a->l, TO_DOUBLE(b));
  3583. return NULL;
  3584. }
  3585. node_t *mf_E(list_t *t) {
  3586. if (t->length != 1)
  3587. return NULL;
  3588. node_t *a = t->data[0];
  3589. return mexpr_eval(a);
  3590. }
  3591. node_t *mf_C(list_t *t) {
  3592. if (t->length != 1)
  3593. return NULL;
  3594. node_t *a = t->data[0];
  3595. if (!IS_STRING(a))
  3596. return NULL;
  3597. return const_get(a->t->text);
  3598. }
  3599. struct {
  3600. char *name;
  3601. node_t *(*handler)(list_t *);
  3602. } METAFUNCS[] = {{"isExpr", mf_isExpr},
  3603. {"isList", mf_isList},
  3604. {"newName", mf_newName},
  3605. {"newList", mf_newList},
  3606. {"newBlock", mf_newBlock},
  3607. {"newVar", mf_newVar},
  3608. {"len", mf_len},
  3609. {"nth", mf_nth},
  3610. {"E", mf_E},
  3611. {"C", mf_C},
  3612. {NULL, NULL}};
  3613. macro_t *find_macro(char *name, size_t argc, int *res) {
  3614. list_t *ms = macros_get(name);
  3615. if (!ms) {
  3616. if (res)
  3617. *res = 1;
  3618. return NULL;
  3619. }
  3620. macro_t *m = NULL;
  3621. for (size_t i = 0; i < ms->length; i++) {
  3622. macro_t *t = ms->data[i];
  3623. if (t->variable || t->params->length == argc) {
  3624. m = t;
  3625. break;
  3626. }
  3627. }
  3628. if (!m) {
  3629. if (res)
  3630. *res = 2;
  3631. return NULL;
  3632. }
  3633. if (res)
  3634. *res = 0;
  3635. return m;
  3636. }
  3637. typedef struct {
  3638. node_t *mvar;
  3639. int code;
  3640. } mvar_expand_err_t;
  3641. node_t *_expand_mvars(node_t *node, int expr, mvar_expand_err_t *err);
  3642. node_t *run_macro(macro_t *macro, list_t *args);
  3643. node_t *run_mexpr(node_t *node) {
  3644. switch (node->tag) {
  3645. case N_LITERAL:
  3646. switch (node->t->tag) {
  3647. case T_NAME:
  3648. return table_get(list_index(MVARS, -1), node->t->text);
  3649. case T_NUMBER:
  3650. case T_STRING:
  3651. return node;
  3652. default:
  3653. COMPILE_ERROR("not yet implemented");
  3654. }
  3655. break;
  3656. case N_MSTMT: {
  3657. mvar_expand_err_t err = {NULL, 0};
  3658. node_t *n = _expand_mvars(node->a, 1, &err);
  3659. if (!n || err.code != 0)
  3660. return NULL;
  3661. return n;
  3662. } break;
  3663. case N_CALL:
  3664. case N_MACRO_CALL: {
  3665. list_t *args = list_new();
  3666. for (size_t i = 0; i < node->l->length; i++)
  3667. list_push(args, run_mexpr(node->l->data[i]));
  3668. if (node->tag == N_MACRO_CALL) {
  3669. macro_t *m = find_macro(node->t->text, args->length, NULL);
  3670. if (!m)
  3671. return NULL;
  3672. return run_macro(m, args);
  3673. }
  3674. for (size_t i = 0; METAFUNCS[i].name; i++)
  3675. if (strcmp(METAFUNCS[i].name, node->t->text) == 0)
  3676. return METAFUNCS[i].handler(args);
  3677. } break;
  3678. case N_LOGOR:
  3679. if (run_mexpr(node->a) || run_mexpr(node->b))
  3680. return YES;
  3681. case N_LOGAND:
  3682. if (run_mexpr(node->a) && run_mexpr(node->b))
  3683. return YES;
  3684. case N_NEGATE: {
  3685. node_t *a = run_mexpr(node->a);
  3686. return mexpr_negate(a);
  3687. }
  3688. case N_ADD: {
  3689. node_t *a = run_mexpr(node->a);
  3690. node_t *b = run_mexpr(node->b);
  3691. return mexpr_add(a, b);
  3692. }
  3693. case N_SUB: {
  3694. node_t *a = run_mexpr(node->a);
  3695. node_t *b = run_mexpr(node->b);
  3696. return mexpr_sub(a, b);
  3697. }
  3698. case N_MUL: {
  3699. node_t *a = run_mexpr(node->a);
  3700. node_t *b = run_mexpr(node->b);
  3701. return mexpr_mul(a, b);
  3702. }
  3703. case N_DIV: {
  3704. node_t *a = run_mexpr(node->a);
  3705. node_t *b = run_mexpr(node->b);
  3706. return mexpr_div(a, b);
  3707. }
  3708. case N_EQUALS: {
  3709. node_t *a = run_mexpr(node->a);
  3710. node_t *b = run_mexpr(node->b);
  3711. return mexpr_equals(a, b) ? YES : NULL;
  3712. }
  3713. case N_LT: {
  3714. node_t *a = run_mexpr(node->a);
  3715. node_t *b = run_mexpr(node->b);
  3716. return mexpr_less(a, b) ? YES : NULL;
  3717. }
  3718. case N_GT: {
  3719. node_t *a = run_mexpr(node->a);
  3720. node_t *b = run_mexpr(node->b);
  3721. return mexpr_greater(a, b) ? YES : NULL;
  3722. }
  3723. default:
  3724. COMPILE_ERROR("not yet implemented");
  3725. }
  3726. return NULL;
  3727. }
  3728. node_t *run_mnode(node_t *node);
  3729. node_t *run_mnodes(list_t *l) {
  3730. node_t *r = NULL;
  3731. for (size_t i = 0; i < l->length; i++)
  3732. if ((r = run_mnode(l->data[i])))
  3733. break;
  3734. return r;
  3735. }
  3736. node_t *run_mnode(node_t *node) {
  3737. node_t *r = NULL;
  3738. switch (node->tag) {
  3739. case N_MIF:
  3740. if (run_mexpr(node->a))
  3741. r = run_mnodes(node->l);
  3742. else if (node->l2)
  3743. r = run_mnodes(node->l2);
  3744. break;
  3745. case N_MFOR:
  3746. while (run_mexpr(node->a))
  3747. if ((r = run_mnodes(node->l)))
  3748. break;
  3749. break;
  3750. case N_MREPEAT: {
  3751. list_t *l = list_new();
  3752. while (run_mexpr(node->a)) {
  3753. node_t *n = run_mnodes(node->l);
  3754. if (!n)
  3755. return NULL;
  3756. if (IS_EXPR(n))
  3757. n = node1(N_EXPRSTMT, n);
  3758. list_push(l, n);
  3759. }
  3760. r = nodel(N_PROGRAM, l);
  3761. } break;
  3762. case N_MSET:
  3763. table_set(list_index(MVARS, -1), node->t->text, run_mexpr(node->a));
  3764. break;
  3765. case N_MPUSH: {
  3766. node_t *l = table_get(list_index(MVARS, -1), node->t->text);
  3767. if (l && (l->tag == N_LIST || l->tag == N_PROGRAM)) {
  3768. node_t *n = run_mexpr(node->a);
  3769. if (!n)
  3770. break;
  3771. if (IS_EXPR(n)) {
  3772. if (l->tag == N_PROGRAM)
  3773. n = node1(N_EXPRSTMT, n);
  3774. else
  3775. break;
  3776. }
  3777. list_push(l->l, n);
  3778. }
  3779. } break;
  3780. case N_MSTMT:
  3781. r = node->a;
  3782. break;
  3783. case N_MEXPR:
  3784. r = run_mexpr(node->a);
  3785. break;
  3786. default:
  3787. r = node;
  3788. }
  3789. return r;
  3790. }
  3791. list_t *macro_stk;
  3792. size_t expand_depth = 0;
  3793. size_t macro_rlimit = 100;
  3794. node_t *run_macro(macro_t *macro, list_t *args) {
  3795. if (macro_stk->length >= macro_rlimit)
  3796. return NULL;
  3797. list_push(macro_stk, macro);
  3798. table_t *mvars = list_index(MVARS, -1);
  3799. table_set(mvars, "nil", NULL);
  3800. table_set(mvars, "*", nodel(N_LIST, args));
  3801. if (!macro->variable)
  3802. for (size_t i = 0; i < args->length; i++)
  3803. table_set(mvars, ((token_t *)macro->params->data[i])->text,
  3804. args->data[i]);
  3805. node_t *r = NULL;
  3806. for (size_t i = 0; i < macro->body->length; i++) {
  3807. r = run_mnode(macro->body->data[i]);
  3808. if (r)
  3809. break;
  3810. }
  3811. list_pop(macro_stk);
  3812. return r;
  3813. }
  3814. node_t *_expand_mvars(node_t *node, int expr, mvar_expand_err_t *err) {
  3815. if (node->tag == N_LITERAL)
  3816. return node;
  3817. if (node->tag == N_MVAR) {
  3818. char *name = node->t->text;
  3819. err->mvar = node;
  3820. table_t *mvars = list_index(MVARS, -1);
  3821. if (!table_has(mvars, name)) {
  3822. err->code = 1;
  3823. return NULL;
  3824. }
  3825. node_t *n = table_get(mvars, name);
  3826. if (n) {
  3827. if (expr && !IS_EXPR(n)) {
  3828. err->code = 2;
  3829. return NULL;
  3830. }
  3831. if (!expr && IS_EXPR(n))
  3832. n = node1(N_EXPRSTMT, n);
  3833. } else {
  3834. err->code = 3;
  3835. return NULL;
  3836. }
  3837. return n;
  3838. }
  3839. if (node->tag == N_EXPRSTMT) {
  3840. node_t *n = _expand_mvars(node->a, 0, err);
  3841. if (err->code != 0)
  3842. return NULL;
  3843. if (!IS_EXPR(n))
  3844. return n;
  3845. node = node_copy(node);
  3846. node->a = n;
  3847. return node;
  3848. } else if ((node->tag >= N_ADD && node->tag <= N_BAND) ||
  3849. (node->tag >= N_ASSIGN && node->tag <= N_ASSIGN_SHR) || node->tag == N_DECL) {
  3850. node = node_copy(node);
  3851. node->a = _expand_mvars(node->a, 1, err);
  3852. if (err->code != 0)
  3853. return NULL;
  3854. node->b = _expand_mvars(node->b, 1, err);
  3855. if (err->code != 0)
  3856. return NULL;
  3857. return node;
  3858. } else if (node->tag == N_PROGRAM || node->tag == N_BLOCK ||
  3859. node->tag == N_LIST || node->tag == N_TUPLE ||
  3860. node->tag == N_COMMA) {
  3861. node = node_copy(node);
  3862. node->l = list_copy(node->l);
  3863. for (size_t i = 0; i < node->l->length; i++) {
  3864. node_t *n = _expand_mvars(node->l->data[i], 1, err);
  3865. if (err->code != 0)
  3866. return NULL;
  3867. node->l->data[i] = n;
  3868. }
  3869. return node;
  3870. } else if (node->tag == N_IF || node->tag == N_IFEXPR) {
  3871. node = node_copy(node);
  3872. node->a = _expand_mvars(node->a, 1, err);
  3873. if (err->code != 0)
  3874. return NULL;
  3875. node->b = _expand_mvars(node->b, 1, err);
  3876. if (err->code != 0)
  3877. return NULL;
  3878. if (node->c) {
  3879. node->c = _expand_mvars(node->c, 1, err);
  3880. if (err->code != 0)
  3881. return NULL;
  3882. }
  3883. return node;
  3884. } else if (node->tag == N_CALL) {
  3885. node = node_copy(node);
  3886. node->a = _expand_mvars(node->a, 1, err);
  3887. if (err->code != 0)
  3888. return NULL;
  3889. node->l = list_copy(node->l);
  3890. for (size_t i = 0; i < node->l->length; i++) {
  3891. node_t *n = _expand_mvars(node->l->data[i], 1, err);
  3892. if (err->code != 0)
  3893. return NULL;
  3894. node->l->data[i] = n;
  3895. }
  3896. return node;
  3897. } else if (node->tag == N_MACRO_CALL) {
  3898. node = node_copy(node);
  3899. node->l = list_copy(node->l);
  3900. for (size_t i = 0; i < node->l->length; i++) {
  3901. node_t *n = _expand_mvars(node->l->data[i], 1, err);
  3902. if (err->code != 0)
  3903. return NULL;
  3904. node->l->data[i] = n;
  3905. }
  3906. return node;
  3907. } else if (node->tag == N_INC || node->tag == N_DEC || node->tag == N_PINC ||
  3908. node->tag == N_PDEC) {
  3909. node = node_copy(node);
  3910. node->a = _expand_mvars(node->a, 1, err);
  3911. if (err->code != 0)
  3912. return NULL;
  3913. return node;
  3914. }
  3915. err->code = 4;
  3916. return NULL;
  3917. }
  3918. node_t *expand_mvars(node_t *node, node_t *_node, int expr) {
  3919. mvar_expand_err_t err = {NULL, 0};
  3920. node_t *r = _expand_mvars(_node, expr, &err);
  3921. if ((!r || err.code != 0) && err.mvar) {
  3922. COMPILE_NOTE("macro expansion failed");
  3923. node = err.mvar;
  3924. }
  3925. if (err.code == 1) {
  3926. COMPILE_ERROR("undefined macro variable: '%s'", err.mvar->t->text);
  3927. } else if (err.code == 2) {
  3928. COMPILE_ERROR(
  3929. "macro variable '%s' expanded to non-expression in expression context",
  3930. err.mvar->t->text);
  3931. } else if (err.code == 3) {
  3932. COMPILE_ERROR("macro variable '%s' expanded to nil", err.mvar->t->text);
  3933. } else if (err.code == 4) {
  3934. COMPILE_ERROR("macro variable expansion failed because it is not yet "
  3935. "implemented for this context");
  3936. }
  3937. if (!r)
  3938. COMPILE_ERROR("macro variable expansion failed");
  3939. return r;
  3940. }
  3941. void compile_macro_call(buffer_t *gbuf, buffer_t *buf, list_t *ctx,
  3942. table_t *ltab, list_t *lstk, list_t *sstk, list_t *lbl,
  3943. node_t *node, int expr) {
  3944. size_t argc = node->l->length;
  3945. char *name = node->t->text;
  3946. int res = 0;
  3947. macro_t *m = find_macro(name, argc, &res);
  3948. if (!m) {
  3949. if (res == 1) {
  3950. COMPILE_ERROR("undefined macro: '%s'", name);
  3951. } else {
  3952. COMPILE_ERROR("no %d-param candidate found for macro: '%s'", argc, name);
  3953. }
  3954. }
  3955. list_push(MVARS, table_new());
  3956. if (macro_stk->length >= macro_rlimit)
  3957. COMPILE_ERROR("recursion depth limit exceeded while expanding macro: '%s'",
  3958. name);
  3959. node_t *r = run_macro(m, node->l);
  3960. if (r) {
  3961. r = expand_mvars(node, r, expr);
  3962. if (r->tag == N_MACRO_CALL) {
  3963. list_pop(MVARS);
  3964. if (expand_depth >= macro_rlimit)
  3965. COMPILE_ERROR(
  3966. "recursion depth limit exceeded while expanding macro: '%s'", name);
  3967. expand_depth++;
  3968. compile_macro_call(gbuf, buf, ctx, ltab, lstk, sstk, lbl, r, expr);
  3969. expand_depth--;
  3970. return;
  3971. }
  3972. if (expr && !IS_EXPR(r))
  3973. COMPILE_ERROR(
  3974. "macro '%s' expanded to non-expression in expression context", name);
  3975. if (!expr && IS_EXPR(r))
  3976. r = node1(N_EXPRSTMT, r);
  3977. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, r);
  3978. } else
  3979. COMPILE_ERROR("macro '%s' expanded to nil", name);
  3980. list_pop(MVARS);
  3981. }
  3982. void compile_node(buffer_t *gbuf, buffer_t *buf, list_t *ctx, table_t *ltab,
  3983. list_t *lstk, list_t *sstk, list_t *lbl, node_t *node) {
  3984. switch (node->tag) {
  3985. case N_TOPLEVEL:
  3986. case N_PROGRAM:
  3987. compile_block(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->l);
  3988. break;
  3989. case N_EXPRSTMT:
  3990. if (node->a->tag == N_LITERAL && node->a->t->tag != T_NAME)
  3991. break;
  3992. else if (node->a->tag == N_MACRO_CALL) {
  3993. compile_macro_call(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a, 0);
  3994. break;
  3995. }
  3996. EMIT("(void)(");
  3997. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  3998. EMIT(");");
  3999. break;
  4000. case N_BLOCK:
  4001. LBPUSH();
  4002. CTXPUSH("scope");
  4003. list_push(CONSTANTS, table_new());
  4004. list_push(MACROS, table_new());
  4005. EMIT("qi_new_sticky_scope(state);\n");
  4006. compile_block(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->l);
  4007. EMIT("qi_old_scope(state);");
  4008. list_pop(MACROS);
  4009. list_pop(CONSTANTS);
  4010. CTXPOP();
  4011. LBPOP();
  4012. break;
  4013. case N_LITERAL:
  4014. switch (node->t->tag) {
  4015. case T_NUMBER: {
  4016. char *number = node->t->text;
  4017. if (strncmp(number, "0o", 2) == 0 || strncmp(number, "0b", 2) == 0) {
  4018. buffer_t *buf = buffer_new();
  4019. if (number[1] == 'o')
  4020. buffer_fmt(buf, "0%s", number + 2);
  4021. else
  4022. buffer_fmt(buf, "%d", strtol(number + 2, NULL, 2));
  4023. number = buffer_read(buf);
  4024. } else if (number[0] == '0' && number[1] && isdigit(number[1])) {
  4025. size_t i;
  4026. for (i = 0; i < strlen(number); i++)
  4027. if (number[i] != '0' || number[i + 1] == '.')
  4028. break;
  4029. number += i;
  4030. }
  4031. EMIT("qi_make_number(state, %s)", number);
  4032. } break;
  4033. case T_STRING:
  4034. if (!*(node->t->text)) {
  4035. EMIT("state->empty_string");
  4036. } else {
  4037. EMIT("qi_make_string(state, \"%s\")", node->t->text);
  4038. }
  4039. break;
  4040. case T_FSTRING: {
  4041. char *text = node->t->text;
  4042. if (!*text) {
  4043. EMIT("state->empty_string");
  4044. break;
  4045. }
  4046. list_t *parts = list_new();
  4047. buffer_t *tbuf = buffer_new();
  4048. for (size_t i = 0; i < strlen(text); i++) {
  4049. char c = text[i];
  4050. if (c == '$' && text[i + 1] == '$') {
  4051. buffer_append(tbuf, '$');
  4052. i++;
  4053. continue;
  4054. } else if (c == '$' && text[i + 1] == '{') {
  4055. i += 2;
  4056. buffer_t *tbuf2 = buffer_new();
  4057. while (text[i] && text[i] != '}')
  4058. buffer_append(tbuf2, text[i++]);
  4059. if (text[i] != '}') {
  4060. i--;
  4061. buffer_appends(tbuf, "${");
  4062. buffer_appendb(tbuf, tbuf2);
  4063. continue;
  4064. }
  4065. if (tbuf->size > 0)
  4066. list_push(parts, nodeb(tbuf));
  4067. tbuf = buffer_new();
  4068. char *source = unescape(buffer_read(tbuf2));
  4069. list_t *pair = list_new();
  4070. buffer_t *fname = buffer_new();
  4071. size_t line, col;
  4072. (void)traverse(GETSRC(node->fi), node->pos, &line, &col);
  4073. buffer_fmt(fname, "<fstring at %s:%zu:%zu>", GETFNAME(node->fi), line,
  4074. col);
  4075. list_push(pair, buffer_read(fname));
  4076. list_push(pair, source);
  4077. list_push(FILES, pair);
  4078. list_t *tokens = tokenize(source);
  4079. size_t pos = 0;
  4080. node_t *n = parse_expr(tokens, &pos);
  4081. if (pos != tokens->length - 1)
  4082. COMPILE_ERROR("unconsumed input in f-expr");
  4083. list_push(parts, n);
  4084. } else
  4085. buffer_append(tbuf, c);
  4086. }
  4087. if (tbuf->size > 0)
  4088. list_push(parts, nodeb(tbuf));
  4089. tbuf = buffer_new();
  4090. NEWGID();
  4091. buffer_fmt(tbuf,
  4092. "inline static qi_value_t *__%s%d(qi_state_t *state) {\n",
  4093. PREFIX, gid);
  4094. buffer_fmt(tbuf, "qi_value_t *str = state->empty_string;\n");
  4095. for (size_t i = 0; i < parts->length; i++) {
  4096. node_t *part = parts->data[i];
  4097. buffer_fmt(tbuf, "str = qi_add(state, str, ");
  4098. if (part->tag == N_BUFFER)
  4099. buffer_fmt(tbuf, "qi_make_string(state, \"%s\")",
  4100. buffer_read(part->buf));
  4101. else {
  4102. buffer_fmt(tbuf, "qi_to_string(state, ");
  4103. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, part);
  4104. buffer_fmt(tbuf, ")");
  4105. }
  4106. buffer_fmt(tbuf, ");\n");
  4107. }
  4108. buffer_fmt(tbuf, "return str;\n}\n");
  4109. buffer_appendb(gbuf, tbuf);
  4110. EMIT("__%s%d(state)", PREFIX, gid);
  4111. } break;
  4112. case T_USTRING:
  4113. EMIT("qi_call(state, qi_get(state, \"ustr\"), "
  4114. "qi_list_push(qi_list_make(), qi_make_string(state, \"%s\")))",
  4115. node->t->text);
  4116. break;
  4117. case T_NAME: {
  4118. char *name = node->t->text;
  4119. node_t *n = const_get(name);
  4120. if (n)
  4121. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, n);
  4122. else
  4123. EMIT("qi_get(state, \"%s\")", name);
  4124. } break;
  4125. case T_TRUE:
  4126. EMIT("state->_true");
  4127. break;
  4128. case T_FALSE:
  4129. EMIT("state->_false");
  4130. break;
  4131. case T_NIL:
  4132. EMIT("state->nil");
  4133. break;
  4134. default:
  4135. COMPILE_ERROR("not yet implemented");
  4136. }
  4137. break;
  4138. case N_COMMA:
  4139. EMIT("(");
  4140. for (size_t i = 0; i < node->l->length; i++) {
  4141. if (i != 0)
  4142. EMIT(", ");
  4143. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->l->data[i]);
  4144. }
  4145. EMIT(")");
  4146. break;
  4147. case N_LIST:
  4148. EMIT("qi_make_list(state, ");
  4149. compile_list(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->l);
  4150. EMIT(")");
  4151. break;
  4152. case N_LISTGEN: {
  4153. NEWGID();
  4154. buffer_t *tbuf = buffer_new();
  4155. buffer_fmt(tbuf, "inline static qi_value_t *__%s%d(qi_state_t *state) {\n",
  4156. PREFIX, gid);
  4157. buffer_fmt(tbuf, "qi_list_t *list = qi_list_make();\n");
  4158. buffer_t *bbuf = buffer_new();
  4159. CTXPUSH("scope");
  4160. buffer_fmt(tbuf, "qi_new_scope(state);\n");
  4161. if (node->b) {
  4162. buffer_fmt(bbuf, "if (_qi_truthy(state, ");
  4163. compile_node(gbuf, bbuf, ctx, ltab, lstk, sstk, lbl, node->b);
  4164. buffer_fmt(bbuf, ")) {\n");
  4165. }
  4166. for (size_t i = 0; i < node->a->b->l->length; i++) {
  4167. buffer_fmt(bbuf, "qi_list_push(list, ");
  4168. compile_node(gbuf, bbuf, ctx, ltab, lstk, sstk, lbl,
  4169. node->a->b->l->data[i]);
  4170. buffer_fmt(bbuf, ");\n");
  4171. }
  4172. if (node->b)
  4173. buffer_fmt(bbuf, "}\n");
  4174. node->a->b = nodeb(bbuf);
  4175. node->a->t2 = NULL;
  4176. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->a);
  4177. CTXPOP();
  4178. buffer_fmt(tbuf, "qi_old_scope(state);\n");
  4179. buffer_fmt(tbuf, "return qi_make_list(state, list);\n}\n");
  4180. buffer_appendb(gbuf, tbuf);
  4181. EMIT("__%s%d(state)", PREFIX, gid);
  4182. } break;
  4183. case N_TABLEGEN: {
  4184. NEWGID();
  4185. buffer_t *tbuf = buffer_new();
  4186. buffer_fmt(tbuf, "inline static qi_value_t *__%s%d(qi_state_t *state) {\n",
  4187. PREFIX, gid);
  4188. buffer_fmt(tbuf, "qi_table_t *table = qi_table_make();\n");
  4189. buffer_t *bbuf = buffer_new();
  4190. CTXPUSH("scope");
  4191. buffer_fmt(tbuf, "qi_new_scope(state);\n");
  4192. if (node->b) {
  4193. buffer_fmt(bbuf, "if (_qi_truthy(state, ");
  4194. compile_node(gbuf, bbuf, ctx, ltab, lstk, sstk, lbl, node->b);
  4195. buffer_fmt(bbuf, ")) {\n");
  4196. }
  4197. for (size_t i = 0; i < node->a->b->l->length; i++) {
  4198. list_t *pair = node->a->b->l->data[i];
  4199. buffer_fmt(bbuf, "qi_table_set(table, qi_to_string(state, ");
  4200. compile_node(gbuf, bbuf, ctx, ltab, lstk, sstk, lbl, pair->data[0]);
  4201. buffer_fmt(bbuf, ")->value.string, ");
  4202. compile_node(gbuf, bbuf, ctx, ltab, lstk, sstk, lbl, pair->data[1]);
  4203. buffer_fmt(bbuf, ");\n");
  4204. }
  4205. if (node->b)
  4206. buffer_fmt(bbuf, "}\n");
  4207. node->a->b = nodeb(bbuf);
  4208. node->a->t2 = NULL;
  4209. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->a);
  4210. CTXPOP();
  4211. buffer_fmt(tbuf, "qi_old_scope(state);\n");
  4212. buffer_fmt(tbuf, "return qi_make_table(state, table);\n}\n");
  4213. buffer_appendb(gbuf, tbuf);
  4214. EMIT("__%s%d(state)", PREFIX, gid);
  4215. } break;
  4216. case N_TUPLE:
  4217. EMIT("qi_make_tuple(state, ");
  4218. compile_list(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->l);
  4219. EMIT(")");
  4220. break;
  4221. case N_NILTUPLE:
  4222. EMIT("state->empty_tuple");
  4223. break;
  4224. case N_TABLE:
  4225. EMIT("qi_make_table(state, ");
  4226. compile_pairs(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->l);
  4227. EMIT(")");
  4228. break;
  4229. case N_CALL:
  4230. if (DEBUG) {
  4231. EMIT("qi_call_debug(state, ");
  4232. } else {
  4233. EMIT("qi_call(state, ");
  4234. }
  4235. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  4236. EMIT(", ");
  4237. compile_list(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->l);
  4238. if (DEBUG)
  4239. buffer_fmt(buf, ", __debugData[%d]", insert_debug(node));
  4240. EMIT(")");
  4241. break;
  4242. case N_MEMBER:
  4243. EMIT("qi_index(state, ");
  4244. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  4245. EMIT(", qi_make_string(state, \"%s\"))", node->t->text);
  4246. break;
  4247. case N_INDEX:
  4248. EMIT("qi_index(state, ");
  4249. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  4250. EMIT(", ");
  4251. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b);
  4252. EMIT(")");
  4253. break;
  4254. case N_SLICE: {
  4255. NEWGID();
  4256. buffer_t *tbuf = buffer_new();
  4257. buffer_fmt(tbuf, "inline static qi_value_t *__%s%d(qi_state_t *state) {\n",
  4258. PREFIX, gid);
  4259. if (node->b && node->c) {
  4260. buffer_fmt(tbuf, "qi_list_t *pargs = qi_list_make_n(3);\n");
  4261. buffer_fmt(tbuf, "qi_list_data(pargs, 0) = ");
  4262. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->a);
  4263. buffer_fmt(tbuf, ";\n");
  4264. buffer_fmt(tbuf, "qi_list_data(pargs, 1) = ");
  4265. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->b);
  4266. buffer_fmt(tbuf, ";\n");
  4267. buffer_fmt(tbuf, "qi_list_data(pargs, 2) = ");
  4268. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->c);
  4269. buffer_fmt(tbuf, ";\n");
  4270. } else if (node->b) {
  4271. buffer_fmt(tbuf, "qi_list_t *pargs = qi_list_make_n(2);\n");
  4272. buffer_fmt(tbuf, "qi_list_data(pargs, 0) = ");
  4273. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->a);
  4274. buffer_fmt(tbuf, ";\n");
  4275. buffer_fmt(tbuf, "qi_list_data(pargs, 1) = ");
  4276. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->b);
  4277. buffer_fmt(tbuf, ";\n");
  4278. } else {
  4279. buffer_fmt(tbuf, "qi_list_t *pargs = qi_list_make_n(3);\n");
  4280. buffer_fmt(tbuf, "qi_list_data(pargs, 0) = ");
  4281. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->a);
  4282. buffer_fmt(tbuf, ";\n");
  4283. buffer_fmt(tbuf, "qi_list_data(pargs, 1) = state->zero;\n");
  4284. buffer_fmt(tbuf, "qi_list_data(pargs, 2) = ");
  4285. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->c);
  4286. buffer_fmt(tbuf, ";\n");
  4287. }
  4288. buffer_fmt(tbuf,
  4289. "return qi_call(state, qi_get(state, \"__slice\"), pargs);\n");
  4290. buffer_fmt(tbuf, "}\n");
  4291. buffer_appendb(gbuf, tbuf);
  4292. EMIT("__%s%d(state)", PREFIX, gid);
  4293. } break;
  4294. case N_DECL:
  4295. case N_ASSIGN:
  4296. if (node->a->tag == N_LIST) {
  4297. if (node->a->l->length < 2)
  4298. COMPILE_ERROR("illegal unpack assignment left-hand side");
  4299. NEWGID();
  4300. buffer_t *tbuf = buffer_new();
  4301. buffer_fmt(tbuf,
  4302. "inline static qi_value_t *__%s%d(qi_state_t *state) {\n",
  4303. PREFIX, gid);
  4304. char *varname = tempvar();
  4305. buffer_fmt(tbuf, "qi_value_t *%s = ", varname);
  4306. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->b);
  4307. buffer_fmt(tbuf, ";\n");
  4308. for (size_t i = 0; i < node->a->l->length; i++) {
  4309. if (node->tag == N_DECL) {
  4310. DECLIN(tbuf, (node_t *)node->a->l->data[i],
  4311. buffer_fmt(tbuf,
  4312. "qi_index(state, %s, qi_make_number(state, %d))",
  4313. varname, i));
  4314. } else {
  4315. ASSIGNIN(tbuf, (node_t *)node->a->l->data[i],
  4316. buffer_fmt(tbuf,
  4317. "qi_index(state, %s, qi_make_number(state, %d))",
  4318. varname, i),
  4319. false);
  4320. }
  4321. buffer_fmt(tbuf, ";\n");
  4322. }
  4323. buffer_fmt(tbuf, "return %s;\n}\n", varname);
  4324. buffer_appendb(gbuf, tbuf);
  4325. EMIT("__%s%d(state)", PREFIX, gid);
  4326. break;
  4327. } else if (node->a->tag == N_TUPLE) {
  4328. if (node->a->l->length < 2)
  4329. COMPILE_ERROR("illegal multiple assignment left-hand side");
  4330. if (node->b->tag != N_TUPLE || node->b->l->length < 2 ||
  4331. node->a->l->length != node->b->l->length)
  4332. COMPILE_ERROR("illegal multiple assignment right-hand side");
  4333. NEWGID();
  4334. buffer_t *tbuf = buffer_new();
  4335. buffer_fmt(tbuf, "qi_value_t *__%s%d(qi_state_t *state) {\n", PREFIX,
  4336. gid);
  4337. list_t *vals = list_new();
  4338. for (size_t i = 0; i < node->b->l->length; i++) {
  4339. char *varname = tempvar();
  4340. buffer_fmt(tbuf, "qi_value_t *%s = ", varname);
  4341. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl,
  4342. node->b->l->data[i]);
  4343. buffer_fmt(tbuf, ";\n");
  4344. list_push(vals, varname);
  4345. }
  4346. for (size_t i = 0; i < node->a->l->length; i++) {
  4347. char *varname = vals->data[i];
  4348. if (node->tag == N_DECL) {
  4349. DECLIN(tbuf, (node_t *)node->a->l->data[i],
  4350. buffer_fmt(tbuf, "%s", varname));
  4351. } else {
  4352. ASSIGNIN(tbuf, (node_t *)node->a->l->data[i],
  4353. buffer_fmt(tbuf, "%s", varname), false);
  4354. }
  4355. buffer_fmt(tbuf, ";\n");
  4356. }
  4357. buffer_fmt(tbuf, "return %s;\n}\n", vals->data[vals->length - 1]);
  4358. buffer_appendb(gbuf, tbuf);
  4359. EMIT("__%s%d(state)", PREFIX, gid);
  4360. break;
  4361. }
  4362. if (node->tag == N_DECL) {
  4363. DECL(node->a, compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4364. } else {
  4365. ASSIGN(node->a, compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4366. }
  4367. break;
  4368. case N_ASSIGN_ADD:
  4369. COMPASSIGN(node->a, "add",
  4370. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4371. break;
  4372. case N_ASSIGN_SUB:
  4373. COMPASSIGN(node->a, "sub",
  4374. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4375. break;
  4376. case N_ASSIGN_MUL:
  4377. COMPASSIGN(node->a, "mul",
  4378. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4379. break;
  4380. case N_ASSIGN_DIV:
  4381. COMPASSIGN(node->a, "div",
  4382. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4383. break;
  4384. case N_ASSIGN_IDIV:
  4385. COMPASSIGN(node->a, "idiv",
  4386. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4387. break;
  4388. case N_ASSIGN_MOD:
  4389. COMPASSIGN(node->a, "mod",
  4390. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4391. break;
  4392. case N_ASSIGN_POW:
  4393. COMPASSIGN(node->a, "pow",
  4394. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4395. break;
  4396. case N_ASSIGN_BOR:
  4397. COMPASSIGN(node->a, "bor",
  4398. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4399. break;
  4400. case N_ASSIGN_BAND:
  4401. COMPASSIGN(node->a, "band",
  4402. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4403. break;
  4404. case N_ASSIGN_XOR:
  4405. COMPASSIGN(node->a, "xor",
  4406. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4407. break;
  4408. case N_ASSIGN_SHL:
  4409. COMPASSIGN(node->a, "shl",
  4410. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4411. break;
  4412. case N_ASSIGN_SHR:
  4413. COMPASSIGN(node->a, "shr",
  4414. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b));
  4415. break;
  4416. case N_INC:
  4417. COMPASSIGN(node->a, "add", EMIT("state->one"));
  4418. break;
  4419. case N_DEC:
  4420. COMPASSIGN(node->a, "sub", EMIT("state->one"));
  4421. break;
  4422. case N_PINC:
  4423. COMPASSIGNP(node->a, "add", EMIT("state->one"));
  4424. break;
  4425. case N_PDEC:
  4426. COMPASSIGNP(node->a, "sub", EMIT("state->one"));
  4427. break;
  4428. case N_VAR:
  4429. case N_LET:
  4430. table_iterate(node->h, {
  4431. EMIT("qi_%s(state, \"%s\", ", node->tag == N_LET ? "decl_const" : "decl",
  4432. entry.key);
  4433. if (entry.value)
  4434. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, entry.value);
  4435. else
  4436. EMIT("state->nil");
  4437. EMIT(");\n");
  4438. });
  4439. break;
  4440. case N_VARUNPACK:
  4441. case N_LETUNPACK: {
  4442. char *varname = tempvar();
  4443. EMIT("qi_value_t *%s = ", varname);
  4444. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  4445. EMIT(";\n");
  4446. for (size_t i = 0; i < node->l->length; i++)
  4447. EMIT("%s(state, \"%s\", qi_index(state, %s, qi_make_number(state, "
  4448. "%d)));\n",
  4449. node->tag == N_VARUNPACK ? "qi_decl" : "qi_decl_const",
  4450. node->l->data[i], varname, i);
  4451. } break;
  4452. case N_CONST:
  4453. break;
  4454. case N_IF:
  4455. CTXPUSH("scope");
  4456. EMIT("qi_new_scope(state);\n");
  4457. EMIT("if (_qi_truthy(state, ");
  4458. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  4459. EMIT(")) {\n");
  4460. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b);
  4461. if (node->c) {
  4462. EMIT("} else {\n");
  4463. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->c);
  4464. }
  4465. EMIT("}\n");
  4466. CTXPOP();
  4467. EMIT("qi_old_scope(state);\n");
  4468. break;
  4469. case N_SWITCH: {
  4470. NEWGID();
  4471. CTXPUSH("scope");
  4472. EMIT("qi_new_scope(state);\n");
  4473. if (node->t2) {
  4474. if (table_get(ltab, node->t2->text))
  4475. COMPILE_ERROR("redeclaration of loop label: '%s'", node->t2->text);
  4476. int_stack_t *triple = stack_new();
  4477. stack_push(triple, 1);
  4478. stack_push(triple, gid);
  4479. stack_push(triple, scope_index(ctx));
  4480. table_set(ltab, node->t2->text, triple);
  4481. }
  4482. char *varname = tempvar();
  4483. EMIT("qi_value_t *%s = ", varname);
  4484. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  4485. EMIT(";\n");
  4486. for (size_t i = 0; i < node->l->length; i++) {
  4487. list_t *pair = node->l->data[i];
  4488. if (!pair->data[0])
  4489. continue;
  4490. char *label = tempvar();
  4491. EMIT("if (_qi_equals(state, %s, ", varname);
  4492. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, pair->data[0]);
  4493. EMIT(")) goto %s;\n", label);
  4494. pair->data[0] = label;
  4495. }
  4496. EMIT("goto __default%d;\n", gid);
  4497. SPUSH(gid);
  4498. CTXPUSH("switch");
  4499. int has_default = 0;
  4500. for (size_t i = 0; i < node->l->length; i++) {
  4501. list_t *pair = node->l->data[i];
  4502. char *label = pair->data[0];
  4503. node_t *block = pair->data[1];
  4504. if (!label) {
  4505. EMIT("__default%d:;\n", gid);
  4506. has_default = 1;
  4507. } else {
  4508. EMIT("%s:;\n", label);
  4509. }
  4510. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, block);
  4511. }
  4512. CTXPOP();
  4513. CTXPOP();
  4514. SPOP();
  4515. if (!has_default) {
  4516. EMIT("__default%d:;\n", gid);
  4517. }
  4518. EMIT("__break%d:;\n", gid);
  4519. EMIT("qi_old_scope(state);\n");
  4520. } break;
  4521. case N_FOR: {
  4522. NEWGID();
  4523. CTXPUSH("scope");
  4524. EMIT("qi_new_scope(state);\n");
  4525. if (node->t2) {
  4526. if (table_get(ltab, node->t2->text))
  4527. COMPILE_ERROR("redeclaration of loop label: '%s'", node->t2->text);
  4528. int_stack_t *triple = stack_new();
  4529. stack_push(triple, 0);
  4530. stack_push(triple, gid);
  4531. stack_push(triple, scope_index(ctx));
  4532. table_set(ltab, node->t2->text, triple);
  4533. }
  4534. if (!node->a) {
  4535. EMIT("for (;;) {\n");
  4536. } else if (node->a && !node->b) {
  4537. EMIT("while (_qi_truthy(state, ");
  4538. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  4539. EMIT(")) {\n");
  4540. } else {
  4541. node_t *a = node->a;
  4542. if (IS_EXPR(a))
  4543. a = node1(N_EXPRSTMT, a);
  4544. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, a);
  4545. EMIT("while (_qi_truthy(state, ");
  4546. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b);
  4547. EMIT(")) {\n");
  4548. }
  4549. CTXPUSH("scope");
  4550. EMIT("qi_new_scope(state);\n");
  4551. LPUSH(gid);
  4552. CTXPUSH("for");
  4553. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->d);
  4554. EMIT("__continue%d:;\n", gid);
  4555. if (node->c) {
  4556. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->c);
  4557. EMIT(";\n");
  4558. }
  4559. CTXPOP();
  4560. LPOP();
  4561. CTXPOP();
  4562. EMIT("qi_old_scope(state);\n");
  4563. EMIT("}\n");
  4564. EMIT("goto __exit%d;\n", gid);
  4565. EMIT("__break%d:;\n", gid);
  4566. EMIT("qi_old_scope(state);\n");
  4567. EMIT("__exit%d:;\n", gid);
  4568. CTXPOP();
  4569. EMIT("qi_old_scope(state);\n");
  4570. } break;
  4571. case N_FOROF:
  4572. case N_FOROFVAR:
  4573. case N_FOROFUNPACK:
  4574. case N_FOROFVARUNPACK: {
  4575. NEWGID();
  4576. CTXPUSH("scope");
  4577. EMIT("qi_new_scope(state);\n");
  4578. if (node->t2) {
  4579. if (table_get(ltab, node->t2->text))
  4580. COMPILE_ERROR("redeclaration of loop label: '%s'", node->t2->text);
  4581. int_stack_t *triple = stack_new();
  4582. stack_push(triple, 0);
  4583. stack_push(triple, gid);
  4584. stack_push(triple, scope_index(ctx));
  4585. table_set(ltab, node->t2->text, triple);
  4586. }
  4587. char *varname = tempvar();
  4588. EMIT("qi_value_t *%s = qi_iter(state, ", varname);
  4589. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  4590. EMIT(");\n");
  4591. if (node->tag == N_FOROFVAR) {
  4592. EMIT("qi_decl(state, \"%s\", state->nil);\n", node->t->text);
  4593. } else if (node->tag == N_FOROFVARUNPACK) {
  4594. for (size_t i = 0; i < node->l->length; i++)
  4595. EMIT("qi_decl(state, \"%s\", state->nil);\n", node->l->data[i]);
  4596. }
  4597. EMIT("for (qi_size_t length = _qi_length(state, %s), i = 0; i < length; "
  4598. "i++) {\n",
  4599. varname);
  4600. if (node->tag == N_FOROFUNPACK || node->tag == N_FOROFVARUNPACK) {
  4601. for (size_t i = 0; i < node->l->length; i++)
  4602. EMIT("qi_set(state, false, \"%s\", qi_index(state, qi_index(state, %s, "
  4603. "qi_make_number(state, i)), qi_make_number(state, %d)));\n",
  4604. node->l->data[i], varname, i);
  4605. } else
  4606. EMIT("qi_set(state, false, \"%s\", qi_index(state, %s, "
  4607. "qi_make_number(state, i)));\n",
  4608. node->t->text, varname);
  4609. CTXPUSH("scope");
  4610. EMIT("qi_new_scope(state);\n");
  4611. LPUSH(gid);
  4612. CTXPUSH("for");
  4613. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b);
  4614. CTXPOP();
  4615. LPOP();
  4616. EMIT("__continue%d:;\n", gid);
  4617. CTXPOP();
  4618. EMIT("qi_old_scope(state);\n");
  4619. EMIT("}\n");
  4620. EMIT("goto __exit%d;\n", gid);
  4621. EMIT("__break%d:;\n", gid);
  4622. EMIT("qi_old_scope(state);\n");
  4623. EMIT("__exit%d:;\n", gid);
  4624. CTXPOP();
  4625. EMIT("qi_old_scope(state);\n");
  4626. } break;
  4627. case N_BREAK: {
  4628. if (!INCTX("for") && !INCTX("switch"))
  4629. COMPILE_ERROR("break outside of a loop or a switch");
  4630. if (node->t) {
  4631. if (node->t->tag == T_NUMBER) {
  4632. unsigned int offset = abs(atoi(node->t->text)) + 1;
  4633. if (offset < 2 || offset > lstk->length)
  4634. COMPILE_ERROR("%d is not a valid break loop offset", offset - 1);
  4635. int_stack_t *pair = lstk->data[lstk->length - offset];
  4636. size_t scopes_k = count_scopes(ctx, pair->data[1]);
  4637. for (size_t i = 0; i < scopes_k; i++) {
  4638. EMIT("qi_old_scope(state);\n");
  4639. }
  4640. EMIT("goto __break%d;", pair->data[0]);
  4641. } else {
  4642. char *label = node->t->text;
  4643. int_stack_t *triple = table_get(ltab, label);
  4644. if (!triple)
  4645. COMPILE_ERROR("undefined loop label: '%s'", label);
  4646. size_t scopes_k = count_scopes(ctx, triple->data[2]);
  4647. for (size_t i = 0; i < scopes_k; i++) {
  4648. EMIT("qi_old_scope(state);\n");
  4649. }
  4650. EMIT("goto __break%d;", triple->data[1]);
  4651. }
  4652. break;
  4653. }
  4654. size_t gid;
  4655. int_stack_t *pair;
  4656. if (in_switch(ctx)) {
  4657. pair = sstk->data[sstk->length - 1];
  4658. gid = pair->data[0];
  4659. } else {
  4660. pair = lstk->data[lstk->length - 1];
  4661. gid = pair->data[0];
  4662. }
  4663. size_t scopes_k = count_scopes(ctx, pair->data[1]);
  4664. for (size_t i = 0; i < scopes_k; i++) {
  4665. EMIT("qi_old_scope(state);\n");
  4666. }
  4667. EMIT("goto __break%d;", gid);
  4668. } break;
  4669. case N_CONTINUE: {
  4670. if (!INCTX("for"))
  4671. COMPILE_ERROR("continue outside of a loop");
  4672. if (node->t) {
  4673. if (node->t->tag == T_NUMBER) {
  4674. unsigned int offset = abs(atoi(node->t->text)) + 1;
  4675. if (offset < 2 || offset > lstk->length)
  4676. COMPILE_ERROR("%d is not a valid break loop offset", offset - 1);
  4677. int_stack_t *pair = lstk->data[lstk->length - offset];
  4678. size_t scopes_k = count_scopes(ctx, pair->data[1]);
  4679. for (size_t i = 0; i < scopes_k; i++) {
  4680. EMIT("qi_old_scope(state);\n");
  4681. }
  4682. EMIT("goto __continue%d;", pair->data[0]);
  4683. } else {
  4684. char *label = node->t->text;
  4685. int_stack_t *triple = table_get(ltab, label);
  4686. if (!triple)
  4687. COMPILE_ERROR("undefined loop label: '%s'", label);
  4688. if (triple->data[0])
  4689. COMPILE_ERROR("continue on a switch loop label: '%s'", label);
  4690. size_t scopes_k = count_scopes(ctx, triple->data[2]);
  4691. for (size_t i = 0; i < scopes_k; i++) {
  4692. EMIT("qi_old_scope(state);\n");
  4693. }
  4694. EMIT("goto __continue%d;", triple->data[1]);
  4695. }
  4696. break;
  4697. }
  4698. int_stack_t *pair = lstk->data[lstk->length - 1];
  4699. size_t gid = pair->data[0];
  4700. size_t scopes_k = count_scopes(ctx, pair->data[1]);
  4701. for (size_t i = 0; i < scopes_k; i++) {
  4702. EMIT("qi_old_scope(state);\n");
  4703. }
  4704. EMIT("goto __continue%d;", gid);
  4705. } break;
  4706. case N_DEFER: {
  4707. NEWGID();
  4708. buffer_t *tbuf = buffer_new();
  4709. buffer_fmt(tbuf, "void __%s%d(qi_state_t *state) {\n", PREFIX, gid);
  4710. LBPUSH();
  4711. CTXPUSH("gap");
  4712. list_push(CONSTANTS, table_new());
  4713. list_push(MACROS, table_new());
  4714. compile_node(gbuf, tbuf, ctx, table_new(), list_new(), list_new(), lbl,
  4715. node->a);
  4716. list_pop(MACROS);
  4717. list_pop(CONSTANTS);
  4718. CTXPOP();
  4719. LBPOP();
  4720. buffer_fmt(tbuf, "\n}\n");
  4721. buffer_appendb(gbuf, tbuf);
  4722. EMIT("qi_add_defer(state, -1, __%s%d);", PREFIX, gid);
  4723. } break;
  4724. case N_RETURN: {
  4725. if (!INCTX("func"))
  4726. COMPILE_ERROR("return outside of a function");
  4727. char *varname = NULL;
  4728. if (node->a) {
  4729. varname = tempvar();
  4730. EMIT("qi_value_t *%s = ", varname);
  4731. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  4732. EMIT(";\n");
  4733. }
  4734. for (size_t i = 0; i < SCOPESK; i++)
  4735. EMIT("qi_old_scope(state);\n");
  4736. for (size_t i = 0; i < TRAPSK; i++)
  4737. EMIT("qi_unset_trap(state, trap);\n");
  4738. EMIT("return %s;", varname ? varname : "state->nil");
  4739. } break;
  4740. case N_FUNCDEF:
  4741. break;
  4742. case N_CLASS:
  4743. break;
  4744. case N_PASS:
  4745. break;
  4746. case N_DEL:
  4747. EMIT("qi_del(state, ");
  4748. if (node->a->tag == N_INDEX) {
  4749. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a->a);
  4750. EMIT(", ");
  4751. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a->b);
  4752. } else if (node->a->tag == N_MEMBER) {
  4753. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a->a);
  4754. EMIT(", qi_make_string(state, \"%s\")", node->a->t->text);
  4755. } else
  4756. COMPILE_ERROR("not a index/member expression");
  4757. EMIT(");");
  4758. break;
  4759. case N_WITH: {
  4760. NEWGID();
  4761. char *varname = tempvar();
  4762. buffer_fmt(gbuf, "qi_value_t *%s;\n", varname);
  4763. buffer_t *tbuf = buffer_new();
  4764. buffer_fmt(tbuf, "void __%s%d(qi_state_t *state) {\n", PREFIX, gid);
  4765. buffer_fmt(tbuf,
  4766. "qi_call(state, qi_index(state, %s, qi_make_string(state, "
  4767. "\"__leave\")), qi_list_push(qi_list_make(), %s));\n",
  4768. varname, varname);
  4769. buffer_fmt(tbuf, "}\n");
  4770. buffer_appendb(gbuf, tbuf);
  4771. EMIT("%s = ", varname);
  4772. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  4773. EMIT(";\n");
  4774. EMIT("qi_call(state, qi_index(state, %s, qi_make_string(state, "
  4775. "\"__enter\")), qi_list_push(qi_list_make(), %s));\n",
  4776. varname, varname);
  4777. CTXPUSH("scope");
  4778. EMIT("qi_new_scope(state);\n");
  4779. EMIT("qi_add_local_defer(state, 0, __%s%d);\n", PREFIX, gid);
  4780. EMIT("qi_decl(state, \"%s\", %s);\n", node->t->text, varname);
  4781. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b);
  4782. CTXPOP();
  4783. EMIT("qi_old_scope(state);\n");
  4784. } break;
  4785. case N_TRY:
  4786. EMIT("qi_try(state, {\n");
  4787. LBPUSH();
  4788. CTXPUSH("gap");
  4789. CTXPUSH("trap");
  4790. compile_node(gbuf, buf, ctx, table_new(), list_new(), list_new(), lbl,
  4791. node->a);
  4792. CTXPOP();
  4793. CTXPOP();
  4794. LBPOP();
  4795. EMIT("}, {\n");
  4796. if (node->t)
  4797. EMIT("qi_decl(state, \"%s\", trap->value);\n", node->t->text);
  4798. LBPUSH();
  4799. CTXPUSH("gap");
  4800. compile_node(gbuf, buf, ctx, table_new(), list_new(), list_new(), lbl,
  4801. node->b);
  4802. CTXPOP();
  4803. LBPOP();
  4804. if (node->c) {
  4805. NEWGID();
  4806. buffer_t *tbuf = buffer_new();
  4807. buffer_fmt(tbuf, "void __%s%d(qi_state_t *state) {\n", PREFIX, gid);
  4808. LBPUSH();
  4809. CTXPUSH("gap");
  4810. compile_node(gbuf, tbuf, ctx, table_new(), list_new(), list_new(), lbl,
  4811. node->c);
  4812. CTXPOP();
  4813. LBPOP();
  4814. buffer_fmt(tbuf, "\n}\n");
  4815. buffer_appendb(gbuf, tbuf);
  4816. EMIT("}, __%s%d);\n", PREFIX, gid);
  4817. } else {
  4818. EMIT("}, NULL);\n");
  4819. }
  4820. break;
  4821. case N_THROW:
  4822. if (!node->a) {
  4823. EMIT("qi_throw(state, state->nil);");
  4824. } else if (DEBUG) {
  4825. char *varname = tempvar();
  4826. EMIT("qi_value_t *%s = ", varname);
  4827. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  4828. EMIT(";\n");
  4829. emit_debug(buf, node);
  4830. EMIT("qi_throw(state, %s);", varname);
  4831. } else {
  4832. EMIT("qi_throw(state, ");
  4833. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  4834. EMIT(");");
  4835. }
  4836. break;
  4837. case N_CATCH: {
  4838. NEWGID();
  4839. buffer_t *tbuf = buffer_new();
  4840. buffer_fmt(tbuf, "qi_value_t *__%s%d(qi_state_t *state) {\n", PREFIX, gid);
  4841. char *varname1 = tempvar();
  4842. char *varname2 = tempvar();
  4843. buffer_fmt(tbuf, "qi_value_t *%s = state->nil;\n", varname1);
  4844. buffer_fmt(tbuf, "qi_value_t *%s = state->nil;\n", varname2);
  4845. buffer_fmt(tbuf, "qi_try(state, {\n");
  4846. buffer_fmt(tbuf, "%s = ", varname1);
  4847. compile_node(gbuf, tbuf, ctx, ltab, lstk, sstk, lbl, node->a);
  4848. buffer_fmt(tbuf, ";\n}, {\n");
  4849. buffer_fmt(tbuf, "%s = trap->value;\n", varname2);
  4850. buffer_fmt(tbuf, "}, NULL);\n");
  4851. char *varname3 = tempvar();
  4852. buffer_fmt(tbuf, "qi_list_t *%s = qi_list_make_n(2);\n", varname3);
  4853. buffer_fmt(tbuf, "qi_list_data(%s, 0) = %s;\n", varname3, varname1);
  4854. buffer_fmt(tbuf, "qi_list_data(%s, 1) = %s;\n", varname3, varname2);
  4855. buffer_fmt(tbuf, "return qi_make_tuple(state, %s);\n", varname3);
  4856. buffer_fmt(tbuf, "}\n");
  4857. buffer_appendb(gbuf, tbuf);
  4858. EMIT("__%s%d(state)", PREFIX, gid);
  4859. } break;
  4860. case N_LABEL: {
  4861. int_stack_t *pair = table_get(list_index(lbl, -1), node->t->text);
  4862. EMIT("__label%d:;", pair->data[0]);
  4863. } break;
  4864. case N_GOTO: {
  4865. char *label = node->t->text;
  4866. int_stack_t *pair = table_get(list_index(lbl, -1), label);
  4867. if (!pair)
  4868. COMPILE_ERROR("undefined label: '%s'", label);
  4869. size_t offset = pair->data[1];
  4870. if (offset >= ctx->length)
  4871. COMPILE_ERROR("cannot goto inwards");
  4872. size_t scopes_k = count_scopes(ctx, offset);
  4873. for (size_t i = 0; i < scopes_k; i++) {
  4874. EMIT("qi_old_scope(state);\n");
  4875. }
  4876. EMIT("goto __label%d;", pair->data[0]);
  4877. } break;
  4878. case N_REQUIRE:
  4879. for (size_t i = 0; i < node->l->length; i++) {
  4880. token_t *t = node->l->data[i];
  4881. char *path = unescape(t->text);
  4882. if (require_once(gbuf, buf, ctx, ltab, lstk, sstk, lbl, path) < 0)
  4883. COMPILE_ERROR("'%s' is not a valid file path or a builtin library name",
  4884. path);
  4885. }
  4886. break;
  4887. case N_IFEXPR:
  4888. EMIT("(_qi_truthy(state, ");
  4889. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->a);
  4890. EMIT(")? ");
  4891. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->b);
  4892. EMIT(": ");
  4893. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node->c);
  4894. EMIT(")");
  4895. break;
  4896. case N_FUNCEXPR:
  4897. compile_func(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node, NULL);
  4898. break;
  4899. case N_EQUALS:
  4900. BINOP("equals");
  4901. break;
  4902. case N_NOTEQUALS:
  4903. BINOP("not_equals");
  4904. break;
  4905. case N_IS:
  4906. BINOP("is");
  4907. break;
  4908. case N_NOTIS:
  4909. BINOP("not_is");
  4910. break;
  4911. case N_IN:
  4912. BINOP("in");
  4913. break;
  4914. case N_NOTIN:
  4915. BINOP("not_in");
  4916. break;
  4917. case N_LT:
  4918. BINOP("lt");
  4919. break;
  4920. case N_GT:
  4921. BINOP("gt");
  4922. break;
  4923. case N_LE:
  4924. BINOP("le");
  4925. break;
  4926. case N_GE:
  4927. BINOP("ge");
  4928. break;
  4929. case N_ADD:
  4930. BINOP("add");
  4931. break;
  4932. case N_SUB:
  4933. BINOP("sub");
  4934. break;
  4935. case N_MUL:
  4936. BINOP("mul");
  4937. break;
  4938. case N_DIV:
  4939. BINOP("div");
  4940. break;
  4941. case N_IDIV:
  4942. BINOP("idiv");
  4943. break;
  4944. case N_MOD:
  4945. BINOP("mod");
  4946. break;
  4947. case N_POW:
  4948. BINOP("pow");
  4949. break;
  4950. case N_SHL:
  4951. BINOP("shl");
  4952. break;
  4953. case N_SHR:
  4954. BINOP("shr");
  4955. break;
  4956. case N_XOR:
  4957. BINOP("xor");
  4958. break;
  4959. case N_BOR:
  4960. BINOP("bor");
  4961. break;
  4962. case N_BAND:
  4963. BINOP("band");
  4964. break;
  4965. case N_LOGOR:
  4966. BINOP("or");
  4967. break;
  4968. case N_LOGAND:
  4969. BINOP("and");
  4970. break;
  4971. case N_NEGATE:
  4972. UNOP("negate");
  4973. break;
  4974. case N_UNARY_PLUS:
  4975. UNOP("unary_plus");
  4976. break;
  4977. case N_NOT:
  4978. UNOP("not");
  4979. break;
  4980. case N_BNOT:
  4981. UNOP("bnot");
  4982. break;
  4983. case N_MACRO_CALL:
  4984. compile_macro_call(gbuf, buf, ctx, ltab, lstk, sstk, lbl, node, 1);
  4985. break;
  4986. case N_MVAR:
  4987. COMPILE_ERROR("macro variable outside of a macro");
  4988. case N_INLINE: {
  4989. char *text = unescape(node->t->text);
  4990. if (text[0] == '#') {
  4991. EMIT("%s", text);
  4992. } else {
  4993. EMIT("%s;", text);
  4994. }
  4995. } break;
  4996. case N_HEADER:
  4997. buffer_fmt(HBUF, "%s\n", unescape(node->t->text));
  4998. break;
  4999. case N_INCLUDE:
  5000. buffer_fmt(HBUF, "#include <%s>\n", unescape(node->t->text));
  5001. break;
  5002. case N_BUFFER:
  5003. buffer_appendb(buf, node->buf);
  5004. break;
  5005. default:
  5006. COMPILE_ERROR("not yet implemented");
  5007. }
  5008. }
  5009. void compile_into(char *source, buffer_t *gbuf, buffer_t *buf, list_t *ctx,
  5010. table_t *ltab, list_t *lstk, list_t *sstk, list_t *lbl) {
  5011. node_t *n = parse(source);
  5012. if (NEEDS_UTF8 && !is_required("utf8")) {
  5013. NEEDS_UTF8 = 0;
  5014. require_once(gbuf, buf, ctx, ltab, lstk, sstk, lbl, "utf8");
  5015. }
  5016. compile_node(gbuf, buf, ctx, ltab, lstk, sstk, lbl, n);
  5017. }
  5018. char *escape(char *s) {
  5019. buffer_t *buf = buffer_new();
  5020. while (*s) {
  5021. if (*s == '\\' || *s == '"')
  5022. buffer_append(buf, '\\');
  5023. buffer_append(buf, *s++);
  5024. }
  5025. return buffer_read(buf);
  5026. }
  5027. char *compile(char *source, list_t *required) {
  5028. list_t *ctx = list_new();
  5029. list_push(ctx, "top");
  5030. table_t *ltab = table_new();
  5031. list_t *lstk = list_new();
  5032. list_t *sstk = list_new();
  5033. list_t *lbl = list_new();
  5034. LBPUSH();
  5035. buffer_t *gbuf = buffer_new();
  5036. buffer_t *buf = buffer_new();
  5037. compile_into("const __QIC = \"" QIC_VERSION "\"", gbuf, buf, ctx, ltab, lstk,
  5038. sstk, lbl);
  5039. compile_into("macro E(x) {\n$set r E(x)\n$if r = nil\n$x\n$else\n$r\n$endif}",
  5040. gbuf, buf, ctx, ltab, lstk, sstk, lbl);
  5041. if (required && required->length)
  5042. for (size_t i = 0; i < required->length; i++)
  5043. if (require_once(gbuf, buf, ctx, ltab, lstk, sstk, lbl,
  5044. required->data[i]) < 0) {
  5045. fprintf(
  5046. stderr,
  5047. "fatal: '%s' is not a valid file path or a builtin library name\n",
  5048. (char *)required->data[i]);
  5049. exit(1);
  5050. }
  5051. compile_into(source, gbuf, buf, ctx, ltab, lstk, sstk, lbl);
  5052. buffer_t *rbuf = buffer_new();
  5053. buffer_appends(rbuf, "#include <qirt.h>\n");
  5054. if (DEBUG && DEBUGDATA->length) {
  5055. buffer_fmt(rbuf, "static const char *__debugData[%d] = {\n",
  5056. DEBUGDATA->length);
  5057. for (size_t i = 0; i < DEBUGDATA->length; i++)
  5058. buffer_fmt(rbuf, "\"%s\",\n", escape(DEBUGDATA->data[i]));
  5059. buffer_fmt(rbuf, "};\n");
  5060. }
  5061. buffer_appendb(rbuf, HBUF);
  5062. buffer_appendb(rbuf, gbuf);
  5063. buffer_appends(rbuf, "int main(int argc, char **argv) {\n");
  5064. buffer_appends(rbuf, "qi_state_t *state;\n");
  5065. if (DEBUG)
  5066. buffer_appends(rbuf, "qi_state_init_debug(&state);\n");
  5067. else
  5068. buffer_appends(rbuf, "qi_state_init(&state);\n");
  5069. buffer_appends(rbuf, "qi_list_t *args = qi_list_make();\n");
  5070. buffer_appends(rbuf, "for (int i = 0; i < argc; i++)\n");
  5071. buffer_appends(rbuf,
  5072. " qi_list_push(args, qi_make_string(state, argv[i]));\n");
  5073. buffer_appends(
  5074. rbuf, "qi_decl_const(state, \"ARGS\", qi_make_list(state, args));\n");
  5075. buffer_appendb(rbuf, buf);
  5076. buffer_appends(rbuf, "qi_old_scope(state);\n");
  5077. buffer_appends(rbuf, "qi_finalize();\n");
  5078. buffer_appends(rbuf, "return 0;\n");
  5079. buffer_appends(rbuf, "}\n");
  5080. return buffer_read(rbuf);
  5081. }
  5082. char *compile_file(char *filename, FILE *fd, list_t *required) {
  5083. buffer_t *buf = buffer_new();
  5084. for (;;) {
  5085. char line[512];
  5086. if (!fgets(line, sizeof(line), fd))
  5087. break;
  5088. buffer_appends(buf, line);
  5089. }
  5090. char *source = buffer_read(buf);
  5091. list_t *pair = list_new();
  5092. list_push(pair, filename);
  5093. list_push(pair, source);
  5094. list_push(FILES, pair);
  5095. char *out = compile(source, required);
  5096. list_pop(FILES);
  5097. return out;
  5098. }
  5099. int main(int argc, char **argv) {
  5100. YES = nodet(N_LITERAL, token(T_STRING, "yes"));
  5101. DEBUGDATA = list_new();
  5102. FUNCNAMES = list_new();
  5103. FILES = list_new();
  5104. REQUIRED = list_new();
  5105. CONSTANTS = list_new();
  5106. list_push(CONSTANTS, table_new());
  5107. MACROS = list_new();
  5108. list_push(MACROS, table_new());
  5109. macro_stk = list_new();
  5110. HBUF = buffer_new();
  5111. MVARS = list_new();
  5112. genmathlib();
  5113. char *out;
  5114. char *main = NULL;
  5115. char *outf = NULL;
  5116. list_t *required = NULL;
  5117. int readstdin = 0;
  5118. for (size_t i = 1; i < argc; i++) {
  5119. if (*argv[i] == '-') {
  5120. if (strcmp(argv[i], "-d") == 0 || strcmp(argv[i], "--debug") == 0)
  5121. DEBUG = 1;
  5122. else if (strcmp(argv[i], "-s") == 0 || strcmp(argv[i], "--stdin") == 0)
  5123. readstdin = 1;
  5124. else if (strcmp(argv[i], "-p") == 0 || strcmp(argv[i], "--prefix") == 0) {
  5125. if (i + 1 >= argc) {
  5126. fprintf(stderr,
  5127. "fatal: missing argument after '-p/--prefix' parameter\n");
  5128. return 1;
  5129. }
  5130. PREFIX = argv[++i];
  5131. } else if (strcmp(argv[i], "-o") == 0 ||
  5132. strcmp(argv[i], "--output") == 0) {
  5133. if (i + 1 >= argc) {
  5134. fprintf(stderr,
  5135. "fatal: missing argument after '-o/--output' parameter\n");
  5136. return 1;
  5137. }
  5138. outf = argv[++i];
  5139. } else if (strcmp(argv[i], "-h") == 0 || strcmp(argv[i], "-?") == 0 ||
  5140. strcmp(argv[i], "--help") == 0 || strcmp(argv[i], "-v") == 0 ||
  5141. strcmp(argv[i], "--version") == 0) {
  5142. fprintf(stderr, "qilang compiler, " QIC_VERSION "\n");
  5143. fprintf(
  5144. stderr,
  5145. "usage: %s [-dsh] [-o out.c] [input0.qi input1.qi ... inputN.qi]\n",
  5146. argv[0]);
  5147. fprintf(stderr, "-h --help\tprint this message and exit\n");
  5148. fprintf(stderr, "-d --debug\tenable debug mode\n");
  5149. fprintf(stderr, "-s --stdin\tread stdin as input\n");
  5150. fprintf(stderr,
  5151. "-o --output\toutput generated C code to the specified file\n");
  5152. return 0;
  5153. } else {
  5154. fprintf(stderr, "fatal: unknown commandline argument: '%s'\n", argv[i]);
  5155. return 1;
  5156. }
  5157. continue;
  5158. }
  5159. if (!readstdin && !main)
  5160. main = argv[i];
  5161. else {
  5162. if (!required)
  5163. required = list_new();
  5164. list_push(required, argv[i]);
  5165. }
  5166. }
  5167. if (!PREFIX) {
  5168. const char chars[] = "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ";
  5169. srand(time(NULL));
  5170. PREFIX = malloc_checked(sizeof(char) * 9);
  5171. PREFIX[8] = 0;
  5172. for (size_t i = 0; i < 8; i++)
  5173. PREFIX[i] =
  5174. chars[(size_t)((double)rand() / RAND_MAX * (sizeof(chars) - 1))];
  5175. }
  5176. if (readstdin || !main)
  5177. out = compile_file("<stdin>", stdin, required);
  5178. else {
  5179. FILE *fd = fopen(main, "rb");
  5180. if (!fd) {
  5181. fprintf(stderr, "fatal: unable to open file: '%s'\n", main);
  5182. return 1;
  5183. }
  5184. list_push(REQUIRED, main);
  5185. out = compile_file(main, fd, required);
  5186. fclose(fd);
  5187. }
  5188. if (outf && strcmp(outf, "-") != 0) {
  5189. FILE *fd = fopen(outf, "wb");
  5190. if (!fd) {
  5191. fprintf(stderr, "fatal: unable to open output file: '%s'\n", outf);
  5192. return 1;
  5193. }
  5194. fwrite(out, sizeof(char), strlen(out), fd);
  5195. fclose(fd);
  5196. } else
  5197. fwrite(out, sizeof(char), strlen(out), stdout);
  5198. return 0;
  5199. }