qic.c 175 KB

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