You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

main.c 6.3KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292
  1. #include "vm/vm.h"
  2. #include "vm/print.h"
  3. #include "parse/parse.h"
  4. #include "parse/lex.h"
  5. #include "io.h"
  6. #include "bitset.h"
  7. #include "bytecode.h"
  8. #include "loader.h"
  9. #include <stdio.h>
  10. #include <string.h>
  11. #ifdef __unix__
  12. #define USE_READLINE
  13. #include <unistd.h>
  14. #include <readline/readline.h>
  15. #include <readline/history.h>
  16. #endif
  17. static int do_print_bytecode = 0;
  18. static int do_print_tokens = 0;
  19. static int do_step = 0;
  20. static int do_serialize_bytecode = 0;
  21. static int do_repl = 0;
  22. static char *input_filename = "-";
  23. static int parse_text(FILE *inf, struct l2_io_writer *w) {
  24. // Init lexer with its input reader
  25. struct l2_io_file_reader r;
  26. r.r.read = l2_io_file_read;
  27. r.f = inf;
  28. struct l2_lexer lexer;
  29. l2_lexer_init(&lexer, &r.r);
  30. if (do_print_tokens) {
  31. lexer.do_log_tokens = 1;
  32. }
  33. // Init gen with its output writer
  34. struct l2_generator gen;
  35. l2_gen_init(&gen, w);
  36. struct l2_parse_error err;
  37. if (l2_parse_program(&lexer, &gen, &err) < 0) {
  38. fprintf(stderr, "Parse error: %s:%i:%i: %s\n",
  39. input_filename, err.line, err.ch, err.message);
  40. l2_parse_error_free(&err);
  41. l2_gen_free(&gen);
  42. fclose(inf);
  43. return -1;
  44. }
  45. l2_gen_free(&gen);
  46. return 0;
  47. }
  48. static void step_through(struct l2_vm *vm) {
  49. printf("=====\n\nInitial state:\n");
  50. l2_vm_print_state(vm);
  51. char buf[16];
  52. while (!vm->halted) {
  53. size_t iptr = vm->iptr;
  54. printf("\n======\n\n(%d) Will run instr: ", vm->iptr);
  55. if (vm->need_check_retval) {
  56. printf("(internal)\n");
  57. } else {
  58. l2_vm_print_op(vm->ops, vm->opslen, &iptr);
  59. }
  60. if (fgets(buf, sizeof(buf), stdin) == NULL) {
  61. break;
  62. }
  63. l2_vm_step(vm);
  64. l2_vm_gc(vm);
  65. l2_vm_print_state(vm);
  66. }
  67. }
  68. static void repl() {
  69. struct l2_io_mem_writer w = {
  70. .w.write = l2_io_mem_write,
  71. };
  72. struct l2_io_mem_reader r = {
  73. .r.read = l2_io_mem_read,
  74. };
  75. struct l2_lexer lexer;
  76. struct l2_generator gen;
  77. l2_gen_init(&gen, &w.w);
  78. struct l2_vm vm;
  79. l2_vm_init(&vm, NULL, 0);
  80. while (1) {
  81. char line[4096];
  82. #ifdef USE_READLINE
  83. char *rline = readline("> ");
  84. if (rline == NULL) goto out;
  85. if (rline[0] == '\0') goto next;
  86. add_history(rline);
  87. snprintf(line, sizeof(line), "print (%s)", rline);
  88. #else
  89. char rline[4096];
  90. if (fgets(rline, sizeof(rline), stdin) == NULL) goto out;
  91. if (rline[0] == '\n' && rline[1] == '\0') goto next;
  92. snprintf(line, sizeof(line), "print (%s)", rline);
  93. #endif
  94. if (strncmp(rline, "\\state", strlen("\\state")) == 0) {
  95. l2_vm_print_state(&vm);
  96. goto next;
  97. }
  98. r.idx = 0;
  99. r.len = strlen(line);
  100. r.mem = line;
  101. l2_lexer_init(&lexer, &r.r);
  102. struct l2_parse_error err;
  103. if (l2_parse_program(&lexer, &gen, &err) < 0) {
  104. fprintf(stderr, "Parse error: %s\n -- %s\n", err.message, line);
  105. l2_parse_error_free(&err);
  106. l2_vm_free(&vm);
  107. l2_gen_free(&gen);
  108. w.len = 0;
  109. l2_gen_init(&gen, &w.w);
  110. l2_vm_init(&vm, NULL, 0);
  111. } else if (w.len > 0) {
  112. vm.ops = w.mem;
  113. vm.opslen = w.len;
  114. while (vm.iptr < vm.opslen) {
  115. l2_vm_step(&vm);
  116. }
  117. l2_vm_gc(&vm);
  118. }
  119. next:
  120. #ifdef USE_READLINE
  121. free(rline);
  122. #endif
  123. }
  124. out:
  125. l2_gen_free(&gen);
  126. l2_vm_free(&vm);
  127. }
  128. static void usage(const char *argv0) {
  129. printf("Usage: %s [options] [input|-]\n", argv0);
  130. printf("\n");
  131. printf("Options:\n");
  132. printf(" --help: Print this help text\n");
  133. printf(" --bytecode: Print the generated bytecode, don't execute\n");
  134. printf(" --tokens: Print the tokens as the program is parsed, don't execute\n");
  135. printf(" --step: Step through the program\n");
  136. printf(" --repl: Start a repl\n");
  137. printf(" --output,-o <out>: Write bytecode to file\n");
  138. }
  139. int main(int argc, char **argv) {
  140. int was_inf_set = 0;
  141. FILE *inf = stdin;
  142. FILE *outbc = NULL;
  143. #ifdef __unix__
  144. do_repl = isatty(0);
  145. #endif
  146. int dashes = 0;
  147. for (int i = 1; i < argc; ++i) {
  148. if (!dashes && strcmp(argv[i], "--help") == 0) {
  149. usage(argv[0]);
  150. return 0;
  151. } else if (!dashes && strcmp(argv[i], "--bytecode") == 0) {
  152. do_print_bytecode = 1;
  153. } else if (!dashes && strcmp(argv[i], "--tokens") == 0) {
  154. do_print_tokens = 1;
  155. } else if (!dashes && strcmp(argv[i], "--step") == 0) {
  156. do_step = 1;
  157. } else if (!dashes && strcmp(argv[i], "--repl") == 0) {
  158. do_repl = 1;
  159. } else if (!dashes && (
  160. strcmp(argv[i], "--output") == 0 || strcmp(argv[i], "-o") == 0)) {
  161. if (i == argc - 1) {
  162. fprintf(stderr, "%s expects an argument\n", argv[i]);
  163. return 1;
  164. }
  165. do_serialize_bytecode = 1;
  166. i += 1;
  167. if (strcmp(argv[i], "-") == 0) {
  168. outbc = stdout;
  169. } else {
  170. outbc = fopen(argv[i], "w");
  171. if (outbc == NULL) {
  172. perror(argv[i]);
  173. return 1;
  174. }
  175. }
  176. } else if (strcmp(argv[i], "--") == 0) {
  177. dashes = 1;
  178. } else if (strcmp(argv[i], "-") == 0) {
  179. do_repl = 0;
  180. input_filename = "-";
  181. inf = stdin;
  182. } else if (!was_inf_set) {
  183. do_repl = 0;
  184. input_filename = argv[i];
  185. inf = fopen(argv[i], "r");
  186. was_inf_set = 1;
  187. if (inf == NULL) {
  188. perror(argv[i]);
  189. return 1;
  190. }
  191. } else {
  192. printf("Unexpected argument: %s\n", argv[i]);
  193. usage(argv[0]);
  194. return 1;
  195. }
  196. }
  197. if (do_repl) {
  198. repl();
  199. printf("\n");
  200. return 0;
  201. }
  202. struct l2_io_mem_writer bytecode_writer = {
  203. .w.write = l2_io_mem_write,
  204. };
  205. int headerbyte = fgetc(inf);
  206. if (headerbyte == EOF || ungetc(headerbyte, inf) == EOF) {
  207. fprintf(stderr, "%s: Reading file failed.\n", input_filename);
  208. return 1;
  209. }
  210. // Detect whether input is compiled bytecode or not
  211. // (compile bytecode starts with (ESC) 'l' '2' 'c')
  212. unsigned char header[4];
  213. if (
  214. headerbyte == 0x1b &&
  215. fread(header, 1, 4, inf) >= 4 &&
  216. header[0] == 0x1b && header[1] == 0x6c &&
  217. header[2] == 0x32 && header[3] == 0x63) {
  218. if (l2_bc_load(inf, &bytecode_writer.w) < 0) {
  219. return 1;
  220. }
  221. } else if (headerbyte == 0x1b) {
  222. fprintf(
  223. stderr, "%s: Corrupt file? Start byte is 0x1b (ESC)"
  224. "but the header is wrong\n",
  225. input_filename);
  226. return 1;
  227. } else {
  228. if (parse_text(inf, &bytecode_writer.w) < 0) {
  229. return 1;
  230. }
  231. }
  232. fclose(inf);
  233. if (do_print_bytecode) {
  234. l2_vm_print_bytecode(bytecode_writer.mem, bytecode_writer.len);
  235. }
  236. if (do_serialize_bytecode) {
  237. l2_bc_serialize(outbc, bytecode_writer.mem, bytecode_writer.len);
  238. }
  239. if (do_print_bytecode || do_print_tokens || do_serialize_bytecode) {
  240. free(bytecode_writer.mem);
  241. return 0;
  242. }
  243. struct l2_vm vm;
  244. l2_vm_init(&vm, bytecode_writer.mem, bytecode_writer.len);
  245. if (do_step) {
  246. step_through(&vm);
  247. } else {
  248. l2_vm_run(&vm);
  249. }
  250. l2_vm_free(&vm);
  251. free(bytecode_writer.mem);
  252. }