Compiler.c 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764
  1. #include <setjmp.h>
  2. #include <stdarg.h>
  3. #include <stdio.h>
  4. #include <string.h>
  5. #include "Compiler.h"
  6. #include "tokenizer/Tokenizer.h"
  7. #include "utils/FunctionMap.h"
  8. #include "utils/StringIntMap.h"
  9. #include "vm/Operation.h"
  10. #define ERROR_LENGTH 256
  11. #define RETURN_BUFFER 16
  12. #define BREAK_BUFFER 32
  13. static jmp_buf errorJump;
  14. static char error[ERROR_LENGTH] = {'\0'};
  15. static ByteCode* code;
  16. static int16 line = 1;
  17. static int varIndex = 0;
  18. static StringIntMap vars[2];
  19. static FunctionMap functions;
  20. static int returns[RETURN_BUFFER];
  21. static int returnIndex = 0;
  22. static int returnState = 0;
  23. static int breaks[BREAK_BUFFER];
  24. static int breakIndex = 0;
  25. static int forWhileStack = 0;
  26. static int continueAt = 0;
  27. static void cError(const char* format, ...) {
  28. va_list args;
  29. va_start(args, format);
  30. vsnprintf(error, ERROR_LENGTH, format, args);
  31. va_end(args);
  32. longjmp(errorJump, 0);
  33. }
  34. static int cAddVar(const char* var) {
  35. int index = vars[varIndex].entries;
  36. simAdd(vars + varIndex, var, &index);
  37. return index;
  38. }
  39. static void cUnexpectedToken(Token t) {
  40. cError("unexpected token on line %d: %s", line, tGetName(t));
  41. }
  42. static void cAddOperation(Operation token) {
  43. unsigned char c = token;
  44. bcAddBytes(code, &c, 1);
  45. }
  46. static int cReserveInt() {
  47. return bcReserveBytes(code, sizeof(int));
  48. }
  49. static void cSetInt(int p, int i) {
  50. bcSetBytes(code, p, &i, sizeof(int));
  51. }
  52. static void cAddInt(int i) {
  53. bcAddBytes(code, &i, sizeof(int));
  54. }
  55. static void cAddInt16(int16 i) {
  56. bcAddBytes(code, &i, sizeof(int16));
  57. }
  58. static void cAddFloat(float f) {
  59. bcAddBytes(code, &f, sizeof(float));
  60. }
  61. static int cAddPush(int offset) {
  62. cAddOperation(OP_PUSH_VARS);
  63. int p = cReserveInt();
  64. cAddInt(offset);
  65. return p;
  66. }
  67. static void cAddPop(int p, int vars) {
  68. cAddOperation(OP_POP_VARS);
  69. cAddInt(vars);
  70. cSetInt(p, vars);
  71. }
  72. static Token cReadTokenAndLine() {
  73. Token t = tReadToken();
  74. if(tReadInt16(&line)) {
  75. return t;
  76. }
  77. return T_END;
  78. }
  79. static void cConsumeToken(Token wanted) {
  80. Token t = cReadTokenAndLine();
  81. if(wanted != t) {
  82. cError("unexpected token on line %d: expected '%s' got '%s'", line,
  83. tGetName(wanted), tGetName(t));
  84. }
  85. }
  86. static bool cConsumeTokenIf(Token t) {
  87. if(tPeekToken() == t) {
  88. cReadTokenAndLine();
  89. return true;
  90. }
  91. return false;
  92. }
  93. static void cConstantInt() {
  94. int value;
  95. if(!tReadInt(&value)) {
  96. cError("int token without an int on line %d", line);
  97. }
  98. cAddOperation(OP_PUSH_INT);
  99. cAddInt(value);
  100. }
  101. static void cConstantFloat() {
  102. float value;
  103. if(!tReadFloat(&value)) {
  104. cError("float token without a float on line %d", line);
  105. }
  106. cAddOperation(OP_PUSH_FLOAT);
  107. cAddFloat(value);
  108. }
  109. static void cConstantString() {
  110. int length;
  111. const char* s = tReadString(&length);
  112. if(s == NULL) {
  113. cError("text without string on line %d", line);
  114. }
  115. cAddOperation(OP_PUSH_CONST_STRING);
  116. cAddInt(length);
  117. bcAddBytes(code, s, length);
  118. }
  119. static const char* cReadString() {
  120. int length;
  121. const char* literal = tReadString(&length);
  122. if(literal == NULL) {
  123. cError("literal without string on line %d", line);
  124. }
  125. return literal;
  126. }
  127. static void cExpression();
  128. static int cCallFunctionArguments() {
  129. int arguments = 0;
  130. while(!cConsumeTokenIf(T_CLOSE_BRACKET)) {
  131. arguments++;
  132. cExpression();
  133. if(cConsumeTokenIf(T_COMMA) && tPeekToken() == T_CLOSE_BRACKET) {
  134. cUnexpectedToken(tPeekToken());
  135. }
  136. }
  137. return arguments;
  138. }
  139. static void cCallFunction(const char* literal, bool noReturn) {
  140. cAddOperation(OP_PUSH_INT);
  141. cAddInt(0);
  142. int arguments = cCallFunctionArguments();
  143. Function* f = fmSearch(&functions, literal, arguments);
  144. cAddOperation(OP_GOSUB);
  145. if(f == NULL) {
  146. fmEnqueue(&functions, literal, arguments, line, cReserveInt(),
  147. noReturn);
  148. cAddInt(arguments);
  149. cAddOperation(OP_NOTHING);
  150. } else {
  151. if(!noReturn && !f->returns) {
  152. cError("function '%s' needs a return value on line %d", f->name,
  153. line);
  154. }
  155. cAddInt(f->address);
  156. cAddInt(arguments);
  157. if(f->returns && noReturn) {
  158. cAddOperation(OP_POP);
  159. }
  160. }
  161. }
  162. static void cAddReference(const char* var) {
  163. if(cConsumeTokenIf(T_OPEN_SQUARE_BRACKET)) {
  164. cExpression();
  165. cAddOperation(OP_REFERENCE_FROM_ARRAY);
  166. cAddInt(cAddVar(var));
  167. cConsumeToken(T_CLOSE_SQUARE_BRACKET);
  168. } else {
  169. cAddOperation(OP_REFERENCE_FROM_VAR);
  170. cAddInt(cAddVar(var));
  171. }
  172. }
  173. static void cLiteral() {
  174. const char* literal = cReadString();
  175. if(cConsumeTokenIf(T_OPEN_BRACKET)) {
  176. cCallFunction(literal, false);
  177. return;
  178. }
  179. cAddReference(literal);
  180. if(cConsumeTokenIf(T_INCREMENT)) {
  181. cAddOperation(OP_POST_INCREMENT);
  182. } else if(cConsumeTokenIf(T_DECREMENT)) {
  183. cAddOperation(OP_POST_DECREMENT);
  184. } else if(cConsumeTokenIf(T_POINT)) {
  185. cConsumeToken(T_LITERAL);
  186. const char* access = cReadString();
  187. if(strcmp(access, "length") == 0) {
  188. cAddOperation(OP_ARRAY_LENGTH);
  189. } else {
  190. cError("'%s' not supported after . on line %d", access, line);
  191. }
  192. } else {
  193. cAddOperation(OP_DEREFERENCE);
  194. }
  195. }
  196. static void cArray() {
  197. cConsumeToken(T_OPEN_SQUARE_BRACKET);
  198. cExpression();
  199. cConsumeToken(T_CLOSE_SQUARE_BRACKET);
  200. cAddOperation(OP_ALLOCATE_ARRAY);
  201. }
  202. static void cPrimary() {
  203. Token t = cReadTokenAndLine();
  204. switch(t) {
  205. case T_INT: cConstantInt(); break;
  206. case T_FLOAT: cConstantFloat(); break;
  207. case T_TEXT: cConstantString(); break;
  208. case T_NULL: cAddOperation(OP_PUSH_NULL); break;
  209. case T_TRUE: cAddOperation(OP_PUSH_TRUE); break;
  210. case T_FALSE: cAddOperation(OP_PUSH_FALSE); break;
  211. case T_OPEN_BRACKET:
  212. cExpression();
  213. cConsumeToken(T_CLOSE_BRACKET);
  214. break;
  215. case T_LITERAL: cLiteral(); break;
  216. case T_ARRAY: cArray(); break;
  217. default: cUnexpectedToken(t); break;
  218. }
  219. }
  220. static void cPreChange(Operation op) {
  221. cConsumeToken(T_LITERAL);
  222. cAddReference(cReadString());
  223. cAddOperation(op);
  224. }
  225. static void cPreUnary() {
  226. if(cConsumeTokenIf(T_SUB)) {
  227. cPrimary();
  228. cAddOperation(OP_INVERT_SIGN);
  229. } else if(cConsumeTokenIf(T_INCREMENT)) {
  230. cPreChange(OP_PRE_INCREMENT);
  231. } else if(cConsumeTokenIf(T_DECREMENT)) {
  232. cPreChange(OP_PRE_DECREMENT);
  233. } else if(cConsumeTokenIf(T_NOT)) {
  234. int counter = 1;
  235. while(cConsumeTokenIf(T_NOT)) {
  236. counter++;
  237. }
  238. cPrimary();
  239. cAddOperation(OP_NOT);
  240. if((counter & 1) == 0) {
  241. cAddOperation(OP_NOT);
  242. }
  243. } else if(cConsumeTokenIf(T_BIT_NOT)) {
  244. cPrimary();
  245. cAddOperation(OP_BIT_NOT);
  246. } else {
  247. cPrimary();
  248. }
  249. }
  250. static void cMul() {
  251. cPreUnary();
  252. while(true) {
  253. if(cConsumeTokenIf(T_MUL)) {
  254. cPreUnary();
  255. cAddOperation(OP_MUL);
  256. } else if(cConsumeTokenIf(T_DIV)) {
  257. cPreUnary();
  258. cAddOperation(OP_DIV);
  259. } else if(cConsumeTokenIf(T_MOD)) {
  260. cPreUnary();
  261. cAddOperation(OP_MOD);
  262. } else {
  263. break;
  264. }
  265. }
  266. }
  267. static void cAdd() {
  268. cMul();
  269. while(true) {
  270. if(cConsumeTokenIf(T_ADD)) {
  271. cMul();
  272. cAddOperation(OP_ADD);
  273. } else if(cConsumeTokenIf(T_SUB)) {
  274. cMul();
  275. cAddOperation(OP_SUB);
  276. } else {
  277. break;
  278. }
  279. }
  280. }
  281. static void cShift() {
  282. cAdd();
  283. while(true) {
  284. if(cConsumeTokenIf(T_LEFT_SHIFT)) {
  285. cAdd();
  286. cAddOperation(OP_LEFT_SHIFT);
  287. } else if(cConsumeTokenIf(T_RIGHT_SHIFT)) {
  288. cAdd();
  289. cAddOperation(OP_RIGHT_SHIFT);
  290. } else {
  291. break;
  292. }
  293. }
  294. }
  295. static void cComparison() {
  296. cShift();
  297. while(true) {
  298. if(cConsumeTokenIf(T_LESS)) {
  299. cShift();
  300. cAddOperation(OP_LESS);
  301. } else if(cConsumeTokenIf(T_LESS_EQUAL)) {
  302. cShift();
  303. cAddOperation(OP_GREATER);
  304. cAddOperation(OP_NOT);
  305. } else if(cConsumeTokenIf(T_GREATER)) {
  306. cShift();
  307. cAddOperation(OP_GREATER);
  308. } else if(cConsumeTokenIf(T_GREATER_EQUAL)) {
  309. cShift();
  310. cAddOperation(OP_LESS);
  311. cAddOperation(OP_NOT);
  312. } else {
  313. break;
  314. }
  315. }
  316. }
  317. static void cEqual() {
  318. cComparison();
  319. while(true) {
  320. if(cConsumeTokenIf(T_EQUAL)) {
  321. cComparison();
  322. cAddOperation(OP_EQUAL);
  323. } else if(cConsumeTokenIf(T_NOT_EQUAL)) {
  324. cComparison();
  325. cAddOperation(OP_EQUAL);
  326. cAddOperation(OP_NOT);
  327. } else {
  328. break;
  329. }
  330. }
  331. }
  332. static void cBitAnd() {
  333. cEqual();
  334. while(cConsumeTokenIf(T_BIT_AND)) {
  335. cEqual();
  336. cAddOperation(OP_BIT_AND);
  337. }
  338. }
  339. static void cBitXor() {
  340. cBitAnd();
  341. while(cConsumeTokenIf(T_BIT_XOR)) {
  342. cBitAnd();
  343. cAddOperation(OP_BIT_XOR);
  344. }
  345. }
  346. static void cBitOr() {
  347. cBitXor();
  348. while(cConsumeTokenIf(T_BIT_OR)) {
  349. cBitXor();
  350. cAddOperation(OP_BIT_OR);
  351. }
  352. }
  353. static void cAnd() {
  354. cBitOr();
  355. while(cConsumeTokenIf(T_AND)) {
  356. cAddOperation(OP_DUPLICATE);
  357. cAddOperation(OP_IF_GOTO);
  358. int p = cReserveInt();
  359. cBitOr();
  360. cAddOperation(OP_AND);
  361. cSetInt(p, code->length);
  362. }
  363. }
  364. static void cOr() {
  365. cAnd();
  366. while(cConsumeTokenIf(T_OR)) {
  367. cAddOperation(OP_DUPLICATE);
  368. cAddOperation(OP_NOT);
  369. cAddOperation(OP_IF_GOTO);
  370. int p = cReserveInt();
  371. cAnd();
  372. cAddOperation(OP_OR);
  373. cSetInt(p, code->length);
  374. }
  375. }
  376. static void cExpression() {
  377. cOr();
  378. }
  379. static void cOperationSet(Operation op) {
  380. cAddOperation(OP_DUPLICATE);
  381. cAddOperation(OP_DEREFERENCE);
  382. cExpression();
  383. cAddOperation(op);
  384. cAddOperation(OP_SET);
  385. }
  386. static void cLineLiteral() {
  387. const char* literal = cReadString();
  388. if(cConsumeTokenIf(T_OPEN_BRACKET)) {
  389. cCallFunction(literal, true);
  390. return;
  391. }
  392. cAddReference(literal);
  393. Token t = cReadTokenAndLine();
  394. switch(t) {
  395. case T_SET:
  396. cExpression();
  397. cAddOperation(OP_SET);
  398. break;
  399. case T_ADD_SET: cOperationSet(OP_ADD); break;
  400. case T_SUB_SET: cOperationSet(OP_SUB); break;
  401. case T_MUL_SET: cOperationSet(OP_MUL); break;
  402. case T_DIV_SET: cOperationSet(OP_DIV); break;
  403. case T_MOD_SET: cOperationSet(OP_MOD); break;
  404. case T_BIT_AND_SET: cOperationSet(OP_BIT_AND); break;
  405. case T_BIT_OR_SET: cOperationSet(OP_BIT_OR); break;
  406. case T_BIT_XOR_SET: cOperationSet(OP_BIT_XOR); break;
  407. case T_LEFT_SHIFT_SET: cOperationSet(OP_LEFT_SHIFT); break;
  408. case T_RIGHT_SHIFT_SET: cOperationSet(OP_RIGHT_SHIFT); break;
  409. case T_INCREMENT:
  410. cAddOperation(OP_POST_INCREMENT);
  411. cAddOperation(OP_POP);
  412. break;
  413. case T_DECREMENT:
  414. cAddOperation(OP_POST_DECREMENT);
  415. cAddOperation(OP_POP);
  416. break;
  417. default: cUnexpectedToken(t);
  418. }
  419. }
  420. static int cFunctionArguments() {
  421. int arguments = 0;
  422. while(!cConsumeTokenIf(T_CLOSE_BRACKET)) {
  423. cConsumeToken(T_LITERAL);
  424. arguments++;
  425. cAddVar(cReadString());
  426. if(cConsumeTokenIf(T_COMMA) && tPeekToken() != T_LITERAL) {
  427. cUnexpectedToken(tPeekToken());
  428. }
  429. }
  430. return arguments;
  431. }
  432. static void cLine(Token t);
  433. static void cConsumeBody() {
  434. cConsumeToken(T_OPEN_CURVED_BRACKET);
  435. int oldLine = line;
  436. while(!cConsumeTokenIf(T_CLOSE_CURVED_BRACKET)) {
  437. Token t = cReadTokenAndLine();
  438. if(t == T_END) {
  439. cError(
  440. "unexpected end of file: non closed curved bracket on line %d",
  441. oldLine);
  442. }
  443. cLine(t);
  444. }
  445. }
  446. static void cLinkReturns() {
  447. for(int i = 0; i < returnIndex; i++) {
  448. cSetInt(returns[i], vars[1].entries);
  449. }
  450. returnIndex = 0;
  451. }
  452. static void cFunctionBody(const char* name, int arguments) {
  453. int oldLine = line;
  454. cAddOperation(OP_GOTO);
  455. int gotoIndex = cReserveInt();
  456. int address = code->length;
  457. returnState = 0;
  458. int p = cAddPush(arguments);
  459. cConsumeBody();
  460. cAddPop(p, vars[1].entries);
  461. cLinkReturns();
  462. if(!fmAdd(&functions, name, arguments, address, returnState == 2)) {
  463. cError("function registered twice on line %d", oldLine);
  464. }
  465. cAddOperation(OP_RETURN);
  466. cSetInt(gotoIndex, code->length);
  467. }
  468. static void cFunction() {
  469. if(varIndex == 1) {
  470. cError("function inside function on line %d", line);
  471. }
  472. cConsumeToken(T_LITERAL);
  473. const char* name = cReadString();
  474. cConsumeToken(T_OPEN_BRACKET);
  475. varIndex = 1;
  476. vars[1].entries = 0;
  477. cFunctionBody(name, cFunctionArguments());
  478. varIndex = 0;
  479. }
  480. static void cAddReturn() {
  481. cAddOperation(OP_POP_VARS);
  482. returns[returnIndex++] = cReserveInt(vars);
  483. cAddOperation(OP_RETURN);
  484. }
  485. static void cReturn() {
  486. if(varIndex == 0) {
  487. cError("return without a function on line %d", line);
  488. } else if(returnIndex >= RETURN_BUFFER) {
  489. cError("too much returns in function around line %d", line);
  490. }
  491. if(cConsumeTokenIf(T_SEMICOLON)) {
  492. if(returnState == 2) {
  493. cError("mixed return type on line %d", line);
  494. }
  495. returnState = 1;
  496. cAddReturn();
  497. } else {
  498. if(returnState == 1) {
  499. cError("mixed return type on line %d", line);
  500. }
  501. returnState = 2;
  502. cExpression();
  503. cAddOperation(OP_SET_RETURN);
  504. cAddReturn();
  505. cConsumeToken(T_SEMICOLON);
  506. }
  507. }
  508. static void cPrint() {
  509. cExpression();
  510. cConsumeToken(T_SEMICOLON);
  511. cAddOperation(OP_PRINT);
  512. }
  513. static void cIf() {
  514. cConsumeToken(T_OPEN_BRACKET);
  515. cExpression();
  516. cConsumeToken(T_CLOSE_BRACKET);
  517. cAddOperation(OP_IF_GOTO);
  518. int ifP = cReserveInt();
  519. cConsumeBody();
  520. cSetInt(ifP, code->length);
  521. if(cConsumeTokenIf(T_ELSE)) {
  522. cAddOperation(OP_GOTO);
  523. int elseP = cReserveInt();
  524. cSetInt(ifP, code->length);
  525. if(cConsumeTokenIf(T_IF)) {
  526. cIf();
  527. } else {
  528. cConsumeBody();
  529. }
  530. cSetInt(elseP, code->length);
  531. }
  532. }
  533. static void cConsumeBreaks(int start, int address) {
  534. for(int i = start; i < breakIndex; i++) {
  535. cSetInt(breaks[i], address);
  536. }
  537. breakIndex = start;
  538. }
  539. static void cWhile() {
  540. int start = code->length;
  541. cConsumeToken(T_OPEN_BRACKET);
  542. cExpression();
  543. cConsumeToken(T_CLOSE_BRACKET);
  544. cAddOperation(OP_IF_GOTO);
  545. int ifP = cReserveInt();
  546. int breakStart = breakIndex;
  547. forWhileStack++;
  548. int oldContinue = continueAt;
  549. continueAt = start;
  550. cConsumeBody();
  551. continueAt = oldContinue;
  552. forWhileStack--;
  553. cAddOperation(OP_GOTO);
  554. cAddInt(start);
  555. cSetInt(ifP, code->length);
  556. cConsumeBreaks(breakStart, code->length);
  557. }
  558. static void cLineExpression(Token t) {
  559. switch(t) {
  560. case T_LITERAL: cLineLiteral(); break;
  561. case T_INCREMENT:
  562. cPreChange(OP_PRE_INCREMENT);
  563. cAddOperation(OP_POP);
  564. break;
  565. case T_DECREMENT:
  566. cPreChange(OP_PRE_DECREMENT);
  567. cAddOperation(OP_POP);
  568. break;
  569. default: cUnexpectedToken(t);
  570. }
  571. }
  572. static void cFor() {
  573. cConsumeToken(T_OPEN_BRACKET);
  574. cLineExpression(cReadTokenAndLine());
  575. cConsumeToken(T_SEMICOLON);
  576. int startCheck = code->length;
  577. cExpression();
  578. cConsumeToken(T_SEMICOLON);
  579. cAddOperation(OP_IF_GOTO);
  580. int end = cReserveInt();
  581. cAddOperation(OP_GOTO);
  582. int beginBody = cReserveInt();
  583. int startPerLoop = code->length;
  584. cLineExpression(cReadTokenAndLine());
  585. cAddOperation(OP_GOTO);
  586. cAddInt(startCheck);
  587. cConsumeToken(T_CLOSE_BRACKET);
  588. cSetInt(beginBody, code->length);
  589. int breakStart = breakIndex;
  590. forWhileStack++;
  591. int oldContinue = continueAt;
  592. continueAt = startPerLoop;
  593. cConsumeBody();
  594. continueAt = oldContinue;
  595. forWhileStack--;
  596. cAddOperation(OP_GOTO);
  597. cAddInt(startPerLoop);
  598. cSetInt(end, code->length);
  599. cConsumeBreaks(breakStart, code->length);
  600. }
  601. static void cBreak() {
  602. if(forWhileStack == 0) {
  603. cError("break without for or while on line %d", line);
  604. } else if(breakIndex >= BREAK_BUFFER) {
  605. cError("too much breaks around line %d", line);
  606. }
  607. cAddOperation(OP_GOTO);
  608. breaks[breakIndex++] = cReserveInt();
  609. cConsumeToken(T_SEMICOLON);
  610. }
  611. static void cContinue() {
  612. if(forWhileStack == 0) {
  613. cError("continue without for or while on line %d", line);
  614. }
  615. cAddOperation(OP_GOTO);
  616. cAddInt(continueAt);
  617. cConsumeToken(T_SEMICOLON);
  618. }
  619. static void cLine(Token t) {
  620. cAddOperation(OP_LINE);
  621. cAddInt16(line);
  622. switch(t) {
  623. case T_PRINT: cPrint(); break;
  624. case T_FUNCTION: cFunction(); break;
  625. case T_RETURN: cReturn(); break;
  626. case T_IF: cIf(); break;
  627. case T_WHILE: cWhile(); break;
  628. case T_FOR: cFor(); break;
  629. case T_BREAK: cBreak(); break;
  630. case T_CONTINUE: cContinue(); break;
  631. default: cLineExpression(t); cConsumeToken(T_SEMICOLON);
  632. }
  633. }
  634. static void cForEachLine() {
  635. Token t = cReadTokenAndLine();
  636. while(t != T_END) {
  637. cLine(t);
  638. t = cReadTokenAndLine();
  639. }
  640. }
  641. static void cLinkQueuedFunctions() {
  642. for(int i = 0; i < functions.queueEntries; i++) {
  643. Function* f = fmSearch(&functions, functions.queue[i].name,
  644. functions.queue[i].arguments);
  645. if(f == NULL) {
  646. cError("unknown function on line %d", functions.queue[i].line);
  647. } else if(!functions.queue[i].noReturn && !f->returns) {
  648. cError("function '%s' needs a return value on line %d", f->name,
  649. functions.queue[i].line);
  650. }
  651. cSetInt(functions.queue[i].reserved, f->address);
  652. if(functions.queue[i].noReturn && f->returns) {
  653. code->code[functions.queue[i].reserved + sizeof(int) * 2] = OP_POP;
  654. }
  655. }
  656. }
  657. static void cAllocAndCompile() {
  658. varIndex = 0;
  659. returnIndex = 0;
  660. returnState = 0;
  661. forWhileStack = 0;
  662. breakIndex = 0;
  663. simInit(vars);
  664. simInit(vars + 1);
  665. fmInit(&functions);
  666. if(!setjmp(errorJump)) {
  667. int p = cAddPush(0);
  668. cForEachLine();
  669. cAddPop(p, vars[varIndex].entries);
  670. cLinkQueuedFunctions();
  671. }
  672. fmDelete(&functions);
  673. simDelete(vars + 1);
  674. simDelete(vars);
  675. }
  676. ByteCode* cCompile() {
  677. error[0] = '\0';
  678. code = bcInit();
  679. cAllocAndCompile();
  680. if(error[0] != '\0') {
  681. bcDelete(code);
  682. return NULL;
  683. }
  684. return code;
  685. }
  686. const char* cGetError() {
  687. return error;
  688. }