qic.c 76 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956295729582959296029612962296329642965296629672968296929702971297229732974297529762977297829792980298129822983298429852986298729882989299029912992299329942995299629972998299930003001300230033004300530063007300830093010301130123013301430153016301730183019302030213022302330243025302630273028302930303031303230333034303530363037303830393040304130423043304430453046304730483049305030513052305330543055305630573058305930603061306230633064306530663067306830693070307130723073307430753076307730783079308030813082308330843085308630873088308930903091309230933094309530963097309830993100310131023103310431053106310731083109311031113112311331143115311631173118311931203121312231233124312531263127312831293130313131323133313431353136313731383139314031413142314331443145314631473148314931503151315231533154315531563157315831593160316131623163316431653166316731683169317031713172317331743175317631773178317931803181318231833184318531863187318831893190319131923193319431953196319731983199320032013202320332043205320632073208320932103211321232133214321532163217321832193220322132223223322432253226322732283229323032313232323332343235323632373238323932403241324232433244
  1. #include <ctype.h>
  2. #include <stdio.h>
  3. #include <stdarg.h>
  4. #include <stdlib.h>
  5. size_t GID = 0;
  6. typedef struct {
  7. void **data;
  8. size_t length;
  9. } list_t;
  10. list_t *list_new(void) {
  11. list_t *list = malloc(sizeof(list_t));
  12. list->data = NULL;
  13. list->length = 0;
  14. return list;
  15. }
  16. void list_push(list_t *l, void *v) {
  17. size_t i = l->length++;
  18. l->data = realloc(l->data, l->length * sizeof(void *));
  19. l->data[i] = v;
  20. }
  21. void *list_pop(list_t *l) {
  22. if (!l->length)
  23. return NULL;
  24. return l->data[--l->length];
  25. }
  26. void *list_index(list_t *l, ssize_t index) {
  27. if (!l->length)
  28. return NULL;
  29. if (index < 0)
  30. index += ((ssize_t)l->length);
  31. if (index < 0 || index >= l->length)
  32. return NULL;
  33. return l->data[index];
  34. }
  35. void list_set(list_t *l, ssize_t index, void *v) {
  36. if (!l->length)
  37. return;
  38. if (index < 0)
  39. index += ((ssize_t)l->length);
  40. if (index < 0 || index >= l->length)
  41. return;
  42. l->data[index] = v;
  43. }
  44. typedef struct {
  45. size_t *data;
  46. size_t length;
  47. } stack_t;
  48. stack_t *stack_new(void) {
  49. stack_t *stack = malloc(sizeof(list_t));
  50. stack->data = NULL;
  51. stack->length = 0;
  52. return stack;
  53. }
  54. void stack_push(stack_t *l, size_t v) {
  55. size_t i = l->length++;
  56. l->data = realloc(l->data, l->length * sizeof(size_t));
  57. l->data[i] = v;
  58. }
  59. size_t stack_pop(stack_t *l) {
  60. if (!l->length)
  61. return 0;
  62. return l->data[--l->length];
  63. }
  64. struct entry_t {
  65. char *key;
  66. void *value;
  67. };
  68. struct table_t {
  69. struct entry_t *entries;
  70. size_t used;
  71. size_t capacity;
  72. };
  73. typedef struct entry_t entry_t;
  74. typedef struct table_t table_t;
  75. table_t *table_new() {
  76. table_t *table = malloc(sizeof(table_t));
  77. table->used = 0;
  78. table->capacity = 32;
  79. table->entries = calloc(table->capacity, sizeof(entry_t));
  80. return table;
  81. }
  82. unsigned long ht_hash(const char* key) {
  83. unsigned long hash = 5381;
  84. int c;
  85. while ((c = *key++))
  86. hash = ((hash << 5) + hash) + c;
  87. return hash;
  88. }
  89. void *table_get(table_t *table, char *key) {
  90. if (!table->used)
  91. return NULL;
  92. unsigned long hash = ht_hash(key);
  93. size_t index = hash % table->capacity;
  94. size_t i = index;
  95. while (table->entries[i].key) {
  96. if (strcmp(table->entries[i].key, key) == 0)
  97. return table->entries[i].value;
  98. i++;
  99. if (i >= table->capacity)
  100. i = 0;
  101. if (i == index)
  102. break;
  103. }
  104. return NULL;
  105. }
  106. static void table_entry_set(entry_t *entries, char *key, void *value, size_t capacity, size_t *used) {
  107. unsigned long hash = ht_hash(key);
  108. size_t index = hash % capacity;
  109. size_t i = index;
  110. while (entries[i].key) {
  111. if (strcmp(entries[i].key, key) == 0) {
  112. entries[i].value = value;
  113. return;
  114. }
  115. i++;
  116. if (i >= capacity)
  117. i = 0;
  118. if (i == index)
  119. break;
  120. }
  121. if (used)
  122. (*used)++;
  123. entries[i].key = key;
  124. entries[i].value = value;
  125. }
  126. table_t *table_set(table_t *table, char *key, void *value) {
  127. if (table->used >= table->capacity) {
  128. size_t capacity = table->capacity + 32;
  129. entry_t *entries = calloc(capacity, sizeof(entry_t));
  130. for (size_t i = 0; i < table->capacity; i++) {
  131. entry_t entry = table->entries[i];
  132. if (entry.key)
  133. table_entry_set(entries, entry.key, entry.value, capacity, NULL);
  134. }
  135. table->entries = entries;
  136. table->capacity = capacity;
  137. }
  138. table_entry_set(table->entries, key, value, table->capacity, &table->used);
  139. return table;
  140. }
  141. #define table_iterate(table, code) \
  142. { \
  143. if ((table)->used) { \
  144. size_t i = 0; \
  145. while (i < (table)->capacity) { \
  146. entry_t entry = (table)->entries[i]; \
  147. if (entry.key) { \
  148. code; \
  149. } \
  150. i++; \
  151. } \
  152. } \
  153. }
  154. typedef struct {
  155. char *str;
  156. size_t size;
  157. } buffer_t;
  158. buffer_t *buffer_new(void) {
  159. buffer_t *buf = malloc(sizeof(buffer_t));
  160. buf->str = NULL;
  161. buf->size = 0;
  162. return buf;
  163. }
  164. void buffer_append(buffer_t *buf, char c) {
  165. buf->size++;
  166. void *p = malloc(sizeof(char) * buf->size);
  167. if (buf->str)
  168. memcpy(p, buf->str, buf->size - 1);
  169. buf->str = p;
  170. buf->str[buf->size - 1] = c;
  171. }
  172. char *buffer_read(buffer_t *buf) {
  173. if (buf->size == 0 || buf->str[buf->size - 1])
  174. buffer_append(buf, 0);
  175. return buf->str;
  176. }
  177. void buffer_appends(buffer_t *buf, char *s) {
  178. for (size_t i = 0; i < strlen(s); i++)
  179. buffer_append(buf, s[i]);
  180. }
  181. void buffer_appendb(buffer_t *dst, buffer_t *src) {
  182. for (size_t i = 0; i < src->size; i++)
  183. buffer_append(dst, src->str[i]);
  184. }
  185. void buffer_fmt(buffer_t *buf, const char *fmt, ...) {
  186. va_list args;
  187. va_start(args, fmt);
  188. size_t size = vsnprintf(NULL, 0, fmt, args);
  189. char *str = malloc(sizeof(char) * (size + 1));
  190. vsnprintf(str, size + 1, fmt, args);
  191. va_end(args);
  192. buffer_appends(buf, str);
  193. }
  194. typedef struct {
  195. enum {
  196. T_EOF,
  197. T_NUMBER,
  198. T_STRING,
  199. T_NAME,
  200. T_VAR,
  201. T_LET,
  202. T_CONST,
  203. T_UNPACK,
  204. T_IF,
  205. T_ELSE,
  206. T_ELIF,
  207. T_SWITCH,
  208. T_CASE,
  209. T_DEFAULT,
  210. T_FOR,
  211. T_OF,
  212. T_BREAK,
  213. T_CONTINUE,
  214. T_PASS,
  215. T_FUNC,
  216. T_USE,
  217. T_RETURN,
  218. T_DEFER,
  219. T_REQUIRE,
  220. T_TRY,
  221. T_CATCH,
  222. T_THROW,
  223. T_GOTO,
  224. T_CLASS,
  225. T_IS,
  226. T_IN,
  227. T_LPAR,
  228. T_RPAR,
  229. T_LSB,
  230. T_RSB,
  231. T_LCB,
  232. T_RCB,
  233. T_EQUALS,
  234. T_NOTEQUALS,
  235. T_PLUSASSIGN,
  236. T_MINUSASSIGN,
  237. T_SLASHASSIGN,
  238. T_STARASSIGN,
  239. T_SLASHSLASHASSIGN,
  240. T_PERCENTASSIGN,
  241. T_STARSTARASSIGN,
  242. T_BARASSIGN,
  243. T_ANDASSIGN,
  244. T_BARBAR,
  245. T_ANDAND,
  246. T_STARSTAR,
  247. T_PLUSPLUS,
  248. T_MINUSMINUS,
  249. T_SLASHSLASH,
  250. T_PLUS,
  251. T_MINUS,
  252. T_QM,
  253. T_COLON,
  254. T_BAR,
  255. T_AND,
  256. T_LT,
  257. T_LTLT,
  258. T_GT,
  259. T_GTGT,
  260. T_LE,
  261. T_GE,
  262. T_STAR,
  263. T_SLASH,
  264. T_PERCENT,
  265. T_COMMA,
  266. T_DOT,
  267. T_BANG,
  268. T_RAISE,
  269. T_TILDE,
  270. T_INLINE,
  271. T_ASSIGN,
  272. T_SEMI
  273. } tag;
  274. char *text;
  275. size_t fi;
  276. size_t pos;
  277. } token_t;
  278. token_t *token(int tag, char *text) {
  279. token_t *tok = malloc(sizeof(token_t));
  280. tok->tag = tag;
  281. tok->text = text;
  282. return tok;
  283. }
  284. #define TK(tk) (token(T_##tk, NULL))
  285. #define WS() while (source[*pos] == ' ' || source[*pos] == '\t' || source[*pos] == '\n' || source[*pos] == '\r') { (*pos)++; }
  286. void consume_ignored(char *source, size_t *pos) {
  287. WS();
  288. while (source[*pos] == '#') {
  289. (*pos)++;
  290. for (;;) {
  291. if (!source[*pos])
  292. break;
  293. if (source[*pos] == '\n') {
  294. (*pos)++;
  295. break;
  296. }
  297. (*pos)++;
  298. }
  299. WS();
  300. }
  301. }
  302. list_t *FILES;
  303. list_t *REQUIRED;
  304. int is_required(char *path) {
  305. for (size_t i = 0; i < REQUIRED->length; i++)
  306. if (strcmp(REQUIRED->data[i], path) == 0)
  307. return 1;
  308. return 0;
  309. }
  310. void traverse(char *source, size_t pos, size_t *line, size_t *col) {
  311. *line = 1;
  312. *col = 1;
  313. for (size_t i = 0; i < pos; i++) {
  314. if (source[i] == '\n') {
  315. (*line)++;
  316. (*col) = 1;
  317. } else (*col)++;
  318. }
  319. }
  320. void format_error(char *filename, char *source, size_t pos, char *fmt, ...) {
  321. size_t line, col;
  322. traverse(source, pos, &line, &col);
  323. va_list args;
  324. va_start(args, fmt);
  325. fprintf(stderr, "%s (%zu:%zu): ", filename, line, col);
  326. vfprintf(stderr, fmt, args);
  327. fputc('\n', stderr);
  328. va_end(args);
  329. }
  330. #define GETFNAME(fi) ((char *)((list_t *)list_index(FILES, fi))->data[0])
  331. #define GETSRC(fi) ((char *)((list_t *)list_index(FILES, fi))->data[1])
  332. #define LEX_ERROR(fmt, ...) { format_error(GETFNAME(-1), source, *pos, fmt, ##__VA_ARGS__); exit(1); }
  333. token_t *next_token(char *source, size_t *pos) {
  334. if (!source[*pos])
  335. return token(T_EOF, NULL);
  336. if (source[*pos] == '"' || source[*pos] == '\'' || source[*pos] == '`') {
  337. char term = source[(*pos)++];
  338. buffer_t *text = buffer_new();
  339. while (source[*pos] != term) {
  340. if (!source[*pos])
  341. LEX_ERROR("unterminated string literal");
  342. char c = source[(*pos)++];
  343. if (c == '\n' && term != '`')
  344. LEX_ERROR("unterminated string literal");
  345. if (term != '`' && c == '\\') {
  346. char nc = source[(*pos)++];
  347. if (!nc)
  348. continue;
  349. switch (nc) {
  350. case 'n':
  351. buffer_appends(text, "\\n");
  352. break;
  353. case 't':
  354. buffer_appends(text, "\\t");
  355. break;
  356. case 'r':
  357. buffer_appends(text, "\\r");
  358. break;
  359. case 'b':
  360. buffer_appends(text, "\\b");
  361. break;
  362. case 'e':
  363. buffer_appends(text, "\\e");
  364. break;
  365. case 's':
  366. buffer_appends(text, " ");
  367. break;
  368. case '"':
  369. buffer_appends(text, "\\\"");
  370. break;
  371. case '\\':
  372. buffer_appends(text, "\\\\");
  373. break;
  374. case '\n':
  375. buffer_appends(text, "\\n");
  376. break;
  377. default:
  378. buffer_append(text, nc);
  379. break;
  380. }
  381. continue;
  382. }
  383. if (c == '"' || c == '\\')
  384. buffer_append(text, '\\');
  385. else if (c == '\n')
  386. buffer_appends(text, "\\n");
  387. buffer_append(text, c);
  388. }
  389. (*pos)++;
  390. return token(T_STRING, buffer_read(text));
  391. } else if (source[*pos] == '0' && (source[(*pos)+1] == 'x' || source[(*pos)+1] == 'b' || source[(*pos)+1] == 'o')) {
  392. buffer_t *number = buffer_new();
  393. buffer_append(number, source[(*pos)++]);
  394. char b = source[(*pos)++];
  395. buffer_append(number, b);
  396. while (source[*pos] && strchr(b == 'x' ? "0123456789abcdefABCDEF": b == 'b' ? "01": "01234567", source[*pos]) != NULL)
  397. buffer_append(number, source[(*pos)++]);
  398. if (number->size < 3)
  399. LEX_ERROR("illegal number literal (trailing base)");
  400. return token(T_NUMBER, buffer_read(number));
  401. } else if ((source[*pos] == '.' && isdigit(source[(*pos)+1])) || isdigit(source[*pos])) {
  402. buffer_t *number = buffer_new();
  403. int dot = 0;
  404. int sub = 0;
  405. int skip = 0;
  406. if (source[*pos] == '.') {
  407. buffer_append(number, '0');
  408. skip = 1;
  409. }
  410. do {
  411. if (skip) skip = 0;
  412. else
  413. buffer_append(number, source[(*pos)++]);
  414. if (!dot && source[*pos] == '.') {
  415. buffer_append(number, source[(*pos)++]);
  416. if (!isdigit(source[*pos]))
  417. LEX_ERROR("illegal number literal (missing part after floating point)");
  418. dot = 1;
  419. } else if (!sub && source[*pos] == '_') {
  420. (*pos)++;
  421. if (!isdigit(source[*pos]))
  422. LEX_ERROR("illegal number literal (missing part after underscore)");
  423. sub = 1;
  424. } else if (sub) sub = 0;
  425. } while (isdigit(source[*pos]));
  426. return token(T_NUMBER, buffer_read(number));
  427. } else if (isalpha(source[*pos]) || source[*pos] == '_') {
  428. buffer_t *text = buffer_new();
  429. do {
  430. buffer_append(text, source[(*pos)++]);
  431. } while (isalpha(source[*pos]) || source[*pos] == '_' || isdigit(source[*pos]));
  432. char *name = buffer_read(text);
  433. if (strcmp(name, "var") == 0)
  434. return TK(VAR);
  435. else if (strcmp(name, "let") == 0)
  436. return TK(LET);
  437. else if (strcmp(name, "const") == 0)
  438. return TK(CONST);
  439. else if (strcmp(name, "unpack") == 0)
  440. return TK(UNPACK);
  441. else if (strcmp(name, "if") == 0)
  442. return TK(IF);
  443. else if (strcmp(name, "else") == 0)
  444. return TK(ELSE);
  445. else if (strcmp(name, "elif") == 0)
  446. return TK(ELIF);
  447. else if (strcmp(name, "switch") == 0)
  448. return TK(SWITCH);
  449. else if (strcmp(name, "case") == 0)
  450. return TK(CASE);
  451. else if (strcmp(name, "default") == 0)
  452. return TK(DEFAULT);
  453. else if (strcmp(name, "for") == 0)
  454. return TK(FOR);
  455. else if (strcmp(name, "break") == 0)
  456. return TK(BREAK);
  457. else if (strcmp(name, "continue") == 0)
  458. return TK(CONTINUE);
  459. else if (strcmp(name, "func") == 0)
  460. return TK(FUNC);
  461. else if (strcmp(name, "use") == 0)
  462. return TK(USE);
  463. else if (strcmp(name, "return") == 0)
  464. return TK(RETURN);
  465. else if (strcmp(name, "defer") == 0)
  466. return TK(DEFER);
  467. else if (strcmp(name, "pass") == 0)
  468. return TK(PASS);
  469. else if (strcmp(name, "require") == 0)
  470. return TK(REQUIRE);
  471. else if (strcmp(name, "try") == 0)
  472. return TK(TRY);
  473. else if (strcmp(name, "catch") == 0)
  474. return TK(CATCH);
  475. else if (strcmp(name, "throw") == 0)
  476. return TK(THROW);
  477. else if (strcmp(name, "goto") == 0)
  478. return TK(GOTO);
  479. else if (strcmp(name, "class") == 0)
  480. return TK(CLASS);
  481. else if (strcmp(name, "is") == 0)
  482. return TK(IS);
  483. else if (strcmp(name, "in") == 0)
  484. return TK(IN);
  485. else if (strcmp(name, "of") == 0)
  486. return TK(OF);
  487. else if (strcmp(name, "inline") == 0)
  488. return TK(INLINE);
  489. return token(T_NAME, name);
  490. } else if (strncmp(&source[*pos], "==", 2) == 0 && ++(*pos) && ++(*pos))
  491. return TK(EQUALS);
  492. else if (strncmp(&source[*pos], "!=", 2) == 0 && ++(*pos) && ++(*pos))
  493. return TK(NOTEQUALS);
  494. else if (strncmp(&source[*pos], "+=", 2) == 0 && ++(*pos) && ++(*pos))
  495. return TK(PLUSASSIGN);
  496. else if (strncmp(&source[*pos], "-=", 2) == 0 && ++(*pos) && ++(*pos))
  497. return TK(MINUSASSIGN);
  498. else if (strncmp(&source[*pos], "*=", 2) == 0 && ++(*pos) && ++(*pos))
  499. return TK(STARASSIGN);
  500. else if (strncmp(&source[*pos], "/=", 2) == 0 && ++(*pos) && ++(*pos))
  501. return TK(SLASHASSIGN);
  502. else if (strncmp(&source[*pos], "//=", 3) == 0 && ++(*pos) && ++(*pos) && ++(*pos))
  503. return TK(SLASHSLASHASSIGN);
  504. else if (strncmp(&source[*pos], "%=", 2) == 0 && ++(*pos) && ++(*pos))
  505. return TK(PERCENTASSIGN);
  506. else if (strncmp(&source[*pos], "**=", 3) == 0 && ++(*pos) && ++(*pos) && ++(*pos))
  507. return TK(STARSTARASSIGN);
  508. else if (strncmp(&source[*pos], "|=", 2) == 0 && ++(*pos) && ++(*pos))
  509. return TK(BARASSIGN);
  510. else if (strncmp(&source[*pos], "&=", 2) == 0 && ++(*pos) && ++(*pos))
  511. return TK(ANDASSIGN);
  512. else if (strncmp(&source[*pos], "||", 2) == 0 && ++(*pos) && ++(*pos))
  513. return TK(BARBAR);
  514. else if (strncmp(&source[*pos], "&&", 2) == 0 && ++(*pos) && ++(*pos))
  515. return TK(ANDAND);
  516. else if (strncmp(&source[*pos], "++", 2) == 0 && ++(*pos) && ++(*pos))
  517. return TK(PLUSPLUS);
  518. else if (strncmp(&source[*pos], "--", 2) == 0 && ++(*pos) && ++(*pos))
  519. return TK(MINUSMINUS);
  520. else if (strncmp(&source[*pos], "//", 2) == 0 && ++(*pos) && ++(*pos))
  521. return TK(SLASHSLASH);
  522. else if (strncmp(&source[*pos], "**", 2) == 0 && ++(*pos) && ++(*pos))
  523. return TK(STARSTAR);
  524. else if (strncmp(&source[*pos], "<<", 2) == 0 && ++(*pos) && ++(*pos))
  525. return TK(LTLT);
  526. else if (strncmp(&source[*pos], ">>", 2) == 0 && ++(*pos) && ++(*pos))
  527. return TK(GTGT);
  528. else if (strncmp(&source[*pos], "<=", 2) == 0 && ++(*pos) && ++(*pos))
  529. return TK(LE);
  530. else if (strncmp(&source[*pos], ">=", 2) == 0 && ++(*pos) && ++(*pos))
  531. return TK(GE);
  532. else if (source[*pos] == '(' && ++(*pos))
  533. return TK(LPAR);
  534. else if (source[*pos] == ')' && ++(*pos))
  535. return TK(RPAR);
  536. else if (source[*pos] == '[' && ++(*pos))
  537. return TK(LSB);
  538. else if (source[*pos] == ']' && ++(*pos))
  539. return TK(RSB);
  540. else if (source[*pos] == '{' && ++(*pos))
  541. return TK(LCB);
  542. else if (source[*pos] == '}' && ++(*pos))
  543. return TK(RCB);
  544. else if (source[*pos] == '+' && ++(*pos))
  545. return TK(PLUS);
  546. else if (source[*pos] == '-' && ++(*pos))
  547. return TK(MINUS);
  548. else if (source[*pos] == '*' && ++(*pos))
  549. return TK(STAR);
  550. else if (source[*pos] == '/' && ++(*pos))
  551. return TK(SLASH);
  552. else if (source[*pos] == '%' && ++(*pos))
  553. return TK(PERCENT);
  554. else if (source[*pos] == '?' && ++(*pos))
  555. return TK(QM);
  556. else if (source[*pos] == ':' && ++(*pos))
  557. return TK(COLON);
  558. else if (source[*pos] == '=' && ++(*pos))
  559. return TK(ASSIGN);
  560. else if (source[*pos] == ';' && ++(*pos))
  561. return TK(SEMI);
  562. else if (source[*pos] == ',' && ++(*pos))
  563. return TK(COMMA);
  564. else if (source[*pos] == '.' && ++(*pos))
  565. return TK(DOT);
  566. else if (source[*pos] == '<' && ++(*pos))
  567. return TK(LT);
  568. else if (source[*pos] == '>' && ++(*pos))
  569. return TK(GT);
  570. else if (source[*pos] == '!' && ++(*pos))
  571. return TK(BANG);
  572. else if (source[*pos] == '|' && ++(*pos))
  573. return TK(BAR);
  574. else if (source[*pos] == '&' && ++(*pos))
  575. return TK(AND);
  576. else if (source[*pos] == '^' && ++(*pos))
  577. return TK(RAISE);
  578. else if (source[*pos] == '~' && ++(*pos))
  579. return TK(TILDE);
  580. LEX_ERROR("unexpected input")
  581. }
  582. list_t *tokenize(char *source) {
  583. size_t pos = 0;
  584. list_t *toks = list_new();
  585. do {
  586. consume_ignored(source, &pos);
  587. size_t tok_pos = pos;
  588. token_t *tok = next_token(source, &pos);
  589. tok->fi = FILES->length-1;
  590. tok->pos = tok_pos;
  591. list_push(toks, tok);
  592. if (tok->tag == T_EOF)
  593. break;
  594. } while (1);
  595. return toks;
  596. }
  597. struct _node_t {
  598. enum {
  599. N_TOPLEVEL,
  600. N_PROGRAM,
  601. N_EXPRSTMT,
  602. N_BLOCK,
  603. N_NOT,
  604. N_NEGATE,
  605. N_BNOT,
  606. N_LITERAL,
  607. N_LIST,
  608. N_TUPLE,
  609. N_NILTUPLE,
  610. N_TABLE,
  611. N_CALL,
  612. N_MEMBER,
  613. N_INDEX,
  614. N_ADD,
  615. N_SUB,
  616. N_MUL,
  617. N_DIV,
  618. N_IDIV,
  619. N_MOD,
  620. N_POW,
  621. N_SHL,
  622. N_SHR,
  623. N_XOR,
  624. N_BOR,
  625. N_BAND,
  626. N_ASSIGN,
  627. N_ASSIGN_ADD,
  628. N_ASSIGN_SUB,
  629. N_ASSIGN_MUL,
  630. N_ASSIGN_DIV,
  631. N_ASSIGN_IDIV,
  632. N_ASSIGN_MOD,
  633. N_ASSIGN_POW,
  634. N_ASSIGN_BOR,
  635. N_ASSIGN_BAND,
  636. N_EQUALS,
  637. N_NOTEQUALS,
  638. N_IS,
  639. N_IN,
  640. N_NOTIS,
  641. N_NOTIN,
  642. N_LT,
  643. N_GT,
  644. N_LE,
  645. N_GE,
  646. N_INC,
  647. N_DEC,
  648. N_VAR,
  649. N_LET,
  650. N_VARUNPACK,
  651. N_LETUNPACK,
  652. N_UNPACK,
  653. N_CONST,
  654. N_IF,
  655. N_SWITCH,
  656. N_FOR,
  657. N_FOROF,
  658. N_FOROFVAR,
  659. N_FOROFUNPACK,
  660. N_FOROFVARUNPACK,
  661. N_BREAK,
  662. N_CONTINUE,
  663. N_FUNCDEF,
  664. N_RETURN,
  665. N_DEFER,
  666. N_PASS,
  667. N_REQUIRE,
  668. N_TRY,
  669. N_THROW,
  670. N_LABEL,
  671. N_GOTO,
  672. N_CLASS,
  673. N_INLINE,
  674. N_IFEXPR,
  675. N_FUNCEXPR,
  676. N_LOGOR,
  677. N_LOGAND,
  678. } tag;
  679. struct _node_t *a;
  680. struct _node_t *b;
  681. struct _node_t *c;
  682. struct _node_t *d;
  683. list_t *l;
  684. table_t *h;
  685. table_t *h2;
  686. token_t *t;
  687. size_t fi;
  688. size_t pos;
  689. };
  690. typedef struct _node_t node_t;
  691. node_t *node_pos(node_t *node, size_t fi, size_t pos) {
  692. node->fi = fi;
  693. node->pos = pos;
  694. return node;
  695. }
  696. node_t *nodet(int tag, token_t *t) {
  697. node_t *node = malloc(sizeof(node_t));
  698. node->tag = tag;
  699. node->t = t;
  700. return node;
  701. }
  702. #define NODET(n, a) (node_pos(nodet(N_##n, (a)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  703. node_t *nodel(int tag, list_t *l) {
  704. node_t *node = malloc(sizeof(node_t));
  705. node->tag = tag;
  706. node->l = l;
  707. return node;
  708. }
  709. #define NODEL(n, a) (node_pos(nodel(N_##n, (a)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  710. node_t *nodetl(int tag, token_t *t, list_t *l) {
  711. node_t *node = malloc(sizeof(node_t));
  712. node->tag = tag;
  713. node->t = t;
  714. node->l = l;
  715. return node;
  716. }
  717. #define NODETL(n, t, l) (node_pos(nodetl(N_##n, (t), (l)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  718. node_t *nodeh(int tag, table_t *h) {
  719. node_t *node = malloc(sizeof(node_t));
  720. node->tag = tag;
  721. node->h = h;
  722. return node;
  723. }
  724. #define NODEH(n, a) (node_pos(nodeh(N_##n, (a)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  725. node_t *node0(int tag) {
  726. node_t *node = malloc(sizeof(node_t));
  727. node->tag = tag;
  728. return node;
  729. }
  730. #define NODE0(n) (node_pos(node0(N_##n), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  731. node_t *node1(int tag, node_t *a) {
  732. node_t *node = malloc(sizeof(node_t));
  733. node->tag = tag;
  734. node->a = a;
  735. return node;
  736. }
  737. #define NODE1(n, a) (node_pos(node1(N_##n, (a)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  738. node_t *node1l(int tag, node_t *a, list_t *l) {
  739. node_t *node = malloc(sizeof(node_t));
  740. node->tag = tag;
  741. node->a = a;
  742. node->l = l;
  743. return node;
  744. }
  745. #define NODE1l(n, a, l) (node_pos(node1l(N_##n, (a), (l)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  746. node_t *node1t(int tag, node_t *a, token_t *t) {
  747. node_t *node = malloc(sizeof(node_t));
  748. node->tag = tag;
  749. node->a = a;
  750. node->t = t;
  751. return node;
  752. }
  753. #define NODE1t(n, a, t) (node_pos(node1t(N_##n, (a), (t)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  754. node_t *node2(int tag, node_t *a, node_t *b) {
  755. node_t *node = malloc(sizeof(node_t));
  756. node->tag = tag;
  757. node->a = a;
  758. node->b = b;
  759. return node;
  760. }
  761. #define NODE2(n, a, b) (node_pos(node2(N_##n, (a), (b)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  762. node_t *node2l(int tag, node_t *a, node_t *b, list_t *l) {
  763. node_t *node = malloc(sizeof(node_t));
  764. node->tag = tag;
  765. node->a = a;
  766. node->b = b;
  767. node->l = l;
  768. return node;
  769. }
  770. #define NODE2l(n, a, b, l) (node_pos(node2l(N_##n, (a), (b), (l)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  771. node_t *node2t(int tag, node_t *a, node_t *b, token_t *t) {
  772. node_t *node = malloc(sizeof(node_t));
  773. node->tag = tag;
  774. node->a = a;
  775. node->b = b;
  776. node->t = t;
  777. return node;
  778. }
  779. #define NODE2t(n, a, b, c) (node_pos(node2t(N_##n, (a), (b), (c)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  780. node_t *node3(int tag, node_t *a, node_t *b, node_t *c) {
  781. node_t *node = malloc(sizeof(node_t));
  782. node->tag = tag;
  783. node->a = a;
  784. node->b = b;
  785. node->c = c;
  786. return node;
  787. }
  788. #define NODE3(n, a, b, c) (node_pos(node3(N_##n, (a), (b), (c)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  789. node_t *node4(int tag, node_t *a, node_t *b, node_t *c, node_t *d) {
  790. node_t *node = malloc(sizeof(node_t));
  791. node->tag = tag;
  792. node->a = a;
  793. node->b = b;
  794. node->c = c;
  795. node->d = d;
  796. return node;
  797. }
  798. #define NODE4(n, a, b, c, d) (node_pos(node4(N_##n, (a), (b), (c), (d)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  799. node_t *nodef(int tag, token_t *name, table_t *params, table_t *captured, node_t *body) {
  800. node_t *node = malloc(sizeof(node_t));
  801. node->tag = tag;
  802. node->t = name;
  803. node->h = params;
  804. node->h2 = captured;
  805. node->a = body;
  806. return node;
  807. }
  808. #define NODEF(n, a, b, c, d) (node_pos(nodef(N_##n, (a), (b), (c), (d)), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi, ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos))
  809. #define AT(tk) (*pos < tokens->length && ((token_t *)tokens->data[*pos])->tag == T_##tk)
  810. #define ATP(tk, p) ((*pos)+p < tokens->length && ((token_t *)tokens->data[(*pos)+p])->tag == T_##tk)
  811. #define MATCH(tk) (AT(tk) && ++(*pos))
  812. #define PARSE_ERROR(fmt, ...) { format_error(GETFNAME(((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi), GETSRC(((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->fi), ((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])->pos, fmt, ##__VA_ARGS__); exit(1); }
  813. #define EXPECT(tk, s) { if (!MATCH(tk)) PARSE_ERROR("expected %s", (s)); }
  814. node_t *parse_expr(list_t *tokens, size_t *pos);
  815. list_t *parse_sequence(list_t *tokens, size_t *pos, int term) {
  816. list_t *seq = list_new();
  817. do {
  818. if (term != -1 && *pos < tokens->length && ((token_t *)tokens->data[*pos])->tag == term)
  819. break;
  820. list_push(seq, parse_expr(tokens, pos));
  821. } while (MATCH(COMMA));
  822. return seq;
  823. }
  824. node_t *parse_func(list_t *tokens, size_t *pos, int is_expr);
  825. node_t *parse_primary(list_t *tokens, size_t *pos) {
  826. if (MATCH(FUNC))
  827. return parse_func(tokens, pos, 1);
  828. else if (MATCH(LPAR)) {
  829. if (MATCH(RPAR))
  830. return NODE0(NILTUPLE);
  831. node_t *a = parse_expr(tokens, pos);
  832. if (MATCH(COMMA)) {
  833. list_t *l = list_new();
  834. list_push(l, a);
  835. if (!AT(RPAR))
  836. do {
  837. node_t *n = parse_expr(tokens, pos);
  838. list_push(l, n);
  839. } while (MATCH(COMMA));
  840. a = NODEL(TUPLE, l);
  841. }
  842. EXPECT(RPAR, ")");
  843. return a;
  844. } else if (MATCH(LSB)) {
  845. list_t *a = parse_sequence(tokens, pos, T_RSB);
  846. EXPECT(RSB, "]");
  847. return NODEL(LIST, a);
  848. } else if (MATCH(LCB)) {
  849. table_t *table = table_new();
  850. do {
  851. if (AT(RCB))
  852. break;
  853. if (!AT(NAME) && !AT(STRING))
  854. PARSE_ERROR("expected identifier or string");
  855. char *key = ((token_t *)tokens->data[(*pos)++])->text;
  856. EXPECT(COLON, ":");
  857. node_t *val = parse_expr(tokens, pos);
  858. table_set(table, key, val);
  859. } while (MATCH(COMMA));
  860. EXPECT(RCB, "}");
  861. return NODEH(TABLE, table);
  862. } else if (MATCH(NUMBER) || MATCH(STRING) || MATCH(NAME))
  863. return NODET(LITERAL, tokens->data[(*pos)-1]);
  864. PARSE_ERROR("expected expression");
  865. return NULL;
  866. }
  867. size_t get_lineno(token_t *tok) {
  868. size_t line, col;
  869. traverse(GETSRC(tok->fi), tok->pos, &line, &col);
  870. return line;
  871. }
  872. #define CLIFF (get_lineno(((token_t *)tokens->data[(*pos)>0?(*pos)-1:(*pos)])) != get_lineno(((token_t *)tokens->data[(*pos)>=tokens->length?tokens->length-1:(*pos)])))
  873. #define CLIFF_AHEAD (get_lineno(((token_t *)tokens->data[(*pos)>=tokens->length?tokens->length-1:(*pos)])) != get_lineno(((token_t *)tokens->data[(*pos)+1>=tokens->length?tokens->length-1:(*pos)+1])))
  874. node_t *parse_call(list_t *tokens, size_t *pos) {
  875. node_t *a = parse_primary(tokens, pos);
  876. do {
  877. if (!CLIFF && MATCH(LPAR)) {
  878. list_t *b = NULL;
  879. if (!AT(RPAR))
  880. b = parse_sequence(tokens, pos, -1);
  881. EXPECT(RPAR, ")");
  882. a = NODE1l(CALL, a, b);
  883. continue;
  884. } else if (!CLIFF && MATCH(LSB)) {
  885. node_t *b = parse_expr(tokens, pos);
  886. EXPECT(RSB, "]");
  887. a = NODE2(INDEX, a, b);
  888. continue;
  889. } else if (!CLIFF && MATCH(DOT)) {
  890. if (!AT(NAME))
  891. PARSE_ERROR("expected identifier after .");
  892. a = NODE1t(MEMBER, a, tokens->data[(*pos)++]);
  893. continue;
  894. }
  895. break;
  896. } while (1);
  897. return a;
  898. }
  899. node_t *parse_postfix(list_t *tokens, size_t *pos) {
  900. node_t *a = parse_call(tokens, pos);
  901. if (CLIFF)
  902. return a;
  903. if (MATCH(PLUSPLUS))
  904. return NODE1(INC, a);
  905. else if (MATCH(MINUSMINUS))
  906. return NODE1(DEC, a);
  907. return a;
  908. }
  909. node_t *parse_unary(list_t *tokens, size_t *pos) {
  910. if (MATCH(MINUS)) {
  911. node_t *a = parse_unary(tokens, pos);
  912. return NODE1(NEGATE, a);
  913. } else if (MATCH(BANG)) {
  914. node_t *a = parse_unary(tokens, pos);
  915. return NODE1(NOT, a);
  916. } else if (MATCH(TILDE)) {
  917. node_t *a = parse_unary(tokens, pos);
  918. return NODE1(BNOT, a);
  919. }
  920. return parse_postfix(tokens, pos);
  921. }
  922. node_t *parse_pow(list_t *tokens, size_t *pos) {
  923. node_t *a = parse_unary(tokens, pos);
  924. do {
  925. if (MATCH(STARSTAR)) {
  926. node_t *b = parse_unary(tokens, pos);
  927. a = NODE2(POW, a, b);
  928. continue;
  929. }
  930. break;
  931. } while (1);
  932. return a;
  933. }
  934. node_t *parse_mul(list_t *tokens, size_t *pos) {
  935. node_t *a = parse_pow(tokens, pos);
  936. do {
  937. if (MATCH(STAR)) {
  938. node_t *b = parse_pow(tokens, pos);
  939. a = NODE2(MUL, a, b);
  940. continue;
  941. } else if (MATCH(SLASH)) {
  942. node_t *b = parse_pow(tokens, pos);
  943. a = NODE2(DIV, a, b);
  944. continue;
  945. } else if (MATCH(SLASHSLASH)) {
  946. node_t *b = parse_pow(tokens, pos);
  947. a = NODE2(IDIV, a, b);
  948. continue;
  949. } else if (MATCH(PERCENT)) {
  950. node_t *b = parse_pow(tokens, pos);
  951. a = NODE2(MOD, a, b);
  952. continue;
  953. }
  954. break;
  955. } while (1);
  956. return a;
  957. }
  958. node_t *parse_add(list_t *tokens, size_t *pos) {
  959. node_t *a = parse_mul(tokens, pos);
  960. do {
  961. if (MATCH(PLUS)) {
  962. node_t *b = parse_mul(tokens, pos);
  963. a = NODE2(ADD, a, b);
  964. continue;
  965. } else if (MATCH(MINUS)) {
  966. node_t *b = parse_mul(tokens, pos);
  967. a = NODE2(SUB, a, b);
  968. continue;
  969. }
  970. break;
  971. } while (1);
  972. return a;
  973. }
  974. node_t *parse_shift(list_t *tokens, size_t *pos) {
  975. node_t *a = parse_add(tokens, pos);
  976. do {
  977. if (MATCH(LTLT)) {
  978. node_t *b = parse_add(tokens, pos);
  979. a = NODE2(SHL, a, b);
  980. continue;
  981. } else if (MATCH(GTGT)) {
  982. node_t *b = parse_add(tokens, pos);
  983. a = NODE2(SHR, a, b);
  984. continue;
  985. }
  986. break;
  987. } while (1);
  988. return a;
  989. }
  990. node_t *parse_relation(list_t *tokens, size_t *pos) {
  991. node_t *a = parse_shift(tokens, pos);
  992. do {
  993. if (MATCH(LT)) {
  994. node_t *b = parse_shift(tokens, pos);
  995. a = NODE2(LT, a, b);
  996. continue;
  997. } else if (MATCH(GT)) {
  998. node_t *b = parse_shift(tokens, pos);
  999. a = NODE2(GT, a, b);
  1000. continue;
  1001. } else if (MATCH(LE)) {
  1002. node_t *b = parse_shift(tokens, pos);
  1003. a = NODE2(LE, a, b);
  1004. continue;
  1005. } else if (MATCH(GE)) {
  1006. node_t *b = parse_shift(tokens, pos);
  1007. a = NODE2(GE, a, b);
  1008. continue;
  1009. }
  1010. break;
  1011. } while (1);
  1012. return a;
  1013. }
  1014. node_t *parse_equality(list_t *tokens, size_t *pos) {
  1015. node_t *a = parse_relation(tokens, pos);
  1016. do {
  1017. if (MATCH(EQUALS)) {
  1018. node_t *b = parse_relation(tokens, pos);
  1019. a = NODE2(EQUALS, a, b);
  1020. continue;
  1021. } else if (MATCH(NOTEQUALS)) {
  1022. node_t *b = parse_relation(tokens, pos);
  1023. a = NODE2(NOTEQUALS, a, b);
  1024. continue;
  1025. } else if (MATCH(IS)) {
  1026. node_t *b = parse_relation(tokens, pos);
  1027. a = NODE2(IS, a, b);
  1028. continue;
  1029. } else if (AT(BANG) && ATP(IS, 1)) {
  1030. EXPECT(BANG, "!");
  1031. EXPECT(IS, "is");
  1032. node_t *b = parse_relation(tokens, pos);
  1033. a = NODE2(NOTIS, a, b);
  1034. continue;
  1035. } else if (MATCH(IN)) {
  1036. node_t *b = parse_relation(tokens, pos);
  1037. a = NODE2(IN, a, b);
  1038. continue;
  1039. } else if (AT(BANG) && ATP(IN, 1)) {
  1040. EXPECT(BANG, "!");
  1041. EXPECT(IN, "in");
  1042. node_t *b = parse_relation(tokens, pos);
  1043. a = NODE2(NOTIN, a, b);
  1044. continue;
  1045. }
  1046. break;
  1047. } while (1);
  1048. return a;
  1049. }
  1050. node_t *parse_bitand(list_t *tokens, size_t *pos) {
  1051. node_t *a = parse_equality(tokens, pos);
  1052. while (MATCH(AND)) {
  1053. node_t *b = parse_equality(tokens, pos);
  1054. a = NODE2(BAND, a, b);
  1055. }
  1056. return a;
  1057. }
  1058. node_t *parse_bitxor(list_t *tokens, size_t *pos) {
  1059. node_t *a = parse_bitand(tokens, pos);
  1060. while (MATCH(RAISE)) {
  1061. node_t *b = parse_bitand(tokens, pos);
  1062. a = NODE2(XOR, a, b);
  1063. }
  1064. return a;
  1065. }
  1066. node_t *parse_bitor(list_t *tokens, size_t *pos) {
  1067. node_t *a = parse_bitxor(tokens, pos);
  1068. while (MATCH(BAR)) {
  1069. node_t *b = parse_bitxor(tokens, pos);
  1070. a = NODE2(BOR, a, b);
  1071. }
  1072. return a;
  1073. }
  1074. node_t *parse_logand(list_t *tokens, size_t *pos) {
  1075. node_t *a = parse_bitor(tokens, pos);
  1076. if (MATCH(ANDAND)) {
  1077. node_t *b = parse_logand(tokens, pos);
  1078. return NODE2(LOGAND, a, b);
  1079. }
  1080. return a;
  1081. }
  1082. node_t *parse_logor(list_t *tokens, size_t *pos) {
  1083. node_t *a = parse_logand(tokens, pos);
  1084. if (MATCH(BARBAR)) {
  1085. node_t *b = parse_logor(tokens, pos);
  1086. return NODE2(LOGOR, a, b);
  1087. }
  1088. return a;
  1089. }
  1090. node_t *parse_assignment(list_t *tokens, size_t *pos);
  1091. node_t *parse_conditional(list_t *tokens, size_t *pos) {
  1092. node_t *a = parse_logor(tokens, pos);
  1093. if (MATCH(QM)) {
  1094. node_t *b = parse_assignment(tokens, pos);
  1095. EXPECT(COLON, ":");
  1096. node_t *c = parse_assignment(tokens, pos);
  1097. return NODE3(IFEXPR, a, b, c);
  1098. }
  1099. return a;
  1100. }
  1101. node_t *parse_assignment(list_t *tokens, size_t *pos) {
  1102. node_t *a = parse_conditional(tokens, pos);
  1103. if (MATCH(ASSIGN)) {
  1104. node_t *b = parse_assignment(tokens, pos);
  1105. return NODE2(ASSIGN, a, b);
  1106. } else if (MATCH(PLUSASSIGN)) {
  1107. node_t *b = parse_assignment(tokens, pos);
  1108. return NODE2(ASSIGN_ADD, a, b);
  1109. } else if (MATCH(MINUSASSIGN)) {
  1110. node_t *b = parse_assignment(tokens, pos);
  1111. return NODE2(ASSIGN_SUB, a, b);
  1112. } else if (MATCH(STARASSIGN)) {
  1113. node_t *b = parse_assignment(tokens, pos);
  1114. return NODE2(ASSIGN_MUL, a, b);
  1115. } else if (MATCH(SLASHASSIGN)) {
  1116. node_t *b = parse_assignment(tokens, pos);
  1117. return NODE2(ASSIGN_DIV, a, b);
  1118. } else if (MATCH(SLASHSLASHASSIGN)) {
  1119. node_t *b = parse_assignment(tokens, pos);
  1120. return NODE2(ASSIGN_IDIV, a, b);
  1121. } else if (MATCH(PERCENTASSIGN)) {
  1122. node_t *b = parse_assignment(tokens, pos);
  1123. return NODE2(ASSIGN_MOD, a, b);
  1124. } else if (MATCH(STARSTARASSIGN)) {
  1125. node_t *b = parse_assignment(tokens, pos);
  1126. return NODE2(ASSIGN_POW, a, b);
  1127. } else if (MATCH(BARASSIGN)) {
  1128. node_t *b = parse_assignment(tokens, pos);
  1129. return NODE2(ASSIGN_BOR, a, b);
  1130. }
  1131. return a;
  1132. }
  1133. node_t *parse_expr(list_t *tokens, size_t *pos) {
  1134. return parse_assignment(tokens, pos);
  1135. }
  1136. node_t *parse_stmt(list_t *tokens, size_t *pos);
  1137. node_t *parse_block(list_t *tokens, size_t *pos) {
  1138. EXPECT(LCB, "{");
  1139. list_t *stmts = list_new();
  1140. while (!AT(EOF) && !AT(RCB)) {
  1141. list_push(stmts, parse_stmt(tokens, pos));
  1142. MATCH(SEMI);
  1143. }
  1144. EXPECT(RCB, "}");
  1145. return NODEL(PROGRAM, stmts);
  1146. }
  1147. #define BLOCK() (CLIFF||MATCH(COLON)?parse_stmt(tokens, pos):parse_block(tokens, pos))
  1148. node_t *parse_if(list_t *tokens, size_t *pos) {
  1149. node_t *a = parse_expr(tokens, pos);
  1150. node_t *b = BLOCK();
  1151. node_t *c = NULL;
  1152. if (MATCH(ELSE))
  1153. c = BLOCK();
  1154. else if (MATCH(ELIF))
  1155. c = parse_if(tokens, pos);
  1156. return NODE3(IF, a, b, c);
  1157. }
  1158. node_t *parse_var(list_t *tokens, size_t *pos, int is_let) {
  1159. table_t *h = table_new();
  1160. do {
  1161. if(!AT(NAME))
  1162. PARSE_ERROR("expected identifier");
  1163. char *k = ((token_t *)tokens->data[(*pos)++])->text;
  1164. node_t *v = NULL;
  1165. if (is_let) {
  1166. EXPECT(ASSIGN, "=");
  1167. v = parse_expr(tokens, pos);
  1168. } else if (MATCH(ASSIGN))
  1169. v = parse_expr(tokens, pos);
  1170. table_set(h, k, v);
  1171. } while (MATCH(COMMA));
  1172. if (is_let)
  1173. return NODEH(LET, h);
  1174. return NODEH(VAR, h);
  1175. }
  1176. node_t *parse_unpack(list_t *tokens, size_t *pos, int tag) {
  1177. EXPECT(LPAR, "(");
  1178. list_t *l = list_new();
  1179. do {
  1180. if(!AT(NAME))
  1181. PARSE_ERROR("expected identifier");
  1182. list_push(l, ((token_t *)tokens->data[(*pos)++])->text);
  1183. } while (MATCH(COMMA));
  1184. EXPECT(RPAR, ")");
  1185. EXPECT(ASSIGN, "=");
  1186. node_t *a = parse_expr(tokens, pos);
  1187. if (tag == N_VARUNPACK)
  1188. return NODE1l(VARUNPACK, a, l);
  1189. else if (tag == N_LETUNPACK)
  1190. return NODE1l(LETUNPACK, a, l);
  1191. return NODE1l(UNPACK, a, l);
  1192. }
  1193. node_t *parse_func(list_t *tokens, size_t *pos, int is_expr) {
  1194. token_t *name = NULL;
  1195. if (!is_expr) {
  1196. if(!AT(NAME))
  1197. PARSE_ERROR("expected identifier");
  1198. name = tokens->data[(*pos)++];
  1199. }
  1200. EXPECT(LPAR, "(");
  1201. table_t *params = NULL;
  1202. if (!AT(RPAR)) {
  1203. int flag = 0;
  1204. params = table_new();
  1205. size_t argc = 0;
  1206. do {
  1207. if(!AT(NAME))
  1208. PARSE_ERROR("expected identifier");
  1209. char *l = ((token_t *)tokens->data[(*pos)++])->text;
  1210. node_t *r = NULL;
  1211. if (!flag && AT(ASSIGN))
  1212. flag = 1;
  1213. if (flag) {
  1214. EXPECT(ASSIGN, "=");
  1215. r = parse_expr(tokens, pos);
  1216. }
  1217. list_t *pair = list_new();
  1218. size_t *argcp = malloc(sizeof(size_t));
  1219. memcpy(argcp, &argc, sizeof(size_t));
  1220. argc++;
  1221. list_push(pair, argcp);
  1222. list_push(pair, r);
  1223. table_set(params, l, pair);
  1224. } while (MATCH(COMMA));
  1225. }
  1226. EXPECT(RPAR, ")");
  1227. table_t *captured = NULL;
  1228. if (MATCH(USE)) {
  1229. EXPECT(LPAR, "(");
  1230. captured = table_new();
  1231. do {
  1232. if(!AT(NAME))
  1233. PARSE_ERROR("expected identifier");
  1234. token_t *name = tokens->data[(*pos)++];
  1235. table_set(captured, name->text, NODET(LITERAL, name));
  1236. } while (MATCH(COMMA));
  1237. EXPECT(RPAR, ")");
  1238. }
  1239. int colon = AT(COLON);
  1240. node_t *body = BLOCK();
  1241. if (colon && body->tag == N_EXPRSTMT)
  1242. body = NODE1(RETURN, body->a);
  1243. if (is_expr)
  1244. return NODEF(FUNCEXPR, NULL, params, captured, body);
  1245. return NODEF(FUNCDEF, name, params, captured, body);
  1246. }
  1247. node_t *parse_stmt(list_t *tokens, size_t *pos) {
  1248. if (MATCH(LCB)) {
  1249. list_t *stmts = list_new();
  1250. while (!AT(EOF) && !AT(RCB)) {
  1251. node_t *n = parse_stmt(tokens, pos);
  1252. MATCH(SEMI);
  1253. list_push(stmts, n);
  1254. }
  1255. EXPECT(RCB, "}");
  1256. return NODEL(BLOCK, stmts);
  1257. } else if (MATCH(VAR)) {
  1258. if (AT(LPAR))
  1259. return parse_unpack(tokens, pos, N_VARUNPACK);
  1260. return parse_var(tokens, pos, 0);
  1261. } else if (MATCH(LET)) {
  1262. if (AT(LPAR))
  1263. return parse_unpack(tokens, pos, N_LETUNPACK);
  1264. return parse_var(tokens, pos, 1);
  1265. } else if (MATCH(UNPACK))
  1266. return parse_unpack(tokens, pos, N_UNPACK);
  1267. else if (MATCH(CONST)) {
  1268. table_t *h = table_new();
  1269. do {
  1270. if(!AT(NAME))
  1271. PARSE_ERROR("expected identifier");
  1272. char *k = ((token_t *)tokens->data[(*pos)++])->text;
  1273. if (!(k[0] >= 'A' && k[0] <= 'Z'))
  1274. PARSE_ERROR("compile-time constant identifiers must begin with an uppercase letter, but '%s' does not", k);
  1275. if (table_get(h, k))
  1276. PARSE_ERROR("duplicated compile-time constant definition: '%s'", k);
  1277. EXPECT(ASSIGN, "=");
  1278. node_t *v = parse_expr(tokens, pos);
  1279. table_set(h, k, v);
  1280. } while (MATCH(COMMA));
  1281. return NODEH(CONST, h);
  1282. } else if (MATCH(IF))
  1283. return parse_if(tokens, pos);
  1284. else if (MATCH(SWITCH)) {
  1285. node_t *a = parse_expr(tokens, pos);
  1286. EXPECT(LCB, "{");
  1287. list_t *cases = list_new();
  1288. for (;;) {
  1289. if (AT(RCB) || AT(DEFAULT)) break;
  1290. EXPECT(CASE, "case");
  1291. node_t *expr = parse_expr(tokens, pos);
  1292. MATCH(COLON);
  1293. list_t *stmts = list_new();
  1294. while (!AT(CASE) && !AT(DEFAULT) && !AT(RCB))
  1295. list_push(stmts, parse_stmt(tokens, pos));
  1296. list_t *pair = list_new();
  1297. list_push(pair, expr);
  1298. list_push(pair, NODEL(PROGRAM, stmts));
  1299. list_push(cases, pair);
  1300. }
  1301. node_t *b = NULL;
  1302. if (MATCH(DEFAULT)) {
  1303. MATCH(COLON);
  1304. list_t *stmts = list_new();
  1305. while (!AT(RCB))
  1306. list_push(stmts, parse_stmt(tokens, pos));
  1307. b = NODEL(PROGRAM, stmts);
  1308. }
  1309. EXPECT(RCB, "}");
  1310. if (!cases->length && !b)
  1311. PARSE_ERROR("empty switch statement");
  1312. return NODE2l(SWITCH, a, b, cases);
  1313. } else if (MATCH(FOR)) {
  1314. node_t *a = NULL;
  1315. node_t *b = NULL;
  1316. node_t *c = NULL;
  1317. if (!AT(LCB) && !AT(COLON) && !CLIFF) {
  1318. if (MATCH(LPAR)) {
  1319. list_t *l = list_new();
  1320. do {
  1321. if(!AT(NAME))
  1322. PARSE_ERROR("expected identifier");
  1323. list_push(l, ((token_t *)tokens->data[(*pos)++])->text);
  1324. } while (MATCH(COMMA));
  1325. EXPECT(RPAR, ")");
  1326. EXPECT(OF, "of");
  1327. a = parse_expr(tokens, pos);
  1328. b = BLOCK();
  1329. return NODE2l(FOROFUNPACK, a, b, l);
  1330. }
  1331. if (AT(NAME) && ATP(OF, 1)) {
  1332. token_t *t = tokens->data[(*pos)++];
  1333. EXPECT(OF, "of");
  1334. a = parse_expr(tokens, pos);
  1335. b = BLOCK();
  1336. return NODE2t(FOROF, a, b, t);
  1337. }
  1338. if (MATCH(VAR)) {
  1339. if (MATCH(LPAR)) {
  1340. list_t *l = list_new();
  1341. do {
  1342. if(!AT(NAME))
  1343. PARSE_ERROR("expected identifier");
  1344. list_push(l, ((token_t *)tokens->data[(*pos)++])->text);
  1345. } while (MATCH(COMMA));
  1346. EXPECT(RPAR, ")");
  1347. EXPECT(OF, "of");
  1348. a = parse_expr(tokens, pos);
  1349. b = BLOCK();
  1350. return NODE2l(FOROFVARUNPACK, a, b, l);
  1351. }
  1352. if (AT(NAME) && ATP(OF, 1)) {
  1353. token_t *t = tokens->data[(*pos)++];
  1354. EXPECT(OF, "of");
  1355. a = parse_expr(tokens, pos);
  1356. b = BLOCK();
  1357. return NODE2t(FOROFVAR, a, b, t);
  1358. }
  1359. a = parse_var(tokens, pos, 0);
  1360. EXPECT(SEMI, ";");
  1361. b = parse_expr(tokens, pos);
  1362. EXPECT(SEMI, ";");
  1363. c = parse_expr(tokens, pos);
  1364. } else a = parse_expr(tokens, pos);
  1365. }
  1366. node_t *d = BLOCK();
  1367. return NODE4(FOR, a, b, c, d);
  1368. } else if (MATCH(BREAK)) return NODE0(BREAK);
  1369. else if (MATCH(CONTINUE)) return NODE0(CONTINUE);
  1370. else if (MATCH(FUNC))
  1371. return parse_func(tokens, pos, 0);
  1372. else if (MATCH(RETURN)) {
  1373. node_t *a = NULL;
  1374. if (!AT(RCB) && !AT(EOF) && !CLIFF)
  1375. a = parse_expr(tokens, pos);
  1376. return NODE1(RETURN, a);
  1377. } else if (MATCH(DEFER)) {
  1378. node_t *a;
  1379. if (AT(LCB))
  1380. a = BLOCK();
  1381. else a = parse_stmt(tokens, pos);
  1382. return NODE1(DEFER, a);
  1383. } else if (MATCH(PASS)) return NODE0(PASS);
  1384. else if (MATCH(TRY)) {
  1385. node_t *a = BLOCK();
  1386. token_t *t = NULL;
  1387. EXPECT(CATCH, "catch");
  1388. if (!AT(COLON) && !AT(LCB) && !CLIFF) {
  1389. if (!AT(NAME))
  1390. PARSE_ERROR("expected identifier");
  1391. t = tokens->data[(*pos)++];
  1392. }
  1393. node_t *b = BLOCK();
  1394. return NODE2t(TRY, a, b, t);
  1395. } else if (MATCH(THROW)) {
  1396. node_t *a = NULL;
  1397. if (!CLIFF)
  1398. a = parse_expr(tokens, pos);
  1399. return NODE1(THROW, a);
  1400. } else if (MATCH(GOTO)) {
  1401. if(!AT(NAME))
  1402. PARSE_ERROR("expected identifier");
  1403. token_t *t = tokens->data[(*pos)++];
  1404. return NODET(GOTO, t);
  1405. } else if (AT(NAME) && ATP(COLON, 1) && !CLIFF_AHEAD) {
  1406. token_t *t = tokens->data[(*pos)++];
  1407. EXPECT(COLON, ":");
  1408. return NODET(LABEL, t);
  1409. } else if (MATCH(CLASS)) {
  1410. if(!AT(NAME))
  1411. PARSE_ERROR("expected identifier");
  1412. token_t *t = tokens->data[(*pos)++];
  1413. list_t *l = NULL;
  1414. if (MATCH(LPAR)) {
  1415. l = list_new();
  1416. do {
  1417. if(!AT(NAME))
  1418. PARSE_ERROR("expected identifier");
  1419. token_t *t = tokens->data[(*pos)++];
  1420. list_push(l, t);
  1421. } while (MATCH(COMMA));
  1422. EXPECT(RPAR, ")");
  1423. }
  1424. EXPECT(LCB, "{");
  1425. list_t *triples = list_new();
  1426. for (;;) {
  1427. if (!AT(NAME))
  1428. break;
  1429. list_t *triple = list_new();
  1430. token_t *t = tokens->data[(*pos)++];
  1431. list_push(triple, t);
  1432. if (MATCH(ASSIGN)) {
  1433. list_push(triple, t);
  1434. list_push(triple, parse_expr(tokens, pos));
  1435. } else {
  1436. list_push(triple, NULL);
  1437. list_push(triple, parse_func(tokens, pos, 1));
  1438. }
  1439. list_push(triples, triple);
  1440. }
  1441. EXPECT(RCB, "}");
  1442. list_t *pair = list_new();
  1443. list_push(pair, l);
  1444. list_push(pair, triples);
  1445. return NODETL(CLASS, t, pair);
  1446. } else if (MATCH(INLINE)) {
  1447. if (!AT(STRING))
  1448. PARSE_ERROR("expected string");
  1449. token_t *t = tokens->data[(*pos)++];
  1450. return NODET(INLINE, t);
  1451. }
  1452. node_t *n = parse_expr(tokens, pos);
  1453. return NODE1(EXPRSTMT, n);
  1454. }
  1455. node_t *parse_program(list_t *tokens, size_t *pos) {
  1456. if (AT(EOF))
  1457. PARSE_ERROR("empty program");
  1458. list_t *stmts = list_new();
  1459. int flag = 0;
  1460. while (!AT(EOF) && *pos < tokens->length) {
  1461. node_t *n;
  1462. if (MATCH(REQUIRE)) {
  1463. if (flag)
  1464. PARSE_ERROR("misplaced require statement")
  1465. if (!AT(STRING))
  1466. PARSE_ERROR("expected string");
  1467. token_t *path = tokens->data[(*pos)++];
  1468. n = NODET(REQUIRE, path);
  1469. } else { n = parse_stmt(tokens, pos); flag = 1; }
  1470. MATCH(SEMI);
  1471. list_push(stmts, n);
  1472. }
  1473. return NODEL(TOPLEVEL, stmts);
  1474. }
  1475. node_t *parse(char *source) {
  1476. size_t pos = 0;
  1477. return parse_program(tokenize(source), &pos);
  1478. }
  1479. #define NEWGID() size_t gid = GID++
  1480. #define EMIT(fmt, ...) buffer_fmt(buf, (fmt), ##__VA_ARGS__);
  1481. #define BINOP(s) { EMIT("qi_" s "(state, "); compile_node(gbuf, buf, ctx, lstk, lbl, node->a); EMIT(", "); compile_node(gbuf, buf, ctx, lstk, lbl, node->b); EMIT(")"); }
  1482. #define UNOP(s) { EMIT("qi_" s "(state, "); compile_node(gbuf, buf, ctx, lstk, lbl, node->a); EMIT(")"); }
  1483. #define ASSIGN(lhs, rhs) {\
  1484. if ((lhs)->tag == N_LITERAL && (lhs)->t->tag == T_NAME) {\
  1485. EMIT("qi_set(state, false, \"%s\", ", (lhs)->t->text);\
  1486. rhs;\
  1487. EMIT(")");\
  1488. } else if ((lhs)->tag == N_INDEX) {\
  1489. EMIT("qi_index_set(state, false, ");\
  1490. compile_node(gbuf, buf, ctx, lstk, lbl, (lhs)->a);\
  1491. EMIT(", ");\
  1492. compile_node(gbuf, buf, ctx, lstk, lbl, (lhs)->b);\
  1493. EMIT(", ");\
  1494. rhs;\
  1495. EMIT(")");\
  1496. } else if ((lhs)->tag == N_MEMBER) {\
  1497. EMIT("qi_index_set(state, false, ");\
  1498. compile_node(gbuf, buf, ctx, lstk, lbl, (lhs)->a);\
  1499. EMIT(", qi_make_string(state, \"%s\"), ", (lhs)->t->text);\
  1500. rhs;\
  1501. EMIT(")");\
  1502. } else COMPILE_ERROR("illegal assignment left-hand side");\
  1503. }
  1504. #define COMPASSIGN(lhs, s, rhs) {\
  1505. ASSIGN(node->a, {\
  1506. EMIT("qi_%s(state, ", s);\
  1507. compile_node(gbuf, buf, ctx, lstk, lbl, (lhs));\
  1508. EMIT(", ");\
  1509. rhs;\
  1510. EMIT(")");\
  1511. });\
  1512. }
  1513. #define COMPILE_ERROR(fmt, ...) { format_error(GETFNAME(node->fi), GETSRC(node->fi), node->pos, fmt, ##__VA_ARGS__); exit(1); }
  1514. void compile_node(buffer_t *gbuf, buffer_t *buf, list_t *ctx, stack_t *lstk, list_t *lbl, node_t *node);
  1515. void compile_list(buffer_t *gbuf, buffer_t *buf, list_t *ctx, stack_t *lstk, list_t *lbl, list_t *seq) {
  1516. if (!seq || seq->length < 1) {
  1517. EMIT("NULL");
  1518. return;
  1519. }
  1520. buffer_t *tbuf = buffer_new();
  1521. NEWGID();
  1522. buffer_fmt(tbuf, "inline static qi_list_t *__list%d(qi_state_t *state) {\n", gid);
  1523. buffer_fmt(tbuf, "qi_list_t *list = qi_list_make_n(%d);\n", seq->length);
  1524. for (size_t i = 0; i < seq->length; i++) {
  1525. buffer_fmt(tbuf, "qi_list_data(list, %d) = ", i);
  1526. compile_node(gbuf, tbuf, ctx, lstk, lbl, seq->data[i]);
  1527. buffer_fmt(tbuf, ";\n");
  1528. }
  1529. buffer_fmt(tbuf, "return list;\n");
  1530. buffer_fmt(tbuf, "}\n");
  1531. buffer_appendb(gbuf, tbuf);
  1532. EMIT("__list%d(state)", gid);
  1533. }
  1534. void compile_table(buffer_t *gbuf, buffer_t *buf, list_t *ctx, stack_t *lstk, list_t *lbl, table_t *table) {
  1535. if (!table || table->used < 1) {
  1536. EMIT("NULL");
  1537. return;
  1538. }
  1539. buffer_t *tbuf = buffer_new();
  1540. NEWGID();
  1541. buffer_fmt(tbuf, "inline static qi_table_t *__table%d(qi_state_t *state) {\n", gid);
  1542. buffer_fmt(tbuf, "qi_table_t *table = qi_table_make();\n");
  1543. table_iterate(table, {
  1544. buffer_fmt(tbuf, "qi_table_set(table, \"%s\", ", entry.key);
  1545. compile_node(gbuf, tbuf, ctx, lstk, lbl, entry.value);
  1546. buffer_fmt(tbuf, ");\n");
  1547. });
  1548. buffer_fmt(tbuf, "return table;\n");
  1549. buffer_fmt(tbuf, "}\n");
  1550. buffer_appendb(gbuf, tbuf);
  1551. EMIT("__table%d(state)", gid);
  1552. }
  1553. #define CTXPUSH(s) list_push(ctx, (s))
  1554. #define CTXPOP() list_pop(ctx)
  1555. int in_context(list_t *ctx, char *s) {
  1556. if (!ctx->length)
  1557. return 0;
  1558. for (ssize_t i = ctx->length - 1; i >= 0; i--) {
  1559. if (strcmp(ctx->data[i], "gap") == 0)
  1560. break;
  1561. else if (strcmp(ctx->data[i], s) == 0)
  1562. return 1;
  1563. }
  1564. return 0;
  1565. }
  1566. size_t count_ctxs(list_t *ctx, char *s) {
  1567. if (!ctx->length)
  1568. return 0;
  1569. size_t k = 0;
  1570. for (ssize_t i = ctx->length - 1; i >= 0; i--) {
  1571. if (strcmp(ctx->data[i], "gap") == 0)
  1572. break;
  1573. else if (strcmp(ctx->data[i], s) == 0)
  1574. k++;
  1575. }
  1576. return k;
  1577. }
  1578. #define INCTX(s) (in_context(ctx, (s)))
  1579. #define SCOPESK (count_ctxs(ctx, "scope"))
  1580. #define TRAPSK (count_ctxs(ctx, "trap"))
  1581. #define LPUSH(i) stack_push(lstk, (i))
  1582. #define LPOP() stack_pop(lstk)
  1583. #define LID (lstk->data[lstk->length-1])
  1584. #define LBPUSH() list_push(lbl, table_new())
  1585. #define LBPOP() list_pop(lbl)
  1586. char *tempvar() {
  1587. NEWGID();
  1588. char *s = malloc(sizeof(char) * 64);
  1589. snprintf(s, 64, "__temp%zu", gid);
  1590. return s;
  1591. }
  1592. void compile_func(buffer_t *gbuf, buffer_t *buf, list_t *ctx, stack_t *lstk, list_t *lbl, node_t *node, char *name) {
  1593. NEWGID();
  1594. buffer_t *tbuf = buffer_new();
  1595. buffer_fmt(tbuf, "qi_value_t *__func%d(qi_state_t *state, qi_size_t pargc, qi_list_t *pargs) {\n", gid);
  1596. LBPUSH();
  1597. CTXPUSH("gap");
  1598. CTXPUSH("func");
  1599. size_t optargc = 0;
  1600. if (node->h) {
  1601. table_iterate(node->h, {
  1602. list_t *pair = entry.value;
  1603. size_t argc = *(size_t *)pair->data[0];
  1604. if (pair->data[1]) {
  1605. optargc++;
  1606. buffer_fmt(tbuf, "qi_set(state, false, \"%s\", pargc >= %d? qi_list_index(pargs, %d): ", entry.key, argc+1, argc);
  1607. compile_node(gbuf, tbuf, ctx, lstk, lbl, pair->data[1]);
  1608. buffer_fmt(tbuf, ");\n");
  1609. } else
  1610. buffer_fmt(tbuf, "qi_set(state, false, \"%s\", qi_list_index(pargs, %d));\n", entry.key, argc);
  1611. argc++;
  1612. });
  1613. }
  1614. compile_node(gbuf, tbuf, ctx, lstk, lbl, node->a);
  1615. CTXPOP();
  1616. CTXPOP();
  1617. LBPOP();
  1618. buffer_fmt(tbuf, "return state->nil;\n");
  1619. buffer_fmt(tbuf, "}\n");
  1620. buffer_appendb(gbuf, tbuf);
  1621. tbuf = buffer_new();
  1622. buffer_fmt(tbuf, "qi_make_function(state, \"%s\", %d, __func%d, ", name? name: node->t? node->t->text: "<anon>", !node->h? 0: (node->h->used - optargc), gid);
  1623. compile_table(gbuf, tbuf, ctx, lstk, lbl, node->h2);
  1624. buffer_fmt(tbuf, ")");
  1625. if (node->tag == N_FUNCEXPR) {
  1626. buffer_appendb(buf, tbuf);
  1627. return;
  1628. }
  1629. EMIT("qi_set(state, false, \"%s\", ", node->t->text);
  1630. buffer_appendb(buf, tbuf);
  1631. EMIT(");");
  1632. }
  1633. table_t *CONSTANTS;
  1634. void compile_block(buffer_t *gbuf, buffer_t *buf, list_t *ctx, stack_t *lstk, list_t *lbl, list_t *block, int toplevel) {
  1635. for (size_t i = 0; i < block->length; i++) {
  1636. node_t *node = block->data[i];
  1637. if (node->tag == N_CONST) {
  1638. if (!toplevel)
  1639. COMPILE_ERROR("const is not on top-level")
  1640. table_iterate(node->h, {
  1641. char *name = entry.key;
  1642. if (table_get(CONSTANTS, name))
  1643. COMPILE_ERROR("redeclaration of compile-time constant: '%s'", name);
  1644. table_set(CONSTANTS, name, entry.value);
  1645. });
  1646. } else if (node->tag == N_FUNCDEF) {
  1647. compile_func(gbuf, buf, ctx, lstk, lbl, node, NULL);
  1648. EMIT("\n");
  1649. } else if (node->tag == N_CLASS) {
  1650. NEWGID();
  1651. char *name = node->t->text;
  1652. list_t *supers = list_index(node->l, 0);
  1653. list_t *triples = list_index(node->l, 1);
  1654. buffer_t *tbuf = buffer_new();
  1655. buffer_fmt(tbuf, "qi_value_t *__class%d(qi_state_t *state) {\n", gid);
  1656. buffer_fmt(tbuf, "qi_list_t *supers = qi_list_make_n(%d);\n", !supers? 0: supers->length);
  1657. if (supers)
  1658. for (size_t i = 0; i < supers->length; i++) {
  1659. token_t *t = supers->data[i];
  1660. buffer_fmt(tbuf, "qi_list_data(supers, %d) = qi_get(state, \"%s\");\n", i, t->text);
  1661. }
  1662. buffer_fmt(tbuf, "qi_table_t *table = qi_table_make();\n");
  1663. buffer_fmt(tbuf, "qi_table_t *metatable = qi_table_make();\n");
  1664. for (size_t i = 0; i < triples->length; i++) {
  1665. list_t *triple = triples->data[i];
  1666. token_t *t = triple->data[0];
  1667. buffer_t *methodname = buffer_new();
  1668. buffer_fmt(methodname, "%s.%s", name, t->text);
  1669. buffer_fmt(tbuf, "qi_table_set(%s, \"%s\", ", triple->data[1] != NULL? "table": "metatable", t->text);
  1670. if (triple->data[1] == NULL)
  1671. compile_func(gbuf, tbuf, ctx, lstk, lbl, triple->data[2], buffer_read(methodname));
  1672. else
  1673. compile_node(gbuf, tbuf, ctx, lstk, lbl, triple->data[2]);
  1674. buffer_fmt(tbuf, ");\n");
  1675. }
  1676. buffer_fmt(tbuf, "qi_list_t *pargs = qi_list_make_n(4);\n");
  1677. buffer_fmt(tbuf, "qi_list_data(pargs, 0) = qi_make_string(state, \"%s\");\n", name);
  1678. buffer_fmt(tbuf, "qi_list_data(pargs, 1) = qi_make_list(state, supers);\n");
  1679. buffer_fmt(tbuf, "qi_list_data(pargs, 2) = qi_make_table(state, table);\n");
  1680. buffer_fmt(tbuf, "qi_list_data(pargs, 3) = qi_make_table(state, metatable);\n");
  1681. buffer_fmt(tbuf, "return qi_call(state, qi_get(state, \"__class_wrapper\"), pargs);\n");
  1682. buffer_fmt(tbuf, "}\n");
  1683. buffer_appendb(gbuf, tbuf);
  1684. EMIT("qi_set(state, false, \"%s\", __class%d(state));", name, gid);
  1685. } else if (node->tag == N_LABEL) {
  1686. char *label = node->t->text;
  1687. if (table_get(list_index(lbl, -1), label))
  1688. COMPILE_ERROR("duplicated label: '%s'", label);
  1689. NEWGID();
  1690. size_t *n = malloc(sizeof(size_t));
  1691. memcpy(n, &gid, sizeof(size_t));
  1692. table_set(list_index(lbl, -1), label, n);
  1693. }
  1694. }
  1695. for (size_t i = 0; i < block->length; i++) {
  1696. node_t *n = block->data[i];
  1697. if (n->tag == N_FUNCDEF)
  1698. continue;
  1699. compile_node(gbuf, buf, ctx, lstk, lbl, n);
  1700. EMIT("\n");
  1701. }
  1702. }
  1703. const char *STD[][2] = {
  1704. {"std",
  1705. "func exit(c) {\n"
  1706. " if type(c) != \"number\"\n"
  1707. " throw \"expected first argument to be: number, but got: \" + type(c)\n"
  1708. " inline `int code = qi_get(state, \"c\")->value.number`\n"
  1709. " inline `exit(code)`\n"
  1710. "}\n"
  1711. "func head(l): return l[0]\n"
  1712. "func tail(l): return slice(l, 1)\n"
  1713. "func die(msg, c=1) {\n"
  1714. " println(msg)\n"
  1715. " exit(c)\n"
  1716. "}\n"
  1717. "const SEEK_SET = 0, SEEK_CUR = 1, SEEK_END = 2\n"
  1718. "func frewind(file)\n"
  1719. " return file.rewind()\n"
  1720. "func file_read(filename) {\n"
  1721. " let file = fopen(filename, \"r\")\n"
  1722. " defer fclose(file)\n"
  1723. " return str(fread(file, -1))\n"
  1724. "}\n"
  1725. "func file_write(filename, data) {\n"
  1726. " let file = fopen(filename, \"w\")\n"
  1727. " defer fclose(file)\n"
  1728. " fwrite(file, bytes(data))\n"
  1729. "}\n"
  1730. "func is_defined(name) {\n"
  1731. " if type(name) != \"string\"\n"
  1732. " throw \"expected first argument to be: string, but got: \" + type(name)\n"
  1733. " inline `bool b = qi_find(state, qi_get(state, \"name\")->value.string) != NULL`\n"
  1734. " inline `return qi_make_boolean(state, b)`\n"
  1735. "}\n"
  1736. "func list_remove(l, x, first=false) {\n"
  1737. " if type(l) != \"list\"\n"
  1738. " throw \"expected first argument to be: list, but got: \" + type(l)\n"
  1739. " repeat:\n"
  1740. " for var i = 0; i < len(l); i++\n"
  1741. " if l[i] == x {\n"
  1742. " list_delete(l, i)\n"
  1743. " if first\n"
  1744. " break\n"
  1745. " goto repeat\n"
  1746. " }\n"
  1747. "}\n"
  1748. "set_pseudomethod(\"list.remove\", list_remove)\n"
  1749. "func list_join(l) {\n"
  1750. " if type(l) != \"list\"\n"
  1751. " throw \"expected first argument to be: list, but got: \" + type(l)\n"
  1752. " var r = \"\"\n"
  1753. " var s\n"
  1754. " if len(arguments) == 1\n"
  1755. " s = \"\"\n"
  1756. " else\n"
  1757. " s = arguments[1]\n"
  1758. " if type(s) != \"string\"\n"
  1759. " throw \"expected second argument to be: string, but got: \" + type(s)\n"
  1760. " var first = true\n"
  1761. " for var x of l {\n"
  1762. " if type(x) != \"string\"\n"
  1763. " throw \"expected sequence item to be: string, but got: \" + type(x)\n"
  1764. " if s != \"\" && !first\n"
  1765. " r += s\n"
  1766. " r += x\n"
  1767. " first = false\n"
  1768. " }\n"
  1769. " return r\n"
  1770. "}\n"
  1771. "set_pseudomethod(\"list.join\", list_join)\n"
  1772. "func slice(l) {\n"
  1773. " if type(l) !in (\"list\", \"string\", \"bytes\")\n"
  1774. " throw \"expected first argument to be: list, string or bytes, but got: \" + type(l)\n"
  1775. " var r = []\n"
  1776. " if len(arguments) == 2 {\n"
  1777. " var f = arguments[1]\n"
  1778. " if type(f) != \"number\"\n"
  1779. " throw \"expected second argument to be: number, but got: \" + type(f)\n"
  1780. " for var i = f; i < len(l); i++\n"
  1781. " list_push(r, l[i])\n"
  1782. " } elif len(arguments) == 3 {\n"
  1783. " var f = arguments[1], t = arguments[2]\n"
  1784. " if type(f) != \"number\"\n"
  1785. " throw \"expected second argument to be: number, but got: \" + type(f)\n"
  1786. " if type(t) != \"number\"\n"
  1787. " throw \"expected third argument to be: number, but got: \" + type(t)\n"
  1788. " for var i = f; i < len(l) && i <= t; i++\n"
  1789. " list_push(r, l[i])\n"
  1790. " }\n"
  1791. " if type(l) == \"string\"\n"
  1792. " return list_join(r)\n"
  1793. " elif type(l) == \"bytes\"\n"
  1794. " return bytes(r)\n"
  1795. " return r\n"
  1796. "}\n"
  1797. "set_pseudomethod(\"list.slice\", slice)\n"
  1798. "set_pseudomethod(\"string.slice\", slice)\n"
  1799. "set_pseudomethod(\"bytes.slice\", slice)\n"
  1800. "func Object(t, p=nil): return p !is nil? set_meta_table(p, get_meta_table(p) + t): set_meta_table({}, t)\n"
  1801. "func is_object(o): return has_meta_table(o)\n"
  1802. "func __class_wrapper(n, p, t, mt): return Object({\n"
  1803. " t: t,\n"
  1804. " mt: mt,\n"
  1805. " super: [],\n"
  1806. " __type: func (this) use (n): return n,\n"
  1807. " __str: func (this) use (n): return \"<class \" + n + \">\",\n"
  1808. " __call: func (this, pargs) use (p) {\n"
  1809. " var t = {}\n"
  1810. " var mt = {}\n"
  1811. " for var other of p {\n"
  1812. " t += other.t\n"
  1813. " mt += other.mt\n"
  1814. " list_push(this.super, other)\n"
  1815. " }\n"
  1816. " if len(this.super) == 1\n"
  1817. " this.super = this.super[0]\n"
  1818. " t += this.t\n"
  1819. " mt += this.mt\n"
  1820. " t.super = this.super\n"
  1821. " obj = set_meta_table(t, mt)\n"
  1822. " if \"constructor\" in mt\n"
  1823. " func_call(mt.constructor, [obj] + pargs)\n"
  1824. " return obj\n"
  1825. " }\n"
  1826. "})\n"
  1827. "inline `srand(time(NULL))`\n"
  1828. },
  1829. {"utf8",
  1830. "func utf8_chrlen(s) {\n"
  1831. " s = bytes(s)\n"
  1832. " var z = len(s)\n"
  1833. " if z < 2\n"
  1834. " return z\n"
  1835. " var l = 1\n"
  1836. " for var i = 1; i < z && (s[i] & 0xc0) == 0x80; i++\n"
  1837. " l++\n"
  1838. " return l\n"
  1839. "}\n"
  1840. "func utf8_decode(s) {\n"
  1841. " s = bytes(s)\n"
  1842. " var l = utf8_chrlen(s)\n"
  1843. " if !l\n"
  1844. " throw \"malformed sequence\"\n"
  1845. " var c = (s[0] & ((1 << (8 - l)) - 1)) << (l - 1) * 6\n"
  1846. " for var i = 1; i < l; i++\n"
  1847. " c |= (s[i] & 0x3f) << (l - i - 1) * 6\n"
  1848. " return (c, l)\n"
  1849. "}\n"
  1850. "func utf8_encode(c) {\n"
  1851. " if c <= 0x7f\n"
  1852. " return bytes([c & 0xFF])\n"
  1853. " elif c >= 0x80 && c <= 0x7ff\n"
  1854. " return bytes([0xC0 | ((c >> 6) & 0x1f), 0x80 | (c & 0x3f)])\n"
  1855. " elif c >= 0x800 && c <= 0xfff\n"
  1856. " return bytes([0xe0 | ((c >> 12) & 0xf), 0x80 | ((c >> 6) & 0x3f), 0x80 | (c & 0x3f)])\n"
  1857. " elif c >= 0x10000 && c <= 0x10ffff\n"
  1858. " return bytes([0xf0 | ((c >> 18) & 0x7), 0x80 | ((c >> 12) & 0x3f), 0x80 | ((c >> 6) & 0x3f), 0x80 | (c & 0x3f)])\n"
  1859. " throw \"malformed codepoint\"\n"
  1860. "}\n"
  1861. },
  1862. {"str",
  1863. "let STR_LETTERS = \"abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ\"\n"
  1864. "let STR_ASCII_LC = \"abcdefghijklmnopqrstuvwxyz\"\n"
  1865. "let STR_ASCII_UC = \"ABCDEFGHIJKLMNOPQRSTUVWXYZ\"\n"
  1866. "let STR_DIGITS = \"0123456789\"\n"
  1867. "func is_char(c): return type(c) == \"string\" && len(c) == 1\n"
  1868. },
  1869. {"math", NULL},
  1870. {NULL, NULL}
  1871. };
  1872. const struct {
  1873. const char *name;
  1874. const char *fname;
  1875. int arity;
  1876. } MATHFUNCS[] = {
  1877. { "ceil", NULL, 1 },
  1878. { "floor", NULL, 1 },
  1879. { "trunc", NULL, 1 },
  1880. { "round", NULL, 1 },
  1881. { "abs", "fabs", 1 },
  1882. { "exp", NULL, 1 },
  1883. { "sqrt", NULL, 1 },
  1884. { "sinh", NULL, 1 },
  1885. { "cosh", NULL, 1 },
  1886. { "tanh", NULL, 1 },
  1887. { "asinh", NULL, 1 },
  1888. { "acosh", NULL, 1 },
  1889. { "atanh", NULL, 1 },
  1890. { "sin", NULL, 1 },
  1891. { "cos", NULL, 1 },
  1892. { "tan", NULL, 1 },
  1893. { "asin", NULL, 1 },
  1894. { "acos", NULL, 1 },
  1895. { "atan", NULL, 1 },
  1896. { "atan2", NULL, 2 },
  1897. { "hypot", NULL, 2 },
  1898. { "random", "rand", 0 },
  1899. { NULL, 0 }
  1900. };
  1901. void genmathlib(void) {
  1902. buffer_t *buffer = buffer_new();
  1903. buffer_appends(buffer, "let Math = {\"tau\": 6.283185307179586, \"pi\": 3.141592653589793, \"e\": 2.718281828459045, \"inf\": INFINITY, \"nan\": NAN, ");
  1904. for (size_t i = 0; MATHFUNCS[i].name; i++) {
  1905. if (MATHFUNCS[i].arity == 0)
  1906. buffer_fmt(buffer, "\"%s\": func () { inline `return qi_make_number(state, %s())` }", MATHFUNCS[i].name, MATHFUNCS[i].fname? MATHFUNCS[i].fname: MATHFUNCS[i].name);
  1907. else if (MATHFUNCS[i].arity == 1)
  1908. buffer_fmt(buffer, "\"%s\": func (x) { if type(x) != \"number\" { throw \"expected first argument to be: number, but got: \" + type(x) } inline `double n = %s(qi_get(state, \"x\")->value.number)`; inline `return qi_make_number(state, n)` }", MATHFUNCS[i].name, MATHFUNCS[i].fname? MATHFUNCS[i].fname: MATHFUNCS[i].name);
  1909. else
  1910. buffer_fmt(buffer, "\"%s\": func (x, y) { if type(x) != \"number\" { throw \"expected first argument to be: number, but got: \" + type(x) } if type(y) != \"number\" { throw \"expected second argument to be: number, but got: \" + type(y) } inline `double n = %s(qi_get(state, \"x\")->value.number, qi_get(state, \"y\")->value.number)`; inline `return qi_make_number(state, n)` }", MATHFUNCS[i].name, MATHFUNCS[i].fname? MATHFUNCS[i].fname: MATHFUNCS[i].name);
  1911. if (MATHFUNCS[i + 1].name)
  1912. buffer_append(buffer, ',');
  1913. }
  1914. buffer_append(buffer, '}');
  1915. size_t i;
  1916. for (i = 0; strcmp(STD[i][0], "math") != 0; i++) ;
  1917. STD[i][1] = buffer_read(buffer);
  1918. }
  1919. char *unescape(char *s) {
  1920. buffer_t *buf = buffer_new();
  1921. for (size_t i = 0; i < strlen(s); i++) {
  1922. char c = s[i];
  1923. if (c == '\\') {
  1924. char nc = s[i+1];
  1925. if (!nc)
  1926. continue;
  1927. switch (nc) {
  1928. case 'n':
  1929. buffer_append(buf, '\n');
  1930. break;
  1931. default:
  1932. buffer_append(buf, nc);
  1933. break;
  1934. }
  1935. i++;
  1936. } else buffer_append(buf, c);
  1937. }
  1938. return buffer_read(buf);
  1939. }
  1940. void compile_into(char *source, buffer_t *gbuf, buffer_t *buf, list_t *ctx, stack_t *lstk, list_t *lbl);
  1941. int require_once(buffer_t *gbuf, buffer_t *buf, list_t *ctx, stack_t *lstk, list_t *lbl, char *path) {
  1942. char *source = NULL;
  1943. for (size_t i = 0; STD[i][0]; i++) {
  1944. if (strcmp(path, STD[i][0]) == 0) {
  1945. source = (char *)STD[i][1];
  1946. break;
  1947. }
  1948. }
  1949. if (is_required(path))
  1950. return 1;
  1951. if (!source) {
  1952. FILE *fd = fopen(path, "rb");
  1953. if (!fd)
  1954. return -1;
  1955. buffer_t *fbuf = buffer_new();
  1956. for (;;) {
  1957. char line[512];
  1958. if (!fgets(line, sizeof(line), fd))
  1959. break;
  1960. buffer_appends(fbuf, line);
  1961. }
  1962. source = buffer_read(fbuf);
  1963. path = realpath(path, NULL);
  1964. }
  1965. list_t *pair = list_new();
  1966. list_push(pair, path);
  1967. list_push(pair, source);
  1968. list_push(FILES, pair);
  1969. compile_into(source, gbuf, buf, ctx, lstk, lbl);
  1970. list_pop(FILES);
  1971. list_push(REQUIRED, path);
  1972. return 0;
  1973. }
  1974. void compile_node(buffer_t *gbuf, buffer_t *buf, list_t *ctx, stack_t *lstk, list_t *lbl, node_t *node) {
  1975. switch (node->tag) {
  1976. case N_TOPLEVEL: case N_PROGRAM:
  1977. compile_block(gbuf, buf, ctx, lstk, lbl, node->l, node->tag == N_TOPLEVEL);
  1978. break;
  1979. case N_EXPRSTMT:
  1980. EMIT("(void)(");
  1981. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  1982. EMIT(");");
  1983. break;
  1984. case N_BLOCK:
  1985. LBPUSH();
  1986. CTXPUSH("scope");
  1987. EMIT("qi_new_scope(state);\n");
  1988. compile_block(gbuf, buf, ctx, lstk, lbl, node->l, 0);
  1989. EMIT("qi_old_scope(state);");
  1990. CTXPOP();
  1991. LBPOP();
  1992. break;
  1993. case N_LITERAL:
  1994. switch (node->t->tag) {
  1995. case T_NUMBER: {
  1996. char *number = node->t->text;
  1997. if (strncmp(number, "0o", 2) == 0 || strncmp(number, "0b", 2) == 0) {
  1998. buffer_t *buf = buffer_new();
  1999. if (number[1] == 'o')
  2000. buffer_fmt(buf, "0%s", number + 2);
  2001. else
  2002. buffer_fmt(buf, "%d", strtol(number + 2, NULL, 2));
  2003. number = buffer_read(buf);
  2004. } else if (number[0] == '0' && number[1] && isdigit(number[1])) {
  2005. size_t i;
  2006. for (i = 0; i < strlen(number); i++)
  2007. if (number[i] != '0' || number[i+1] == '.')
  2008. break;
  2009. number += i;
  2010. }
  2011. EMIT("qi_make_number(state, %s)", number);
  2012. } break;
  2013. case T_STRING:
  2014. if (!*(node->t->text)) {
  2015. EMIT("state->empty_string");
  2016. } else {
  2017. EMIT("qi_make_string(state, \"%s\")", node->t->text);
  2018. }
  2019. break;
  2020. case T_NAME: {
  2021. char *name = node->t->text;
  2022. node_t *n = table_get(CONSTANTS, name);
  2023. if (n)
  2024. compile_node(gbuf, buf, ctx, lstk, lbl, n);
  2025. else
  2026. EMIT("qi_get(state, \"%s\")", name);
  2027. } break;
  2028. default:
  2029. COMPILE_ERROR("not yet implemented");
  2030. }
  2031. break;
  2032. case N_LIST:
  2033. EMIT("qi_make_list(state, ");
  2034. compile_list(gbuf, buf, ctx, lstk, lbl, node->l);
  2035. EMIT(")");
  2036. break;
  2037. case N_TUPLE:
  2038. EMIT("qi_make_tuple(state, ");
  2039. compile_list(gbuf, buf, ctx, lstk, lbl, node->l);
  2040. EMIT(")");
  2041. break;
  2042. case N_NILTUPLE: EMIT("state->empty_tuple"); break;
  2043. case N_TABLE:
  2044. EMIT("qi_make_table(state, ");
  2045. compile_table(gbuf, buf, ctx, lstk, lbl, node->h);
  2046. EMIT(")");
  2047. break;
  2048. case N_CALL:
  2049. EMIT("qi_call(state, ");
  2050. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  2051. EMIT(", ");
  2052. compile_list(gbuf, buf, ctx, lstk, lbl, node->l);
  2053. EMIT(")");
  2054. break;
  2055. case N_MEMBER:
  2056. EMIT("qi_index(state, ");
  2057. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  2058. EMIT(", qi_make_string(state, \"%s\"))", node->t->text);
  2059. break;
  2060. case N_INDEX:
  2061. EMIT("qi_index(state, ");
  2062. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  2063. EMIT(", ");
  2064. compile_node(gbuf, buf, ctx, lstk, lbl, node->b);
  2065. EMIT(")");
  2066. break;
  2067. case N_ASSIGN: ASSIGN(node->a, compile_node(gbuf, buf, ctx, lstk, lbl, node->b)); break;
  2068. case N_ASSIGN_ADD: COMPASSIGN(node->a, "add", compile_node(gbuf, buf, ctx, lstk, lbl, node->b)); break;
  2069. case N_ASSIGN_SUB: COMPASSIGN(node->a, "sub", compile_node(gbuf, buf, ctx, lstk, lbl, node->b)); break;
  2070. case N_ASSIGN_MUL: COMPASSIGN(node->a, "mul", compile_node(gbuf, buf, ctx, lstk, lbl, node->b)); break;
  2071. case N_ASSIGN_DIV: COMPASSIGN(node->a, "div", compile_node(gbuf, buf, ctx, lstk, lbl, node->b)); break;
  2072. case N_ASSIGN_IDIV: COMPASSIGN(node->a, "idiv", compile_node(gbuf, buf, ctx, lstk, lbl, node->b)); break;
  2073. case N_ASSIGN_MOD: COMPASSIGN(node->a, "mod", compile_node(gbuf, buf, ctx, lstk, lbl, node->b)); break;
  2074. case N_ASSIGN_POW: COMPASSIGN(node->a, "pow", compile_node(gbuf, buf, ctx, lstk, lbl, node->b)); break;
  2075. case N_ASSIGN_BOR: COMPASSIGN(node->a, "bor", compile_node(gbuf, buf, ctx, lstk, lbl, node->b)); break;
  2076. case N_ASSIGN_BAND: COMPASSIGN(node->a, "band", compile_node(gbuf, buf, ctx, lstk, lbl, node->b)); break;
  2077. case N_INC:
  2078. COMPASSIGN(node->a, "add", EMIT("state->one"));
  2079. break;
  2080. case N_DEC:
  2081. COMPASSIGN(node->a, "sub", EMIT("state->one"));
  2082. break;
  2083. case N_VAR: case N_LET:
  2084. table_iterate(node->h, {
  2085. EMIT("qi_%s(state, \"%s\", ", node->tag == N_LET? "decl_const": "decl", entry.key);
  2086. if (entry.value)
  2087. compile_node(gbuf, buf, ctx, lstk, lbl, entry.value);
  2088. else EMIT("state->nil");
  2089. EMIT(");\n");
  2090. });
  2091. break;
  2092. case N_UNPACK: case N_VARUNPACK: case N_LETUNPACK: {
  2093. char *varname = tempvar();
  2094. EMIT("qi_value_t *%s = ", varname);
  2095. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  2096. EMIT(";\n");
  2097. for (size_t i = 0; i < node->l->length; i++)
  2098. if (node->tag == N_UNPACK) {
  2099. EMIT("qi_set(state, false, \"%s\", qi_index(state, %s, qi_make_number(state, %d)));\n", node->l->data[i], varname, i);
  2100. } else {
  2101. EMIT("%s(state, \"%s\", qi_index(state, %s, qi_make_number(state, %d)));\n", node->tag == N_VARUNPACK? "qi_decl": "qi_decl_const", node->l->data[i], varname, i);
  2102. }
  2103. } break;
  2104. case N_CONST:break;
  2105. case N_IF:
  2106. EMIT("if (_qi_truthy(state, ");
  2107. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  2108. EMIT(")) {\n");
  2109. compile_node(gbuf, buf, ctx, lstk, lbl, node->b);
  2110. if (node->c) {
  2111. EMIT("} else {\n");
  2112. compile_node(gbuf, buf, ctx, lstk, lbl, node->c);
  2113. }
  2114. EMIT("}");
  2115. break;
  2116. case N_SWITCH: {
  2117. NEWGID();
  2118. char *varname = tempvar();
  2119. EMIT("qi_value_t *%s = ", varname);
  2120. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  2121. EMIT(";\n");
  2122. for (size_t i = 0; i < node->l->length; i++) {
  2123. list_t *pair = node->l->data[i];
  2124. char *label = tempvar();
  2125. EMIT("if (_qi_equals(state, %s, ", varname);
  2126. compile_node(gbuf, buf, ctx, lstk, lbl, pair->data[0]);
  2127. EMIT(")) goto %s;\n", label);
  2128. pair->data[0] = label;
  2129. }
  2130. EMIT("goto __default%d;\n", gid);
  2131. LPUSH(gid);
  2132. CTXPUSH("switch");
  2133. for (size_t i = 0; i < node->l->length; i++) {
  2134. list_t *pair = node->l->data[i];
  2135. char *label = pair->data[0];
  2136. node_t *block = pair->data[1];
  2137. EMIT("%s:;\n", label);
  2138. compile_node(gbuf, buf, ctx, lstk, lbl, block);
  2139. }
  2140. EMIT("__default%d:;\n", gid);
  2141. if (node->b)
  2142. compile_node(gbuf, buf, ctx, lstk, lbl, node->b);
  2143. CTXPOP();
  2144. LPOP();
  2145. EMIT("__break%d:;\n", gid);
  2146. } break;
  2147. case N_FOR: {
  2148. NEWGID();
  2149. if (!node->a) {
  2150. EMIT("for (;;) {\n");
  2151. } else if (node->a && !node->b) {
  2152. EMIT("while (_qi_truthy(state, ");
  2153. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  2154. EMIT(")) {\n");
  2155. } else {
  2156. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  2157. EMIT("while (_qi_truthy(state, ");
  2158. compile_node(gbuf, buf, ctx, lstk, lbl, node->b);
  2159. EMIT(")) {\n");
  2160. }
  2161. LPUSH(gid);
  2162. CTXPUSH("for");
  2163. compile_node(gbuf, buf, ctx, lstk, lbl, node->d);
  2164. if (node->c) {
  2165. compile_node(gbuf, buf, ctx, lstk, lbl, node->c);
  2166. EMIT(";\n");
  2167. }
  2168. CTXPOP();
  2169. LPOP();
  2170. EMIT("__continue%d:;\n", gid);
  2171. EMIT("}\n");
  2172. EMIT("__break%d:;\n", gid);
  2173. } break;
  2174. case N_FOROF: case N_FOROFVAR: case N_FOROFUNPACK: case N_FOROFVARUNPACK: {
  2175. NEWGID();
  2176. char *varname = tempvar();
  2177. EMIT("qi_value_t *%s = qi_iter(state, ", varname);
  2178. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  2179. EMIT(");\n");
  2180. if (node->tag == N_FOROFVAR) {
  2181. EMIT("qi_decl(state, \"%s\", state->nil);\n", node->t->text);
  2182. } else if (node->tag == N_FOROFVARUNPACK) {
  2183. for (size_t i = 0; i < node->l->length; i++)
  2184. EMIT("qi_decl(state, \"%s\", state->nil);\n", node->l->data[i]);
  2185. }
  2186. EMIT("for (qi_size_t length = _qi_length(state, %s), i = 0; i < length; i++) {\n", varname);
  2187. if (node->tag == N_FOROFUNPACK || node->tag == N_FOROFVARUNPACK) {
  2188. for (size_t i = 0; i < node->l->length; i++)
  2189. EMIT("qi_set(state, false, \"%s\", qi_index(state, qi_index(state, %s, qi_make_number(state, i)), qi_make_number(state, %d)));\n", node->l->data[i], varname, i);
  2190. } else
  2191. EMIT("qi_set(state, false, \"%s\", qi_index(state, %s, qi_make_number(state, i)));\n", node->t->text, varname);
  2192. LPUSH(gid);
  2193. CTXPUSH("for");
  2194. compile_node(gbuf, buf, ctx, lstk, lbl, node->b);
  2195. CTXPOP();
  2196. LPOP();
  2197. EMIT("__continue%d:;\n", gid);
  2198. EMIT("}\n");
  2199. EMIT("__break%d:;\n", gid);
  2200. } break;
  2201. case N_BREAK:
  2202. if (!INCTX("for") && !INCTX("switch"))
  2203. COMPILE_ERROR("break outside of a loop or a switch");
  2204. EMIT("goto __break%d;", LID);
  2205. break;
  2206. case N_CONTINUE:
  2207. if (!INCTX("for"))
  2208. COMPILE_ERROR("continue outside of a loop");
  2209. EMIT("goto __continue%d;", LID);
  2210. break;
  2211. case N_DEFER: {
  2212. NEWGID();
  2213. buffer_t *tbuf = buffer_new();
  2214. buffer_fmt(tbuf, "void __defer%d(qi_state_t *state) {\n", gid);
  2215. LBPUSH();
  2216. CTXPUSH("gap");
  2217. compile_node(gbuf, tbuf, ctx, lstk, lbl, node->a);
  2218. CTXPOP();
  2219. LBPOP();
  2220. buffer_fmt(tbuf, "\n");
  2221. buffer_fmt(tbuf, "}\n");
  2222. buffer_appendb(gbuf, tbuf);
  2223. EMIT("qi_add_defer(state, -1, __defer%d);", gid);
  2224. } break;
  2225. case N_RETURN:
  2226. if (!INCTX("func"))
  2227. COMPILE_ERROR("return outside of a function");
  2228. for (size_t i = 0; i < SCOPESK; i++)
  2229. EMIT("qi_old_scope(state);\n");
  2230. for (size_t i = 0; i < TRAPSK; i++)
  2231. EMIT("qi_unset_trap(state, trap);\n");
  2232. EMIT("return ");
  2233. if (node->a)
  2234. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  2235. else EMIT("state->nil");
  2236. EMIT(";");
  2237. break;
  2238. case N_FUNCDEF: break;
  2239. case N_CLASS: break;
  2240. case N_PASS: break;
  2241. case N_TRY:
  2242. EMIT("qi_try(state, {\n");
  2243. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  2244. EMIT("}, {\n");
  2245. if (node->t)
  2246. EMIT("qi_decl(state, \"%s\", trap->value);\n", node->t->text);
  2247. CTXPUSH("trap");
  2248. compile_node(gbuf, buf, ctx, lstk, lbl, node->b);
  2249. CTXPOP();
  2250. EMIT("}, NULL);\n");
  2251. break;
  2252. case N_THROW:
  2253. EMIT("qi_throw(state, ");
  2254. if (node->a)
  2255. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  2256. else {
  2257. EMIT("state->nil");
  2258. }
  2259. EMIT(");");
  2260. break;
  2261. case N_LABEL: {
  2262. size_t *gid = table_get(list_index(lbl, -1), node->t->text);
  2263. EMIT("__label%d:;", *gid);
  2264. } break;
  2265. case N_GOTO: {
  2266. char *label = node->t->text;
  2267. size_t *gid = table_get(list_index(lbl, -1), label);
  2268. if (!gid)
  2269. COMPILE_ERROR("undefined label: '%s'", label);
  2270. EMIT("goto __label%d;", *gid);
  2271. } break;
  2272. case N_REQUIRE: {
  2273. char *path = unescape(node->t->text);
  2274. if (require_once(gbuf, buf, ctx, lstk, lbl, path) < 0)
  2275. COMPILE_ERROR("'%s' is not a valid file path or a builtin library name", path);
  2276. } break;
  2277. case N_IFEXPR:
  2278. EMIT("(_qi_truthy(state, ");
  2279. compile_node(gbuf, buf, ctx, lstk, lbl, node->a);
  2280. EMIT(")? ");
  2281. compile_node(gbuf, buf, ctx, lstk, lbl, node->b);
  2282. EMIT(": ");
  2283. compile_node(gbuf, buf, ctx, lstk, lbl, node->c);
  2284. EMIT(")");
  2285. break;
  2286. case N_FUNCEXPR:
  2287. compile_func(gbuf, buf, ctx, lstk, lbl, node, NULL);
  2288. break;
  2289. case N_EQUALS:
  2290. BINOP("equals");
  2291. break;
  2292. case N_NOTEQUALS:
  2293. BINOP("not_equals");
  2294. break;
  2295. case N_IS:
  2296. BINOP("is");
  2297. break;
  2298. case N_NOTIS:
  2299. BINOP("not_is");
  2300. break;
  2301. case N_IN:
  2302. BINOP("in");
  2303. break;
  2304. case N_NOTIN:
  2305. BINOP("not_in");
  2306. break;
  2307. case N_LT:
  2308. BINOP("lt");
  2309. break;
  2310. case N_GT:
  2311. BINOP("gt");
  2312. break;
  2313. case N_LE:
  2314. BINOP("le");
  2315. break;
  2316. case N_GE:
  2317. BINOP("ge");
  2318. break;
  2319. case N_ADD:
  2320. BINOP("add");
  2321. break;
  2322. case N_SUB:
  2323. BINOP("sub");
  2324. break;
  2325. case N_MUL:
  2326. BINOP("mul");
  2327. break;
  2328. case N_DIV:
  2329. BINOP("div");
  2330. break;
  2331. case N_IDIV:
  2332. BINOP("idiv");
  2333. break;
  2334. case N_MOD:
  2335. BINOP("mod");
  2336. break;
  2337. case N_POW:
  2338. BINOP("pow");
  2339. break;
  2340. case N_SHL:
  2341. BINOP("shl");
  2342. break;
  2343. case N_SHR:
  2344. BINOP("shr");
  2345. break;
  2346. case N_XOR:
  2347. BINOP("xor");
  2348. break;
  2349. case N_BOR:
  2350. BINOP("bor");
  2351. break;
  2352. case N_BAND:
  2353. BINOP("band");
  2354. break;
  2355. case N_LOGOR:
  2356. BINOP("or");
  2357. break;
  2358. case N_LOGAND:
  2359. BINOP("and");
  2360. break;
  2361. case N_NEGATE:
  2362. UNOP("negate");
  2363. break;
  2364. case N_NOT:
  2365. UNOP("not");
  2366. break;
  2367. case N_BNOT:
  2368. UNOP("bnot");
  2369. break;
  2370. case N_INLINE: EMIT("%s;", unescape(node->t->text)); break;
  2371. default:
  2372. COMPILE_ERROR("not yet implemented");
  2373. }
  2374. }
  2375. void compile_into(char *source, buffer_t *gbuf, buffer_t *buf, list_t *ctx, stack_t *lstk, list_t *lbl) {
  2376. node_t *n = parse(source);
  2377. compile_node(gbuf, buf, ctx, lstk, lbl, n);
  2378. }
  2379. char *compile(char *source) {
  2380. list_t *ctx = list_new();
  2381. stack_t *lstk = stack_new();
  2382. list_t *lbl = list_new();
  2383. LBPUSH();
  2384. buffer_t *gbuf = buffer_new();
  2385. buffer_appends(gbuf, "#include <qirt.h>\n");
  2386. buffer_t *buf = buffer_new();
  2387. require_once(gbuf, buf, ctx, lstk, lbl, "std");
  2388. compile_into(source, gbuf, buf, ctx, lstk, lbl);
  2389. buffer_t *rbuf = buffer_new();
  2390. buffer_appendb(rbuf, gbuf);
  2391. buffer_appends(rbuf, "int main(int argc, char **argv) {\n");
  2392. buffer_appends(rbuf, "qi_state_t *state;\n");
  2393. buffer_appends(rbuf, "qi_state_init(&state);\n");
  2394. buffer_appendb(rbuf, buf);
  2395. buffer_appends(rbuf, "qi_old_scope(state);\n");
  2396. buffer_appends(rbuf, "qi_finalize();\n");
  2397. buffer_appends(rbuf, "return 0;\n");
  2398. buffer_appends(rbuf, "}\n");
  2399. return buffer_read(rbuf);
  2400. }
  2401. char *compile_file(char *filename, FILE *fd) {
  2402. buffer_t *buf = buffer_new();
  2403. for (;;) {
  2404. char line[512];
  2405. if (!fgets(line, sizeof(line), fd))
  2406. break;
  2407. buffer_appends(buf, line);
  2408. }
  2409. char *source = buffer_read(buf);
  2410. list_t *pair = list_new();
  2411. list_push(pair, filename);
  2412. list_push(pair, source);
  2413. list_push(FILES, pair);
  2414. char *out = compile(source);
  2415. list_pop(FILES);
  2416. return out;
  2417. }
  2418. int main(int argc, char **argv) {
  2419. FILES = list_new();
  2420. REQUIRED = list_new();
  2421. CONSTANTS = table_new();
  2422. genmathlib();
  2423. char *out = compile_file("<stdin>", stdin);
  2424. fwrite(out, sizeof(char), strlen(out), stdout);
  2425. return 0;
  2426. }