qic.c 170 KB

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