qic.c 170 KB

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