Compiler.c 17 KB

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