Compiler.c 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466
  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 cLiteral() {
  147. const char* literal = cReadString();
  148. if(cConsumeTokenIf(T_OPEN_BRACKET)) {
  149. cCallFunction(literal, false);
  150. } else {
  151. cGetVar(literal);
  152. }
  153. }
  154. static void cPrimary() {
  155. Token t = cReadTokenAndLine();
  156. switch(t) {
  157. case T_INT: cConstantInt(); break;
  158. case T_FLOAT: cConstantFloat(); break;
  159. case T_NULL: cAddOperation(OP_PUSH_NULL); break;
  160. case T_TRUE: cAddOperation(OP_PUSH_TRUE); break;
  161. case T_FALSE: cAddOperation(OP_PUSH_FALSE); break;
  162. case T_OPEN_BRACKET:
  163. cExpression();
  164. cConsumeToken(T_CLOSE_BRACKET);
  165. break;
  166. case T_LITERAL: cLiteral(); break;
  167. default: cUnexpectedToken(t); break;
  168. }
  169. }
  170. static void cMul() {
  171. cPrimary();
  172. while(true) {
  173. if(cConsumeTokenIf(T_MUL)) {
  174. cPrimary();
  175. cAddOperation(OP_MUL);
  176. } else if(cConsumeTokenIf(T_DIV)) {
  177. cPrimary();
  178. cAddOperation(OP_DIV);
  179. } else {
  180. break;
  181. }
  182. }
  183. }
  184. static void cAdd() {
  185. cMul();
  186. while(true) {
  187. if(cConsumeTokenIf(T_ADD)) {
  188. cMul();
  189. cAddOperation(OP_ADD);
  190. } else if(cConsumeTokenIf(T_SUB)) {
  191. cMul();
  192. cAddOperation(OP_SUB);
  193. } else {
  194. break;
  195. }
  196. }
  197. }
  198. static void cComparison() {
  199. cAdd();
  200. while(true) {
  201. if(cConsumeTokenIf(T_LESS)) {
  202. cAdd();
  203. cAddOperation(OP_LESS);
  204. } else if(cConsumeTokenIf(T_LESS_EQUAL)) {
  205. cAdd();
  206. cAddOperation(OP_GREATER);
  207. cAddOperation(OP_NOT);
  208. } else if(cConsumeTokenIf(T_GREATER)) {
  209. cAdd();
  210. cAddOperation(OP_GREATER);
  211. } else if(cConsumeTokenIf(T_GREATER_EQUAL)) {
  212. cAdd();
  213. cAddOperation(OP_LESS);
  214. cAddOperation(OP_NOT);
  215. } else if(cConsumeTokenIf(T_EQUAL)) {
  216. cAdd();
  217. cAddOperation(OP_EQUAL);
  218. } else if(cConsumeTokenIf(T_NOT_EQUAL)) {
  219. cAdd();
  220. cAddOperation(OP_EQUAL);
  221. cAddOperation(OP_NOT);
  222. } else {
  223. break;
  224. }
  225. }
  226. }
  227. static void cExpression() {
  228. cComparison();
  229. }
  230. static void cSetVar(const char* literal) {
  231. cExpression();
  232. cConsumeToken(T_SEMICOLON);
  233. cAddOperation(OP_SET);
  234. cAddInt(cAddVar(literal));
  235. }
  236. static void cLineLiteral() {
  237. const char* literal = cReadString();
  238. Token t = cReadTokenAndLine();
  239. switch(t) {
  240. case T_SET: cSetVar(literal); break;
  241. case T_OPEN_BRACKET:
  242. cCallFunction(literal, true);
  243. cConsumeToken(T_SEMICOLON);
  244. break;
  245. default: cUnexpectedToken(t);
  246. }
  247. }
  248. static int cFunctionArguments() {
  249. int arguments = 0;
  250. while(!cConsumeTokenIf(T_CLOSE_BRACKET)) {
  251. cConsumeToken(T_LITERAL);
  252. arguments++;
  253. cAddVar(cReadString());
  254. if(cConsumeTokenIf(T_COMMA) && tPeekToken() != T_LITERAL) {
  255. cUnexpectedToken(tPeekToken());
  256. }
  257. }
  258. return arguments;
  259. }
  260. static void cLine(Token t);
  261. static void cConsumeBody() {
  262. cConsumeToken(T_OPEN_CURVED_BRACKET);
  263. int oldLine = line;
  264. while(!cConsumeTokenIf(T_CLOSE_CURVED_BRACKET)) {
  265. Token t = cReadTokenAndLine();
  266. if(t == T_END) {
  267. cError("unexpected end of file: non closed curved bracket on line %d", oldLine);
  268. }
  269. cLine(t);
  270. }
  271. }
  272. static void cLinkReturns() {
  273. for(int i = 0; i < returnIndex; i++) {
  274. cSetInt(returns[i], vars[1].entries);
  275. }
  276. returnIndex = 0;
  277. }
  278. static void cFunctionBody(const char* name, int arguments) {
  279. int oldLine = line;
  280. cAddOperation(OP_GOTO);
  281. int gotoIndex = cReserveInt();
  282. int address = code->length;
  283. returnState = 0;
  284. int p = cAddPush(arguments);
  285. cConsumeBody();
  286. cAddPop(p, vars[1].entries);
  287. cLinkReturns();
  288. if(!fmAdd(&functions, name, arguments, address, returnState == 2)) {
  289. cError("function registered twice on line %d", oldLine);
  290. }
  291. cAddOperation(OP_RETURN);
  292. cSetInt(gotoIndex, code->length);
  293. }
  294. static void cFunction() {
  295. if(varIndex == 1) {
  296. cError("function inside function on line %d", line);
  297. }
  298. cConsumeToken(T_LITERAL);
  299. const char* name = cReadString();
  300. cConsumeToken(T_OPEN_BRACKET);
  301. varIndex = 1;
  302. vars[1].entries = 0;
  303. cFunctionBody(name, cFunctionArguments());
  304. varIndex = 0;
  305. }
  306. static void cAddReturn() {
  307. cAddOperation(OP_POP_VARS);
  308. returns[returnIndex++] = cReserveInt(vars);
  309. cAddOperation(OP_RETURN);
  310. }
  311. static void cReturn() {
  312. if(varIndex == 0) {
  313. cError("return without a function on line %d", line);
  314. } else if(returnIndex >= RETURN_BUFFER) {
  315. cError("too much returns in function around line %d", line);
  316. }
  317. if(cConsumeTokenIf(T_SEMICOLON)) {
  318. if(returnState == 2) {
  319. cError("mixed return type on line %d", line);
  320. }
  321. returnState = 1;
  322. cAddReturn();
  323. } else {
  324. if(returnState == 1) {
  325. cError("mixed return type on line %d", line);
  326. }
  327. returnState = 2;
  328. cExpression();
  329. cAddOperation(OP_SET_RETURN);
  330. cAddReturn();
  331. cConsumeToken(T_SEMICOLON);
  332. }
  333. }
  334. static void cPrint() {
  335. cExpression();
  336. cConsumeToken(T_SEMICOLON);
  337. cAddOperation(OP_PRINT);
  338. }
  339. static void cIf() {
  340. cConsumeToken(T_OPEN_BRACKET);
  341. cExpression();
  342. cConsumeToken(T_CLOSE_BRACKET);
  343. cAddOperation(OP_IF_GOTO);
  344. int p = cReserveInt();
  345. cConsumeBody();
  346. cSetInt(p, code->length);
  347. }
  348. static void cLine(Token t) {
  349. cAddOperation(OP_LINE);
  350. cAddInt16(line);
  351. switch(t) {
  352. case T_PRINT: cPrint(); break;
  353. case T_LITERAL: cLineLiteral(); break;
  354. case T_FUNCTION: cFunction(); break;
  355. case T_RETURN: cReturn(); break;
  356. case T_IF: cIf(); break;
  357. default: cUnexpectedToken(t);
  358. }
  359. }
  360. static void cForEachLine() {
  361. Token t = cReadTokenAndLine();
  362. while(t != T_END) {
  363. cLine(t);
  364. t = cReadTokenAndLine();
  365. }
  366. }
  367. static void cLinkQueuedFunctions() {
  368. for(int i = 0; i < functions.queueEntries; i++) {
  369. Function* f = fmSearch(&functions, functions.queue[i].name, functions.queue[i].arguments);
  370. if(f == NULL) {
  371. cError("unknown function on line %d", functions.queue[i].line);
  372. } else if(!functions.queue[i].noReturn && !f->returns) {
  373. cError("function '%s' needs a return value on line %d", f->name, functions.queue[i].line);
  374. }
  375. cSetInt(functions.queue[i].reserved, f->address);
  376. if(functions.queue[i].noReturn && f->returns) {
  377. code->code[functions.queue[i].reserved + sizeof(int) * 2] = OP_POP;
  378. }
  379. }
  380. }
  381. static void cAllocAndCompile() {
  382. varIndex = 0;
  383. returnIndex = 0;
  384. simInit(vars);
  385. simInit(vars + 1);
  386. fmInit(&functions);
  387. if(!setjmp(errorJump)) {
  388. int p = cAddPush(0);
  389. cForEachLine();
  390. cAddPop(p, vars[varIndex].entries);
  391. cLinkQueuedFunctions();
  392. }
  393. fmDelete(&functions);
  394. simDelete(vars + 1);
  395. simDelete(vars);
  396. }
  397. ByteCode* cCompile() {
  398. error[0] = '\0';
  399. code = bcInit();
  400. cAllocAndCompile();
  401. if(error[0] != '\0') {
  402. bcDelete(code);
  403. return NULL;
  404. }
  405. return code;
  406. }
  407. const char* cGetError() {
  408. return error;
  409. }